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

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

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

"Notes to myself" available on Amazon

-
Image
"Notes to myself" are now available as a little book on Amazon: - ebook shorturl.at/crV09 free for kindle unlimited or  £2.50, lowest rounded price allowed by Amazon - paperback on Amazon: shorturl.at/ahvxY   $4, lowest, rounded prize allowed by Amazon MANY THANKS to everyone who sent suggestions and notes of encouragement.  I hope it won't disappoint you.
Read more

Call for expressions of interest: research position for a project on Digital Sovereignty and the Governance, Ethical, Legal, and Social Implications (GELSI) of digital innovation.

-
Image
THIS CALL IS NOW CLOSED Call for expressions of interest: research position for a project on Digital Sovereignty and the Governance, Ethical, Legal, and Social Implications (GELSI) of digital innovation. The Centre for Digital Ethics of the University of Bologna https://centri.unibo.it/digital-ethics/en invites expressions of interest (EOI) from early career researchers, with a relevant Master or PhD degree, interested in developing a research project in the field of Digital Sovereignty and the Governance, Ethical, Legal, and Social Implications (GELSI) of digital innovation. The EOI should include three documents (all in English): 1. a letter (ca. 500 words), including relevant details about personal motivation, relevant skills, experience, and a link to a Google Scholar profile; 2. a short CV (max 3 pages), including a list of publications; and 3. a short (ca. 1,000 words) outline of the proposed research project about digital sovereignty and the GELSI of digital innovat...
Read more

Between a rock and a hard place: Elon Musk's open letter and the Italian ban of Chat-GPT

-
Image
Interview by Adele Sarno for HuffPost, the Italian original is here The following English translation is provided by Google, apologies for any imprecision. Luciano Floridi, the digital philosopher, works between Oxford and Bologna, from next summer, he will leave Oxford to direct the Center for Digital Ethics at Yale. He has received the highest honour granted by the Italian Republic: Cavaliere di Gran Croce. According to the Elsevier Scopus database, he is the most cited living philosopher in the world. If today we talk about the "philosophy of information", it is thanks to him, who for 30 years, studied the connections between philosophy and the digital world. Professor Floridi, ChatGPT has been at the centre of the debate, especially these days. Elon Musk and a thousand other experts have written a letter asking for its development to be stopped for six months. In Italy, on the other hand, the privacy guarantor has decided to stop for 20 days until it complies with the pr...
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

(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

(revised on medium) On the importance of lacking the courage (series: notes to myself)

-
Image
Courage is a virtue. Everybody knows this. It’s one of the four classic ones. It's used as an example in any ethics class, often in some old-fashioned way. You know, like philosophers always talking about horses as if they were the most obvious objects in the world.  In the good old days (kind of), courage referred to your attitude in battle. And not in any battle, but one in which you engaged with the enemy in hand-to-hand combat, with weapons the size of a broom. After all, our founding father, Socrates, served in the Athenian army as hoplite and distinguished himself during the Peloponnesian war. Not your average prof in some academic ivory tower. Plato was taught by the equivalent of a decorated marine, who died for his beliefs. Aristotle argued that courage is in between rashness and cowardice. It seems something good, always to be praised. You want to be courageous, if not in battle, at least in everyday life, at least in upholding your beliefs, defending your actions, taking...
Read more

Pandemic lesson: the disappearance of externalities

-
Image
Lazy neurons, they fail to see connections even when they are obvious. I cannot recall when I started hearing people talking about the global village , globalisation , hyperconnectivity , spaceship earth , Gaia , ... I grew up with this holistic language as my conceptual koiné . But only recently, thanks to the pandemic, I realised that I should have linked it to another phenomenon: the disappearance of externalities . It is so obvious now. In pseudo-precise literature or pretentious conversations, an externality is a negative effect of a profitable activity, call it a cost, paid by someone else. Like what happens if one runs a profitable business that pollutes someone else's environment.  My externalities may be unintended, possibly avoidable, but it is not my problem whether they occur, and the fact that they may occur is not going to stop me from pursuing my activities, since the cost paid by someone else is not a sufficient disincentive to sacrifice my own benefit. ...
Read more