What is the logic of inference?

DOI10.1007/s11225-008-9105-xzbMath1142.03006OpenAlexW1965893669MaRDI QIDQ2426732

Jaroslav Peregrin

Publication date: 23 April 2008

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-008-9105-x

zbMATH Keywords

proof theoryintuitionistic logicinferencenature of logiclogical operators

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Logic reduced to bare (proof-theoretical) bones ⋮ Expressivist perspective on logicality ⋮ ST, LP and Tolerant Metainferences ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ Logical expressivism, logical theory and the critique of inferences

Uses Software

• PLINK

Cites Work

• Constructions, proofs and the meaning of logical constants
• Simple consequence relations
• The adequacy problem for inferential logic
• Harmony and autonomy in classical logic
• Untersuchungen über das logische Schliessen. I
• Meaning as an inferential role
• What is Logic?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: What is the logic of inference?