On How Logic Became First-Order

Nordic Journal of Philosophical Logic 1 (2):147-67 (1996)
  Copy   BIBTEX

Abstract

Added by a category editor--not an official abstract. Discusses the history (and reasons for the history) implicit in the title, as well as the author's view on same.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
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 critical appraisal of second-order logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Dynamic term-modal logic. Kooi, Barteld - unknown
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Do not claim too much: Second-order logic and first-order logic.Stewart Shapiro - 1999 - Philosophia Mathematica 7 (1):42-64.
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Which Mathematical Logic is the Logic of Mathematics?Jaakko Hintikka - 2012 - Logica Universalis 6 (3-4):459-475.
Second-order Logic Revisited.Otavio Bueno - unknown
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
A second course in logic.Christopher Gauker - manuscript
Chapter 9a what is logic?J. R. Lucas - manuscript
A conceptualist interpretation of Lesniewski's ontology.Nino B. Cocchiarella - 2001 - History and Philosophy of Logic 22 (1):29-43.

Analytics

Added to PP
2011-12-28

Downloads
83 (#198,941)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Matti Eklund
Uppsala University

Citations of this work

Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis 79 (Suppl 2):211-231.
History of logic in Latin America: the case of Ayda Ignez Arruda.Gisele Dalva Secco & Miguel Alvarez Lisboa - 2022 - British Journal for the History of Philosophy 30 (2):384-408.
The Nature and Logic of Vagueness.Marian Călborean - 2020 - Dissertation, University of Bucharest

View all 8 citations / Add more citations

References found in this work

The concept of logical consequence.John Etchemendy - 1990 - Cambridge, Mass.: Harvard University Press.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
The Concept of Logical Consequence.John Etchemendy - 1994 - Erkenntnis 41 (2):281-284.

View all 18 references / Add more references