<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462017000400601</article-id>
<article-id pub-id-type="doi">10.13053/cys-21-4-2811</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Property Modifiers and Intensional Essentialism]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[Marie]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,VSB-Technical University of Ostrava  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Czech Republic</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2017</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2017</year>
</pub-date>
<volume>21</volume>
<numero>4</numero>
<fpage>601</fpage>
<lpage>613</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462017000400601&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462017000400601&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462017000400601&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: In this paper, I deal with property modifiers defined as functions that associate a given root property P with a modified property [M P]. Property modifiers typically divide into four kinds, namely intersective, subsective, privative and modal. Here I do not deal with modal modifiers like alleged, which appear to be well-nigh logically lawless, because, for instance, an alleged assassin is or is not an assassin. The goal of this paper is to logically define the three remaining kinds of modifiers together with the rule of left subsectivity that I launch as the rule of pseudo-detachment to replace the modifier M in the premise by the property M* in the conclusion, and prove that the rule of pseudo-detachment is valid for all kinds of modifiers. Furthermore, it is defined in a way that avoids paradoxes like a small elephant being smaller than a large mouse.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Property modifier]]></kwd>
<kwd lng="en"><![CDATA[subsectives]]></kwd>
<kwd lng="en"><![CDATA[intersectives]]></kwd>
<kwd lng="en"><![CDATA[privatives]]></kwd>
<kwd lng="en"><![CDATA[the rule of pseudo-detachment]]></kwd>
<kwd lng="en"><![CDATA[transparent intensional logic]]></kwd>
<kwd lng="en"><![CDATA[TIL]]></kwd>
<kwd lng="en"><![CDATA[intensional essentialism]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cmorej]]></surname>
<given-names><![CDATA[P]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Empirické esenciálne vlastnosti (Empirical essential properties)]]></article-title>
<source><![CDATA[Organon F]]></source>
<year>1996</year>
<volume>3</volume>
<page-range>239&#8211;261</page-range></nlm-citation>
</ref>
<ref id="B2">
<label>2</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Jespersen]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Materna]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Procedural Semantics for Hyperintensional Logic]]></article-title>
<source><![CDATA[Foundations and Applications of Transparent Intensional Logic]]></source>
<year>2010</year>
<publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<label>3</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gamut]]></surname>
<given-names><![CDATA[L.T.F]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic, Language and Meaning]]></source>
<year>1991</year>
<volume>2</volume>
<publisher-loc><![CDATA[Chicago ]]></publisher-loc>
<publisher-name><![CDATA[The University of Chicago Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<label>4</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Geach]]></surname>
<given-names><![CDATA[P.T]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Good and evil]]></article-title>
<source><![CDATA[Analysis]]></source>
<year>1956</year>
<volume>17</volume>
<page-range>33&#8211;42</page-range></nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Iwa&#324;ska]]></surname>
<given-names><![CDATA[&#321;]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Reasoning with intensional negative adjectival: semantics, pragmatics, and context]]></article-title>
<source><![CDATA[Computational Intelligence]]></source>
<year>1997</year>
<volume>13</volume>
<page-range>348&#8211;90</page-range></nlm-citation>
</ref>
<ref id="B6">
<label>6</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jespersen]]></surname>
<given-names><![CDATA[B]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Left subsectivity: how to infer that a round peg is round]]></article-title>
<source><![CDATA[Dialectica]]></source>
<year>2016</year>
<volume>70</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>531&#8211;547</page-range></nlm-citation>
</ref>
<ref id="B7">
<label>7</label><nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jespersen]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Du&#382;í]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Carrara]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Iterated privation and positive predication]]></article-title>
<source><![CDATA[Journal of Applied Logic]]></source>
<year>2017</year>
</nlm-citation>
</ref>
<ref id="B8">
<label>8</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jespersen]]></surname>
<given-names><![CDATA[B]]></given-names>
</name>
</person-group>
<source><![CDATA[Object theory, modal Meinongianism, and Transparent Intensional Logic]]></source>
<year></year>
</nlm-citation>
</ref>
<ref id="B9">
<label>9</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kamp]]></surname>
<given-names><![CDATA[H]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Two theories of adjectives]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Keenan]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Formal Semantics of Natural Language]]></source>
<year>1975</year>
<page-range>123&#8211;155</page-range><publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<label>10</label><nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Montague]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[English as a formal language]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Visentini]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Linguaggi nella societa e nella tecnica]]></source>
<year>1974</year>
<page-range>189&#8211;224</page-range><publisher-loc><![CDATA[Milan ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B11">
<label>11</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Partee]]></surname>
<given-names><![CDATA[B]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Privative adjectives: subsective plus coercion]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Bäuerle]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Reyle]]></surname>
<given-names><![CDATA[U.]]></given-names>
</name>
<name>
<surname><![CDATA[Zimmermann]]></surname>
<given-names><![CDATA[T.E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Presupposition and Discourse]]></source>
<year>2001</year>
<publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[Elsevier]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<label>12</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tichý]]></surname>
<given-names><![CDATA[P]]></given-names>
</name>
</person-group>
<source><![CDATA[The Foundations of Frege&#8217;s Logic]]></source>
<year>1988</year>
<publisher-name><![CDATA[Gruyter]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
