What's So Logical about the “Logical” Axioms?

Studia Logica 41 (2-3):159 - 171 (1982)
  Copy   BIBTEX

Abstract

Intuitionists and classical logicians use in common a large number of the logical axioms, even though they supposedly mean different things by the logical connectives and quantifiers — conquans for short. But Wittgenstein says The meaning of a word is its use in the language. We prove that in a definite sense the intuitionistic axioms do indeed characterize the logical conquans, both for the intuitionist and the classical logician.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

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

Through your library

Similar books and articles

Logical rules and the determinacy of meaning.Charles McCarty - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):89-98.
Godel`s Logical Turn'.Moisie Ignat - 2001 - Studia Philosophica 1.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
The Impossibility of Moral Conflicts.Michael James Almeida - 1988 - Dissertation, The Ohio State University
A Logical Foundation of Arithmetic.Joongol Kim - 2015 - Studia Logica 103 (1):113-144.
Noisy vs. Merely Equivocal Logics.Patrick Allo - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 57--79.

Analytics

Added to PP
2009-01-28

Downloads
172 (#141,257)

6 months
17 (#151,358)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.
Everything.Timothy Williamson - 2003 - Philosophical Perspectives 17 (1):415–465.
Making sense of logical pluralism.Matti Eklund - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):433-454.

View all 33 citations / Add more citations

References found in this work

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.

Add more references