Graduate studies at Western
Notre Dame Journal of Formal Logic 35 (1):311--27 (1994)
|Abstract||To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation and conecessitation T and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is -inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give an analysis of its proof theory|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
John R. Lucas (1961). Minds, Machines and Godel. Philosophy 36 (April-July):112-127.
Volker Halbach (2001). Disquotational Truth and Analyticity. Journal of Symbolic Logic 66 (4):1959-1973.
Kostis Vezerides & Dr Athanasios Kehagias, The Liar and Related Paradoxes:Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences.
Max A. Freund (2000). A Complete and Consistent Formal System for Sortals. Studia Logica 65 (3):367-381.
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
David Ripley (2012). Conservatively Extending Classical Logic with Transparent Truth. The Review of Symbolic Logic 5 (2):354-378.
Harry Deutsch (1979). The Completeness of S. Studia Logica 38 (2):137 - 147.
Neil Tennant (2002). Deflationism and the Gödel Phenomena. Mind 111 (443):551-582.
Eric Hammer & Norman Danner (1996). Towards a Model Theory of Diagrams. Journal of Philosophical Logic 25 (5):463 - 482.
Lauri Carlson (1988). Quantified Hintikka-Style Epistemic Logic. Synthese 74 (2):223 - 262.
Max A. Freund (2004). A Modal Sortal Logic. Journal of Philosophical Logic 33 (3):237-260.
Ruth Tallman (forthcoming). Valuing Lives and Allocating Resources: A Defense of the Modified Youngest First Principle of Scarce Resource Distribution. Bioethics.
Fabrice Correia (1999). Adequacy Results for Some Priorean Modal Propositional Logics. Notre Dame Journal of Formal Logic 40 (2):236-249.
Added to index2010-08-24
Total downloads21 ( #65,621 of 751,836 )
Recent downloads (6 months)1 ( #63,163 of 751,836 )
How can I increase my downloads?