Graduate studies at Western
|Abstract||1. There is only one rule of inference, modus ponens. This is true both in the presentations of Begriffsschrift and Grundgesetze. (But cf. note regarding the latter.) There are other ways of making transitions between propositions in proofs, but these are never labeled by Frege “rules of inference.” These pertain to scope of quantification, parsing of formulas (bracketing), introduction of definitions, conventions for the use and replacement of the various letters(variables), and certain structural reorganizations, (e.g. amalgamation of horizontals, and of identical subcomponents); cf. the list in Gg §48.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Valentin Goranko (1998). Axiomatizations with Context Rules of Inference in Modal Logic. Studia Logica 61 (2):179-197.
John P. Burgess (2010). Axiomatizing the Logic of Comparative Probability. Notre Dame Journal of Formal Logic 51 (1):119-126.
V. V. Rybakov, M. Terziler & C. Gencer (2000). On Self-Admissible Quasi-Characterizing Inference Rules. Studia Logica 65 (3):417-428.
Niki Pfeifer & G. D. Kleiter (2006). Inference in Conditional Probability Logic. Kybernetika 42 (2):391--404.
Christopher Gauker (1999). Deflationism and Logic. Facta Philosophica (1):167-199.
Joan Weiner (2008). How Tarskian is Frege? Mind 117 (466):427-450.
Joan Weiner (2005). Semantic Descent. Mind 114 (454):321-354.
Added to index2009-01-28
Total downloads21 ( #65,479 of 741,433 )
Recent downloads (6 months)2 ( #37,338 of 741,433 )
How can I increase my downloads?