Fregean Quantification Theory

Journal of Philosophical Logic 43 (5):879-881 (2013)
  Copy   BIBTEX

Abstract

Frege’s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.

Categories

Keywords

Reprint years

2014

DOI

10.1007/s10992-013-9299-x

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,101

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Three-Valued Fregean Quantification Logic.Minghui Ma & Yuanlei Lin - 2019 - Journal of Philosophical Logic 48 (2):409-423.
A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification.Max Alberto Freund - 2015 - Australasian Journal of Logic 12 (1).
On the Consistency of a Plural Theory of Frege’s Grundgesetze.Francesca Boccuni - 2011 - Studia Logica 97 (3):329-345.
Plural quantification.Ø Linnebo - 2008 - Stanford Encyclopedia of Philosophy.
A Variant of Thomason's First-Order Logic CF Based on Situations.Xuegang Wang & Peter Mott - 1998 - Notre Dame Journal of Formal Logic 39 (1):74-93.
A Two Dimensional Tense-modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
Uses and Misuses of Frege’s Ideas.Jaakko Hintikka & Gabriel Sandu - 1994 - The Monist 77 (3):278-293.
On Non-Deterministic Quantification.Thomas Macaulay Ferguson - 2014 - Logica Universalis 8 (2):165-191.
Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
Saul A. Kripke. The undecidability of monadic modal quantification theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 113–116. [REVIEW]Arnould Bayart - 1966 - Journal of Symbolic Logic 31 (2):277-278.

Analytics

Added to PP
2013-08-13

Downloads
235 (#116,037)

6 months
14 (#220,755)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Saul Kripke
Last affiliation: CUNY Graduate Center

Citations of this work

A Three-Valued Fregean Quantification Logic.Minghui Ma & Yuanlei Lin - 2019 - Journal of Philosophical Logic 48 (2):409-423.

Add more citations

References found in this work

On the consistency of the first-order portion of Frege's logical system.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.

Add more references