NEGATION AND PRESUPPOSITION, TRUTH AND FALSITY

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F18%3A10239571" target="_blank" >RIV/61989100:27240/18:10239571 - isvavai.cz</a>

Result on the web

<a href="https://sciendo.com/downloadpdf/journals/slgr/54/1/article-p15.pdf" target="_blank" >https://sciendo.com/downloadpdf/journals/slgr/54/1/article-p15.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2478/slgr-2018-0014" target="_blank" >10.2478/slgr-2018-0014</a>

Result language

angličtina

Original language name

NEGATION AND PRESUPPOSITION, TRUTH AND FALSITY

Original language description

There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a complete list, nor to analyse all of them. Rather, I am going to deal with negation of propositions that come attached with a presupposition that is entailed by the positive as well as negated form of a given proposition. However, there are two kinds of negation, namely internal and external negation. I am going to prove that while the former is presupposition-preserving, the latter is presupposition-denying. This issue has much in common with the difference between topic and focus articulation within a sentence. Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment. The main contribution of this paper is the proof that the two kinds of negation are not equivalent. While the Russellian wide-scope (external) negation gets the truth conditions of a sentence right for a subject occurring as a focus, Strawsonian narrow-scope (internal) negation is validly applicable for a subject occurring as the topic. I also deal with other kinds of presupposition triggers, in particular factive attitudes and prerequisites of a given property. My background theory is Transparent Intensional Logic (TIL). TIL is an expressive logic apt for the analysis of sentences with presuppositions, because in TIL we work with partial functions, in particular with propositions with truth-value gaps. Moreover, the procedural semantics of TIL make it possible to uncover the hidden semantic features of sentences, make them explicit and logically tractable.

Czech name

—

Czech description

—

Type

J_SC - Article in a specialist periodical, which is included in the SCOPUS database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA18-23891S" target="_blank" >GA18-23891S: Hyperintensional Reasoning over Natural Language Texts</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Studies in Logic, Grammar and Rhetoric

ISSN

0860-150X

e-ISSN

2450-6842

Volume of the periodical

54

Issue of the periodical within the volume

1

Country of publishing house

PL - POLAND

Number of pages

32

Pages from-to

15-46

UT code for WoS article

—

EID of the result in the Scopus database

2-s2.0-85082508461