Natural Semantics

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

• The original sin of proof-theoretic semantics

  Open Access•Bogdan Dicher, Francesco Paoli•Synthese•2021

  Incluir item

• The Runabout Inference-Ticket

  A N Prior•Analysis•1960

  Incluir item

• What is Logic?

  Ian Hacking•The Journal of Philosophy•1979

  Incluir item

• Prior and Belnap

  Open Access•W D Hart•Theoria•1982

  Incluir item

• Everything That Linguists Have Always Wanted to Know about Logic

  Barbara Abbott, James D Mccawley•Language•1983

  Incluir item

• Formalization of Logic

  Alonzo Church, Rudolf Carnap•The Philosophical Review•1944

  Incluir item

• Multiple Conclusion Logic

  Neil Tennant, D J Shoesmith et al.•The Philosophical Quarterly•1980

  Incluir item