Formal and material consequence

Read, Stephen

doi:10.1007/bf01048482

Cited by 91 publications

(18 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…But justified belief is famously not enough to guarantee truth. Hence Tarski refrains from using 'true' in its natural language guise and opts for an account of truth in 27 See, e.g., Read (1994). 28 Prawitz (1985, p. 168).…”

Section: Resultsmentioning

confidence: 99%

Proof-Theoretic Validity

Read

2015

Foundations of Logical Consequence

Self Cite

View full text Add to dashboard Cite

Section: Resultsmentioning

confidence: 99%

Proof-Theoretic Validity

Read

2015

Foundations of Logical Consequence

Self Cite

View full text Add to dashboard Cite

“…The approach in our experiments is closer to the last one. See also the distinction between formal vs. material consequence in (Read, 1994). 4 The fact that the identification of individuals with a particular one of eight possible types (corresponding to the assertions and negations of the three monadic predicates present in a syllogism) may be used to decide the validity of an argument is in fact already present in Aristotle's works, namely through the ekthesis technique of proof [(Kneale and Kneale, 1962), p. 77].…”

Section: Construction Of Counterexamples: Modeling and Countermodelinmentioning

confidence: 99%

Communication, Goals, and Counterexamples in Syllogistic Reasoning

Vargas

Stenning

2020

Front. Educ.

View full text Add to dashboard Cite

We report on a study on syllogistic reasoning conceived with the idea that subjects' performance in experiments is highly dependent on the communicative situations in which the particular task is framed. From this perspective, we describe the results of Experiment 1 comparing the performance of undergraduate students in 5 different tasks. This between-subjects comparison inspires a within-subject intervention design (Experiment 2). The variations introduced on traditional experimental tasks and settings include two main dimensions. The first one focuses on reshaping the context (the pragmatics of the communication situations faced) along the dimension of cooperative vs. adversarial attitudes. The second one consists of rendering explicit the construction/representation of counterexamples, a crucial aspect in the definition of deduction (in the classical semantic sense). We obtain evidence on the possibility of a significant switch in students' performance and the strategies they follow. Syllogistic reasoning is seen here as a controlled microcosm informative enough to provide insights and we suggest strategies for wider contexts of reasoning, argumentation and proof.

show abstract

“…O incluso se puede ir más allá y dudar acerca de la posibilidad de trazar una correcta demarcación entre lo que es lógico y lo que no lo es. Tal demarcación podría ser incluso vista como un seudoproblema (Etchemendy 1990, Barwise y Feferman 1985, Gómez Torrente 2002, Read 1994). 9 Todo criterio que se ofrezca podría estar fuera de lugar, ya que estaría limitando la posibilidad del estudio de las inferencias correctas de un nuevo campo de aplicación.…”

Section: N Cumple La Condición Funclassified

Expresabilidad, validez y recursos lógicos

Barrio

2014

CRHF

View full text Add to dashboard Cite

El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.

show abstract

Formal and material consequence

Cited by 91 publications

References 4 publications

Proof-Theoretic Validity

Proof-Theoretic Validity

Communication, Goals, and Counterexamples in Syllogistic Reasoning

Expresabilidad, validez y recursos lógicos

Contact Info

Product

Resources

About