Metalogic: An Introduction to the Metatheory of Standard First Order Logic

-

An excellent book, old but still very readable and reliable: Metalogic: An Introduction to the Metatheory of Standard First Order Logic.

Highly recommended summer-reading to any philosophy student.

Comments

Post a Comment

Popular posts from this blog

Mind the app - considerations on the ethical risks of COVID-19 apps

-
[22 April update: at the Digital Ethics Lab (OII, University of Oxford) we have elaborated a list of 16 questions to check whether an app is ethically justifiable, the full article, open access, is available here ] There is a lot of talk about apps to deal with the pandemic . Some of the best solutions use the Bluetooth connection of mobile phones to determine the contact between people and therefore the probability of contagion. In theory, it may seem simple. In practice, there are several ethical problems, not only legal and  technical ones . To understand them, it is useful to distinguish between the validation and the verification of a system.  The validation of a system answers the question: "are we building the right system?". The answer is no if the app is illegal,  for example, the use of an app in the EU must comply with the GDPR; mind that this is necessary but not sufficient to make the app also ethically acceptable, see below; is unnecessar...
Read more

The Loebner Prize from a judge's perspective

-
Image
This year, for the first time in its history, the Loebner Prize competition was held in England, at the University of Reading to be precise. It was organised by Kevin Warwick and Huma Shah. Independently of whether Turing might have been pleased (he was not well treated in this country, recall?), there was a satisfying sense of “coming home” of the Turing Test (henceforth TT ). Expectations were high, and they very highly advertised too. The meeting was perfectly organised. Having been invited to play the role of a judge, together with several other colleagues, including two members of the IEG , Mariarosaria Taddeo and Matteo Turilli ( here are their pictures and Rosaria's interview ) , I enjoyed the opportunity to see from close-up the machinery and the TT . It was intriguing and great fun. Because there were interviews with the BBC and other things going on, and because we were also supposed to take part in the parallel AISB Symposium on the TT , I had time to test only...
Read more

On the value of taking care of the roses (series: notes to myself)

-
Image
They say that what matters sometimes is not the outcome but the process: not the success or failure of an action, but just the action itself.  Maybe. But I always thought it was a bit of sour grapes. Didn’t really want beautiful roses in my garden, kind of line of thinking. The important thing was gardening. Or so you tell yourself, trying to be convincing.  But I recite this loudly a few times and it still sounds quite lame. It's the philosopher's fault, because he asks the unpleasant questions. Would you have done it anyway, even if the roses had no chance? But above all, what if the process itself is also pointless? Perhaps the gardening is a failure too, like the dead roses.  So you pause, on your way to the roses, and think: if the outcome is not what matters, and the process is not what matters, why caring for the roses? Better stop, or kill the realist awareness that shows the worthless nature of the whole enterprise.  Is there anything left, if all is ...
Read more

On the importance of being pedantic (series: notes to myself)

-
Image
They say that to call someone pedantic is an insult. I'm not so sure. True, someone pedantic is obsessed with minor details, small errors, or tiny imperfections. And a pedantic is also someone who cares too much about all such things not to let you know about them, advising or correcting, disagreeing or disapproving. And yes, if you are a pedant, you are more than just occasionally pedantic. This can happen to anybody, the excessive emphasis on some narrow or boring detail being a tendency we all share when it comes to matters about which we care very much. But if you are a pedant, being pedantic is your daily stance, your intrinsic nature, your way of living. You are always, consistently, reliably, systematically pedantic, from the moment you wake up, about the exact place where the slippers should be next to your bed, all the way to the moment you go to sleep, and the exact place where the phone should be placed to recharge. If you are a true pedant, no detail is too trivial, no ...
Read more

On the art of biting one's own tongue (series: notes to myself)

-
The art of biting one's own tongue consists in the ability not to engage when someone says something unpleasant, untrue, malicious, or abusive about you. Instead of answering a biased question, arguing against a ludicrous opinion, complaining about an abusive message, correcting a meaningless error, countering a fallacy, explaining a patent mistake, objecting to a groundless criticism, rectifying a willful misrepresentation, rejecting an insinuation, responding to a provocation, retorting to a nasty remark, replying to an offensive allegation, … in short, instead of engaging with your mindless interlocutors you simply ignore them and do absolutely nothing, not even acknowledging that you might have received their communication, not even sharing a “no comment”, just silence. As far as they know, you might have never got the email, read the tweet or the Facebook comment, seen the Instagram picture. If you bite your own tongue appropriately, for them their communication might have nev...
Read more

(revised on Medium) On why publishing (series: notes to myself)

-
Image
Why does one publish anything at all? In a world that is always distracted. That already has millions of books. That has more classics than anyone will ever be able to read. In a world that does not read, does not care, does not mind. Why, really? If writing were just a dialogue with oneself, there would be no need to make it public. Why involve others in a private struggle? What is this need to share one's own thoughts? Something is wrong. Let me exclude some obvious answers. Of course, there are professional requirements: an academic, for example, will struggle to get a job without publications. There may be commercial needs: hoping to make some money, or just being able to support oneself. Commitments and promises can also play a role. Ambitions of fame and hopes for glory should never be underestimated, no matter how groundless. And with them, the glimpse, or just the illusion of a slice of immortality, or at least of a less short legacy. Someone may read you, one day, in a dis...
Read more

(revised on Medium) On the expression "to know better" (series: notes to myself)

-
Image
There are people who think they know better, and those who know better than to convince them that they don't. I now belong to the second group, but I regularly meet many members of the first: confident, opinionated, patronising. I know them well. For I was one of them. Their beliefs are not improvable, because they are perfect in their views and unfixable in mine. They don't simply know what the case is. They know better than anyone else what the case really is. And they will tell you, even if you don't ask. Assuming you are not too obtuse, life teaches you the hard way to enrol in the other group, of those who should have known better and now know better than to engage. Mistake after mistake - even if you re-arrange facts with a Herculean effort, even if you resist the pressure of mounting evidence, no matter how self-self-preserving your attitude is (yes, it is the self-preserving nature of the self) - sooner or later should teach you some humbleness. Hammer it home, you...
Read more

Review of Information - A Very Short Introduction

-
Image
Groundbreaking and visionary, but very short indeed, May 28, 2010 By Irfan A. Alvi This review is from: Information: A Very Short Introduction (Very Short Introductions) (Paperback) Leaving aside the possibility of minds, souls, and the like, people used to think that the ultimate "stuff" of the universe is matter. Then thermodynamics matured during the 19th century, culminating with Einstein's theoretical demonstration that matter can be converted to energy, thus rendering energy apparently even more fundamental than matter. Now, as a result of multiple streams of developments during the 20th century, we live in an age when information is increasingly being viewed as the true ultimate stuff. This is at once both immensely stimulating and perplexing: stimulating because the concept of information has far greater interdisciplinary unifying power than any concept which came before, but perplexing because the concept of information is very abstract and thus elusively s...
Read more

Latin American Conference on Computing and Philosophy

-
LA-CAP09 - Call for Papers COMPUTING AND PHILOSOPHY: LA-CAP 2009 Mexico City, Mexico, June 22-23, 2009 LA-CAP09 is the first Latin American Conference on Computing and Philosophy will be held on the Campus of the National University of Mexico (UNAM) in Mexico City, Mexico. One of the aims of this conference is to build the Latin American section of the International Association for Computing and Philosophy (IACAP): see IACAP for further informations. Conference Chair: Francisco Hernández Quiroz (UNAM – México) Juan Manuel Durán (UNC - Argentina) IMPORTANT DATES • March 1, 2009. End of submission of extended abstract. • March 29, 2009. Notification of acceptance. • May 17, 2009. Early registration deadline. • June 22-23, 2009. Conference. KEYNOTE SPEAKERS • Prof. Wilfried Sieg. Carnegie Mellon. USA. • Prof. Víctor Rodríguez. Universidad Nacional de Córdoba. Argentina We are expecting the confirmation of two more keynote speakers....
Read more

Modelling social norms in multiagent systems

-
Journal of Experimental & Theoretical Artificial Intelligence Publisher: Taylor & Francis Issue: Volume 18, Number 01 / March 2006 Pages: 49 - 71 URL: Linking Options DOI: 10.1080/09528130500466783 Modelling social norms in multiagent systems Henry Hexmoor A1, Satish Gunnu Venkata A1, Donald Hayes A1 A1 Computer Science and Computer Engineering Department, University of Arkansas, Fayetteville, USA Abstract: Social norms are cultural phenomena that naturally emerge in human societies and help to prescribe and proscribe normative patterns of behaviour. In recent times, the discipline of multi-agent systems has been used to model social norms in an artificial society of agents. In this paper we review norms in multi-agent systems and then explore a series of norms in a simulated urban traffic setting. Using game-theoretic concepts we define and offer an account of norm stability. Particularly in small groups, a relatively small number of individuals with cooperative atti...
Read more