Quintum Non-Datur

2018 ◽  
pp. 16-31
Author(s):  
Graham Priest
Keyword(s):  
First Degree Entailment ◽  
Presupposition Failure

This chapter looks at the appearance of the catuṣkoṭi in early sūtras. It then looks at the failure of attempts to accommodate it in `standard' logic. Next it shows how it can be accommodated in the logic of First Degree Entailment. Finally it looks at some early Buddhist hints that there might be more to matters than the simple catuṣkoṭi and how these matters cannot be accommodated by appealing to presupposition-failure.

Presupposition Failure and the Assertive Enterprise

Topoi ◽  
2014 ◽  
Vol 35 (1) ◽  
pp. 23-35
Author(s):  
Anne Bezuidenhout
Keyword(s):  
Presupposition Failure

scholarly journals The cognitive load of presupposition triggers: mandatory and optional repairs in presupposition failure

2013 ◽  
Vol 29 (1) ◽  
pp. 136-146 ◽  
Author(s):  
Filippo Domaneschi ◽  
Elena Carrea ◽  
Carlo Penco ◽  
Alberto Greco
Keyword(s):  
Cognitive Load ◽  
Presupposition Failure ◽  
Presupposition Triggers

scholarly journals Presupposition, negation and trivalence

2000 ◽  
Vol 36 (2) ◽  
pp. 261-297 ◽  
Author(s):  
PIETER A. M. SEUREN
Keyword(s):  
Natural Language ◽  
Speech Act ◽  
Propositional Content ◽  
Natural Consequence ◽  
Natural Language Semantics ◽  
Close Inspection ◽  
Presupposition Failure ◽  
Language Semantics ◽  
Semantic Properties ◽  
Classical Truth

Close inspection of presupposition(= P-)cancelling and other metalinguistic negation data shows that natural language semantics must be (at least) trivalent, with the values ‘true’, ‘minimally false’ (assertion failure) and ‘radically false’ (presupposition failure). It is argued that presupposition is a semantic phenomenon originating in a distinction between two kinds of satisfaction conditions for predicates, the PRECONDITIONS generating presuppositions, and the UPDATE CONDITIONS generating classical entailments. The trivalence of language is a natural consequence of the acceptance of occasion sentences in an incremental Discourse Semantics. The logical properties of sentences are considered secondary and derived from their semantic properties. These include, besides propositional content, a speech act quality, specifying the personal commitment taken on by the speaker not only in respect of the propositional content, but also with regard to the linguistic forms selected. It is suggested that the classical truth-functional operators should be redefined as instructions under speech act commitment. The negation operator is singled out: it is redefined as an instruction to reject either an incrementable sentence, which may be a comment about a form used or to be used (P-preserving negation), or an already incremented sentence to be removed from the discourse along with some presupposition (P-cancelling negation).

scholarly journals Revisitando a Lógica de Dunn-Belnap

Manuscrito ◽  
2017 ◽  
Vol 40 (2) ◽  
pp. 99-126 ◽  
Author(s):  
Carolina Blasio
Keyword(s):  
First Degree Entailment

RESUMO O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment (E) de Dunn e Belnap. Diferente das situações epistêmicas originalmente usadas em E, as atitudes cognitivas não coincidem com valores-de-verdade e parecem mais adequadas para as lógicas que pretendem considerar o conteúdo informacional de proposições “ditas verdadeiras” tanto quanto as proposições “ditas falsas” como determinantes da noção de validade das inferências. Após analisar algumas lógicas associadas à semântica proposta, introduzimos a lógica E B cuja relação de consequência semântica subjacente - o B-entailment - é capaz de expressar diversos tipos de raciocínio em relação às atitudes cognitivas de aceitação e rejeição. Apresentamos também um cálculo de sequentes correto e completo para E B .

scholarly journals Hybrid Deduction-Refutation Systems for FDE-Based Logics

2021 ◽  
Vol 18 (6) ◽  
pp. 599-615
Author(s):  
Eoin Moore
Keyword(s):  
Hybrid Systems ◽  
Hybrid System ◽  
Classical Logic ◽  
First Degree Entailment ◽  
Refutation Systems

Hybrid deduction-refuation systems are presented for four first-degree entailment based logics. The hybrid systems are shown to be deductively and refutationally sound with respect to their logics. The proofs of completeness are presented in a uniform way. The paper builds on work by Goranko, who presented a deductively and refutationally sound and complete hybrid system for classical logic.

First-Degree Entailment and its Relatives

Studia Logica ◽  
2017 ◽  
Vol 105 (6) ◽  
pp. 1291-1317 ◽  
Author(s):  
Yaroslav Shramko ◽  
Dmitry Zaitsev ◽  
Alexander Belikov
Keyword(s):  
First Degree Entailment
Sign in / Sign up

Export Citation Format

Share Document