What is Logic?

DOI10.2307/2025471zbMath0418.03001OpenAlexW2527949491MaRDI QIDQ3208615

I. Hacking

Publication date: 1979

Published in: The Journal of Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2025471

zbMATH Keywords

philosophical logicuniverse of discoursecut-free calculus of sequents for elementary logicdo-it-yourself-semanticsmethods for proving theoremspriority of deductive proceduresprivileged place of elementary logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (33)

An expressivist bilateral meaning-is-use analysis of classical propositional logic ⋮ Logicality, double-line rules, and modalities ⋮ Conservativeness and Eliminability for Anti-Realistic Definitions ⋮ Logical constants in quantifier languages ⋮ Logical connectives for constructive modal logic ⋮ Revisiting Quine on truth by convention ⋮ Beyond logical pluralism and logical monism ⋮ Expressivist perspective on logicality ⋮ What is an inference rule? ⋮ The nature of entailment: an informational approach ⋮ A novel approach to equality ⋮ What is the logic of inference? ⋮ The original sin of proof-theoretic semantics ⋮ Compositionality solves Carnap's problem ⋮ On the logical philosophy of assertive graphs ⋮ Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion ⋮ A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language ⋮ Expressive power and incompleteness of propositional logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Why conclusions should remain single ⋮ Logic, logics, and logicism ⋮ Disjunctive and conjunctive multiple-conclusion consequence relations ⋮ Connectives in Cumulative Logics ⋮ What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics ⋮ On reduction rules, meaning-as-use, and proof-theoretic semantics ⋮ Prawitz, Proofs, and Meaning ⋮ Classical harmony and separability ⋮ Term Sequent Logic ⋮ Busting a Myth about Leśniewski and Definitions ⋮ Harmony and autonomy in classical logic ⋮ Logical Constants: A Modalist Approach¹ ⋮ Popper's theory of deductive inference and the concept of a logical constant ⋮ Simple consequence relations

This page was built for publication: What is Logic?