What is Logic?

DOI10.2307/2025471zbMath0418.03001MaRDI 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 logic; universe of discourse; cut-free calculus of sequents for elementary logic; do-it-yourself-semantics; methods for proving theorems; priority of deductive procedures; privileged place of elementary logic

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

Related Items

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