Property Modifiers and Intensional Essentialism

Authors

  • Marie Duží VSB-Technical University of Ostrava, Department of Computer Science, Czech Republic

DOI:

https://doi.org/10.13053/cys-21-4-2811

Keywords:

Property modifier, subsectives, intersectives, privatives, the rule of pseudo-detachment, transparent intensional logic, TIL, intensional essentialism

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.

Downloads

Additional Files

Published

2017-12-25

Issue

Vol. 21 No. 4 (2017): Advances in Human Language Technologies (Guest Editor: A. Gelbukh)

Section

Articles of the Thematic Issue

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.