What is Logic?
From MaRDI portal
Publication:3208615
DOI10.2307/2025471zbMath0418.03001MaRDI QIDQ3208615
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
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
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Term Sequent Logic, Busting a Myth about Leśniewski and Definitions, Connectives in Cumulative Logics, Logic, logics, and logicism, 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, Hypersequent and display calculi -- a unified perspective, What is the logic of inference?, Logical Constants: A Modalist Approach1, Conservativeness and Eliminability for Anti-Realistic Definitions, A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language, Popper's theory of deductive inference and the concept of a logical constant, Logical constants in quantifier languages, What is an inference rule?