Rejection

DOI10.1111/j.0003-2638.1996.00001.xzbMath0943.03606OpenAlexW4240921026MaRDI QIDQ4497444

Timothy Smiley

Publication date: 22 August 2000

Full work available at URL: https://doi.org/10.1111/j.0003-2638.1996.00001.x

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Classical propositional logic (03B05) Abstract deductive systems (03B22)

Related Items (39)

On all strong Kleene generalizations of classical logic ⋮ An expressivist bilateral meaning-is-use analysis of classical propositional logic ⋮ Rejection and truth-value gaps ⋮ Assertion, rejection, and semantic universals ⋮ EPISTEMIC MULTILATERAL LOGIC ⋮ Is `no' a force-indicator? Yes, sooner or later! ⋮ Some comments on Ian Rumfitt's bilateralism ⋮ Identity and harmony and modality ⋮ The logic of lexical connectives ⋮ Empty logics ⋮ Meta-inferences and supervaluationism ⋮ Bilateralism, trilateralism, multilateralism and poly-sequents ⋮ Tarskian consequence relations bilaterally: some familiar notions ⋮ Neglect-zero effects in dynamic semantics ⋮ Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) ⋮ Logical multilateralism ⋮ Rejection: a historico-epistemological view ⋮ Unified deductive systems: an outline ⋮ AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ Supposition: A Problem for Bilateralism ⋮ Are the open-ended rules for negation categorical? ⋮ Compositionality solves Carnap's problem ⋮ Denial and disagreement ⋮ A meta-logic of inference rules: Syntax ⋮ First order expressivist logic ⋮ Bilattice Logics and Demi-Negation ⋮ LOGIC IN THE TRACTATUS ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ Why conclusions should remain single ⋮ Notational variance and its variants ⋮ Still in the mood: the versatility of subjunctive markers in modal logic ⋮ Supervenience, Dependence, Disjunction ⋮ Classical harmony and separability ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ The revival of rejective negation

This page was built for publication: Rejection