@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Geach,Peter}, subject = {Natural Deduction}, note = {I 143 Calculus of natural deduction/Gentzen/Geach: here there are "possible names". >Existence introduction. But there is no quantification over them in the natural deduction., >Gerhard Gentzen. GeachVsQuine: Quine cannot treat names any more as "covert descriptions". >Description/Quine, >Names/Quine, >Description/Geach.}, note = { Gea I P.T. Geach Logic Matters Oxford 1972 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=251001} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=251001} }