The Justification of the Basic Laws of Logic

Journal of Philosophical Logic 44 (6):793-803 (2015)

Gillian Russell
University of North Carolina, Chapel Hill
Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to answer the question of how beliefs in such attributions are justified, on both its descriptive and normative interpretations; I aim to say when we generally take ourselves to be justified in forming such beliefs, and to make it plausible that beliefs formed this way really are justified.We can ask such questions about many domains but there are special difficulties for answering them in logic. Some of the difficulties stem from the fact that logic is thought t..
Keywords Logic  Epistemology  Analytic  Quine  Carnap  Kripke
Categories (categorize this paper)
DOI 10.1007/s10992-015-9360-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,405
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Two Dogmas of Empiricism.Willard V. O. Quine - 1951 - Philosophical Review 60 (1):20–43.
Naming and Necessity.Saul Kripke - 1980 - In Darragh Byrne & Max Kölbel (eds.), Philosophy. Routledge. pp. 431-433.
Change in View.Gilbert Harman - 1986 - MIT Press.
Philosophy of Logic.W. V. O. Quine - 1970 - Harvard University Press.

View all 18 references / Add more references

Citations of this work BETA

The Self-Effacement Gambit.Jack Woods - 2019 - Res Philosophica 96 (2):113-139.
Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
Against Reflective Equilibrium for Logical Theorizing.Jack Woods - 2019 - Australasian Journal of Logic 16 (7):319.
What Counts as Evidence for a Logical Theory?Ole Thomassen Hjortland - 2019 - Australasian Journal of Logic 16 (7):250.

View all 12 citations / Add more citations

Similar books and articles

Tarski and Carnap on Logical Truth: Or: What Is Genuine Logic?Gerhard Schurz - 1999 - Vienna Circle Institute Yearbook 6:77-94.
Quine and Logical Truth.T. Parent - 2008 - Erkenntnis 68 (1):103 - 112.
The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Carnap and Quine on Truth by Convention.G. Ebbs - 2011 - Mind 120 (478):193-237.
Logic and Truth.Michael Joseph Kremer - 1986 - Dissertation, University of Pittsburgh
Carnap's Conception of "Wissenschaftslogik".Yoichi Kaniike - 2002 - Dissertation, Indiana University
An Analysis of Logic Form.Zuo-li Wang - 2005 - Nankai University (Philosophy and Social Sciences) 6:101-107.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
Logic and the Laws of Thought.Jessica Leech - 2015 - Philosophers' Imprint 15.
How Philosophical is Informal Logic?John Woods - 2000 - Informal Logic 20 (2).


Added to PP index

Total views
215 ( #34,746 of 2,286,201 )

Recent downloads (6 months)
16 ( #52,834 of 2,286,201 )

How can I increase my downloads?


My notes

Sign in to use this feature