Mihai Ganea | University of Toronto (original) (raw)
Address: Toronto, Ontario, Canada
less
Uploads
Papers by Mihai Ganea
Journal of Symbolic Logic, 2007
It is shown that Robinson's arithmetic Q is in fact equivalent to the Fregean system with an open... more It is shown that Robinson's arithmetic Q is in fact equivalent to the Fregean system with an open comprehension schema (SPV), and thus can be claimed to be a strictly predicative theory.
A notion of logical computation is introduced and shown to be equivalent to Turing computation, t... more A notion of logical computation is introduced and shown to be equivalent to Turing computation, thus providing another argument for the Church-Turing thesis.
Robinson’s arithmetic Q is given a simple interpretation in Hajek’s weaker relational version QH ... more Robinson’s arithmetic Q is given a simple interpretation in Hajek’s weaker relational version QH that does not use Solovay’s technique of shortening cuts. The result is placed within two research themes regarding relational arithmetics.
The Journal of Symbolic Logic, 2009
The Review of Symbolic Logic, Mar 2010
Philosophia mathematica, 2008
Drafts by Mihai Ganea
The following is a reconstruction and evaluation of the final argument for the immortality of the... more The following is a reconstruction and evaluation of the final argument for the immortality of the soul in Plato's Phaedo. The argument can be seen as the culmination of the dialectical part of the dialogue; what comes after it is the mythical description of afterlife by Socrates (107e-114d), the preparation for the execution (115a-117a), and the death scene (117b-118). It is unclear to me though whether this circumstance is to be interpreted as a literary device whereby Plato singles out the argument in question as carrying a special weight. The criteria of length and elaboration seem to indicate however that it does not have a special status in the collection of arguments put forward in the text: for instance the argument from recollection (72e-77a) is at least as meticulously articulated.
Journal of Symbolic Logic, 2007
It is shown that Robinson's arithmetic Q is in fact equivalent to the Fregean system with an open... more It is shown that Robinson's arithmetic Q is in fact equivalent to the Fregean system with an open comprehension schema (SPV), and thus can be claimed to be a strictly predicative theory.
A notion of logical computation is introduced and shown to be equivalent to Turing computation, t... more A notion of logical computation is introduced and shown to be equivalent to Turing computation, thus providing another argument for the Church-Turing thesis.
Robinson’s arithmetic Q is given a simple interpretation in Hajek’s weaker relational version QH ... more Robinson’s arithmetic Q is given a simple interpretation in Hajek’s weaker relational version QH that does not use Solovay’s technique of shortening cuts. The result is placed within two research themes regarding relational arithmetics.
The Journal of Symbolic Logic, 2009
The Review of Symbolic Logic, Mar 2010
Philosophia mathematica, 2008
The following is a reconstruction and evaluation of the final argument for the immortality of the... more The following is a reconstruction and evaluation of the final argument for the immortality of the soul in Plato's Phaedo. The argument can be seen as the culmination of the dialectical part of the dialogue; what comes after it is the mythical description of afterlife by Socrates (107e-114d), the preparation for the execution (115a-117a), and the death scene (117b-118). It is unclear to me though whether this circumstance is to be interpreted as a literary device whereby Plato singles out the argument in question as carrying a special weight. The criteria of length and elaboration seem to indicate however that it does not have a special status in the collection of arguments put forward in the text: for instance the argument from recollection (72e-77a) is at least as meticulously articulated.