Notes on Frege on rules of inference
| 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesValentin 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads19 ( #64,458 of 549,766 )Recent downloads (6 months)1 ( #63,425 of 549,766 )How can I increase my downloads? |
My notes
Discussion
