What is Logic?
From MaRDI portal
Publication:3208615
DOI10.2307/2025471zbMath0418.03001OpenAlexW2527949491MaRDI 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 logicuniverse of discoursecut-free calculus of sequents for elementary logicdo-it-yourself-semanticsmethods for proving theoremspriority of deductive proceduresprivileged place of elementary logic
Related Items
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 Approach1, Popper's theory of deductive inference and the concept of a logical constant, Simple consequence relations
