Natural Semantics
Why Natural Deduction is Intuitionistic
Bibliographic Data
| ID | 20143105 |
|---|---|
| Authors | James W Garson (University of Houston, corresponding author) |
| Year | 2001 |
| Volume | 67 |
| Issue | 2 |
| Pages | 114-139 |
| Publication date | 2001-08-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1755-2567.2001.tb00200.x |
| OpenAlex | W2019197423 |
| Language | EN |
| Citations received | 1 |
| References cited | 16 |
In this paper investigates how natural deduction rules define connective meaning by presenting a new method for reading semantical conditions from rules called natural semantics. Natural semantics explains why the natural deduction rules are profoundly intuitionistic. Rules for conjunction, implication, disjunction and equivalence all express intuitionistic rather than classical truth conditions. Furthermore, standard rules for negation violate essential conservation requirements for having a natural semantics. The standard rules simply do not assign a meaning to the negation sign. Intuitionistic negation fares much better. Not only do the intuitionistic rules have a natural semantics, that semantics amounts to familiar intuitionistic truth conditions. We will make use of these results to argue that intuitionistic connectives, rather than standard ones have a better claim to being the truly logical connectives
Computational semantics · Discrete mathematics · Epistemology · Equivalence (formal languages) · Intuitionistic logic · Meaning (existential) · Natural (archaeology) · Natural deduction · Natural number · Negation · Operational semantics · Programming language · Proof-theoretic semantics · Propositional calculus · Semantics (computer science) · Sequent calculus · Advanced Algebra and Logic · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy
| Unique citing works | 1 |
|---|---|
| Citations per year | 0,2 |
| Citation span | 2021 - 2021 (1) |
| Citation velocity | historical |
| Highly cited | No |
| Citation types | Neutral: 1 |