Mental models: towards a cognitive science of language, inference, and consciousness
Mental models: towards a cognitive science of language, inference, and consciousness
Journal of Logic, Language and Information
An analytic tableau system for natural logic
Proceedings of the 17th Amsterdam colloquium conference on Logic, language and meaning
Generalizing monotonicity inferences to opposition inferences
AC'11 Proceedings of the 18th Amsterdam colloquim conference on Logic, Language and Meaning
A System of Relational Syllogistic Incorporating Full Boolean Reasoning
Journal of Logic, Language and Information
Hi-index | 0.00 |
For a cognitive account of reasoning it is useful to factor out the syntactic aspect -- the aspect that has to do with pattern matching and simple substitution -- from the rest. The calculus of monotonicity, alias the calculus of natural logic, does precisely this, for it is a calculus of appropriate substitutions at marked positions in syntactic structures. We first introduce the semantic and the syntactic sides of monotonicity reasoning or `natural logic', and propose an improvement to the syntactic monotonicity calculus, in the form of an improved algorithm for monotonicity marking. Next, we focus on the role of monotonicity in syllogistic reasoning. In particular, we show how the syllogistic inference rules (for traditional syllogistics, but also for a broader class of quantifiers) can be decomposed in a monotonicity component, an argument swap component, and an existential import component. Finally, we connect the decomposition of syllogistics to the doctrine of distribution.