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

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


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.



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

External links

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

Through your library


Added to PP

136 (#128,199)

6 months
5 (#311,051)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

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

View all 32 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