3 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).
math.LO2016
On Arithmetical Truth of the Self-Referential Sentences
Kaave Lajevardi, Saeed Salehi
We take an argument of Gödel's from his ground-breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: the sentence says about itself th…