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

(revised on Medium) On the house left behind by a travelling God (series: notes to myself)

-
Image
There are some famous parables in the New Testament in which people travel, arrive, go away, or come back (for example, Matthew 25:1-13 on the ten virgins; Luke 15:11-32 on the prodigal son). But I have one in mind that has puzzled me for a long time: Matthew 25:14-15 (on the talents), about the man, probably representing God, who is “going on a journey” (ἀποδημῶν) and “comes back after a long time” (πολὺν χρόνον).  The word ἀποδημῶν means “about to go on a journey”, and it is the same word used in another parable, when God goes away, again (Matthew 21:33-46). In both cases, he leaves the house for reasons that are not provided. Why does he have to go? Can he not stay? It seems that more pressing business calls him elsewhere. Something or someone is more important than us, who live in the house. An emergency? Or perhaps just a test? Maybe he just wants to see what the mice do when the cat is away. Whatever the motives, there is a journey, a time before and after his presence, and t...
Read more

Onlife: Sulla morte di Corman McCarthy e "the best writers" della letteratura americana

-
Image
Corman McCarthy è stato descritto da alcuni come il più grande scrittore americano di [aggiungere qui un numero di secoli, oppure "la nostra epoca", oppure "una generazione" o semplicemente "sempre"]. Siccome sono insipiente, e lo avevo solo sentito nominare ma mai letto (ma i mie amici come mai non me lo hanno mai consigliato? che ci stanno a fare? O almeno Amazon, visto il numero di libri che compro, un "you may also like" lo poteva sputare no?), sono andato a vedere chi fosse. Ho letto un po' di cose su di lui, tutte molto interessanti. E poi mi sono chiesto chi rientra oggi in una lista più o meno accurata degli scrittori americani più importante degli ultimi 100 anni. Insomma, se uno dice, per esempio, "è morto il più grande scrittore americano del secolo" ti viene il dubbio di ricostruire la competizione gli ultimi cento anni. Le posizioni sono ovviamente e come sempre discutibili, ma mi è stato utile ricordare a chi si sta co...
Read more

Sulla morte come "distanza che si apre nella vita"

-
Image
“La morte è una distanza che si apre nella vita, ma non è sparizione, distruzione, putrefazione.” Ho letto questa frase (chiamiamola non-P), è parte di un articolo giornalistico (non si può imporre un rigore scientifico, non è il contesto). Ho letto il resto dell’articolo. Non migliora. Non ha importanza. Desidero soffermarmi solo su questa frase. Da tanti anni non sono più un filosofo analitico, ma mi è rimasta l’inclinazione (il vizio senza pelo del lupo?) di (cercare di) usare le parole con attenzione e cura. Cercando di ancorarle a significati che non siano “futuristici” (parole in libertà). Troppe persone confondono il fatto che una frase sia grammaticale con il fatto che abbia un reale senso. Si può anche dire: P) “La morte non è una distanza che si apre nella vita, è sparizione, distruzione, putrefazione.” P è altrettanto grammaticale e credo che abbia molto più senso di non-P, almeno biologicamente e concettualmente. I fatti puntano in questa direzione. E chi sostiene il contra...
Read more

(revised on Medium) On a sachet of brown sugar (series: notes to myself)

-
Image
Mid-morning, somewhere in Italy. Seating at a bar, in an elegant square, summery weather, a kind breeze, refreshing. An espresso macchiato comes with a brown sachet of sugar, to be added if you wish. I look at it. I look around. I have time to think. How do people deal with this task? Can one divide people, the sugary kind, into types according to how they open a sachet of sugar? A student, with interesting tattoos on her left shoulder, opens it by pinching the two sides and pulling them, gently ungluing the sachet. It requires her to use four fingers, each couple pinching a side of the sachet. She is attentive and careful. She better be. I know that feat is demanding. Too much force and the sachet may give in abruptly, spreading the sugar everywhere. Too little, and the little shell will hold on to its content and won’t be convinced to release its treasure. I love the cautions determination. She puts her hands together, palms touching at the bottom as if praying, to measure the effort...
Read more

Breve commento su "Non è il mio lutto" e la morte di Berlusconi.

-
Image
Ho sempre criticato Berlusconi, i suoi votanti, il suo partito, il berlusconismo, gli italoforzuti, i suoi governi, la tragedia (soprattutto morale, ma anche istituzionale, politica, culturale ed economica) che tutto ciò è stato per il paese... Berlusconi è stato un disastro per l'Italia, una sorta di Trump al potere o vicino al potere per decenni. Servirà moltissimo lavoro e tanto tempo per riparare i danni fatti, ammesso che si possano riparare.  Ma Mercoledì 14 Giugno ho spostato la lezione del corso che tengo a Bologna, affinché chi volesse potesse participare ai funerali di stato e commemorare la morte di Berlusconi, e perché l'attuale governo ha proclamato il lutto nazionale per un politico che (con mio scandalo e vergogna) è stato eletto democraticamente da milioni di italiani e italiane (che gli dei dell'Olimpo li perdonino, io non ci riesco, e posso solo rispettarne le scelte), e ha ricoperto la carica di primo ministro quattro volte.  Non è stata una forma di risp...
Read more
-
I just published "On asking the wrong kind of questions (series: notes to myself)", happy 2024. https://link.medium.com/thDMgqTvZFb
Read more

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

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 Kia and Pelé (series: notes to myself)

-
Image
They say there are only six connections between any two people on this planet. Maybe. My mum once danced with Juan Carlos I (her mother taught piano at the Spanish Embassy in Rome). My sister-in-law knew the Queen. And my brother met Pope Benedict XVI. I should be indirectly connected to a lot of people. But the most amazing link is another. And this is the story I wish to tell you. 21 June 1970, Mexico, World Cup final. A memorable game, even for a child born in Rome in 1964. Italy lost against what is still considered the greatest Brazilian football team of all time . But this is still history, not my story yet, which begins a year earlier.   In 1969, the Brazilian team was training in Rio de Janeiro. They had their headquarters in São Conrado. At the time, the place was far from downtown. The atmosphere was relaxed and friendly, with people meeting the players, and the occasional BBQ.  One girl, six years old, was often seen mixing with the team. She liked football. Her par...
Read more