Foundations of conditional logic

DOI10.1007/BF00707429MaRDI QIDQ796516zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1984

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00707429

zbMATH Keywords

conditional logicsdefinabilitygeneralized quantifiers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80)

Review text

The linguistic particle if can be viewed as a generalized quantifier, relating sets of antecedent occasions and consequent occasions for a conditional statement. In this light, the recent logico-linguistic work on generalized quantifiers becomes available as a tool for studying conditional expressions. This paper presents an analysis of some basic constraints on such conditional relations. Then, various definability results are proven - notably one showing that, without further patterning of the universe of occasions, only three conditionals qualify. Hence, richer approaches, infinitary, probabilistic and intensional, are also studied in the same spirit. Finally, some basic conditional logics, and eventually conditional inference in general, are examined as to their semantic effects in this framework.

Recommendations

• scientific article; zbMATH DE number 35402
• Basic intuitionistic conditional logic
• Foundations of logical consequence
• Conditional reasoning in logic programming
• Intuitionistic conditional logics
• scientific article; zbMATH DE number 1852914
• scientific article; zbMATH DE number 1032007
• A Conditional Logical Framework
• scientific article; zbMATH DE number 3910368

Cites work

• Counterfactuals and comparative possibility
• Determiners and logic
• Generalized quantifiers and natural language
• Inference and necessity
• Logical constants in quantifier languages
• Ordering semantics and premise semantics for counterfactuals

Cited in

(36)

• `if p then q' and all that: logical elements in reasoning and discourse
• The variety of consequence, according to Bolzano
• Conditional theories
• Nonmonotonic reasoning, preferential models and cumulative logics
• Partitions and conditionals
• Metaconfirmation
• Reasoning with conditional axioms
• Conditionals and supposition-based reasoning
• The quantitative/qualitative watershed for rules of uncertain inference
• Disjunctive antecedent conditionals
• Conditionals and quantifiers
• If, not when
• Correct grounded reasoning with presumptive arguments
• Jumping to conclusions. A logico-probabilistic foundation for defeasible rule-based arguments
• Logical Form and Truth-Conditions
• Determiners and logic
• Conditional logic and the significance of Tooley's example
• \textit{Unless} and \textit{until}: a compositional analysis
• scientific article; zbMATH DE number 51354 (Why is no real title available?)
• scientific article; zbMATH DE number 1251246 (Why is no real title available?)
• scientific article; zbMATH DE number 1292573 (Why is no real title available?)
• scientific article; zbMATH DE number 475239 (Why is no real title available?)
• scientific article; zbMATH DE number 589743 (Why is no real title available?)
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• A compositional semantics for `even if' conditionals
• scientific article; zbMATH DE number 834563 (Why is no real title available?)
• Explicit Conditionals in the Framework of Classical Conditional Logic
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• THE LOGIC OF THE EVIDENTIAL CONDITIONAL
• IF logic and linguistic theory
• Dependence statements are strict conditionals
• scientific article; zbMATH DE number 222639 (Why is no real title available?)
• The case for comparability
• Definable conditionals
• Conditionals, support and connexivity
• Conditionals as definite descriptions. (A referential analysis)

This page was built for publication: Foundations of conditional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q796516)