Some Reflections on the Set-based and the Conditional-based Interpretations of Statements in Syllogistic Reasoning

11/25/2014
by   M. Pereira-Fariña, et al.
0

Two interpretations about syllogistic statements are described in this paper. One is the so-called set-based interpretation, which assumes that quantified statements and syllogisms talk about quantity-relationships between sets. The other one, the so-called conditional interpretation, assumes that quantified propositions talk about conditional propositions and how strong are the links between the antecedent and the consequent. Both interpretations are compared attending to three different questions (existential import, singular statements and non-proportional quantifiers) from the point of view of their impact on the further development of this type of reasoning.

READ FULL TEXT
research
07/30/2022

On translating conditional statements into mathematical logic

In this paper, we highlight a profound difference between conditional st...
research
11/27/2014

On the analysis of set-based fuzzy quantified reasoning using classical syllogistics

Syllogism is a type of deductive reasoning involving quantified statemen...
research
03/20/2013

Handling Uncertainty during Plan Recognition in Task-Oriented Consultation Systems

During interactions with human consultants, people are used to providing...
research
09/05/2021

How Do Practitioners Interpret Conditionals in Requirements?

Context: Conditional statements like "If A and B then C" are core elemen...
research
07/03/2018

Quantified Markov Logic Networks

Markov Logic Networks (MLNs) are well-suited for expressing statistics s...
research
09/15/2015

On Reasoning with RDF Statements about Statements using Singleton Property Triples

The Singleton Property (SP) approach has been proposed for representing ...
research
05/29/2019

Matryoshka: fuzzing deeply nested branches

Greybox fuzzing has made impressive progress in recent years, evolving f...

Please sign up or login with your details

Forgot password? Click here to reset