2 papers
math.LO2023
On a fallacy concerning I-am-unprovable sentences: what to take home from Goedel's introduction
Kaave Lajevardi, Saeed Salehi
We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a certain property F,…
math.LO2023
Soundness does not come for free (if at all)
Kaave Lajevardi, Saeed Salehi
We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).