Bjørn Jespersen , Massimiliano Carrara , Marie Duží
{"title":"Iterated privation and positive predication","authors":"Bjørn Jespersen , Massimiliano Carrara , Marie Duží","doi":"10.1016/j.jal.2017.12.004","DOIUrl":null,"url":null,"abstract":"<div><p>The standard rule of <em>single privative modification</em> replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual <em>a</em> instantiates the privatively modified property (<em>MF</em>) then it is true that <em>a</em> instantiates the property of <em>not</em> being an <em>F</em>, but the rule fails to express the fact that the properties (<em>MF</em>) and <em>F</em> have something in common. We replace Boolean negation by property negation, enabling us to operate on <em>contrary</em> rather than contradictory properties. To this end, we apply our theory of <em>intensional essentialism</em>, which operates on properties (intensions) rather than their extensions. We argue that each property <em>F</em> is necessarily associated with an essence, which is the set of the so-called <em>requisites</em> of <em>F</em> that jointly define <em>F</em>. Privation deprives <em>F</em> of <em>some but not all</em> of its requisites, replacing them by their contradictories. We show that properties formed from iterated <em>privatives</em>, such as being an <em>imaginary fake banknote</em>, give rise to a <em>trifurcation</em> of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our <em>presuppositional</em> theory of <em>positive predication</em>. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation.</p></div>","PeriodicalId":54881,"journal":{"name":"Journal of Applied Logic","volume":"25 ","pages":"Pages S48-S71"},"PeriodicalIF":0.0000,"publicationDate":"2017-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jal.2017.12.004","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Logic","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1570868317300678","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 9
Abstract
The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation.