How to Validly Quantify into Hyperintensional Nonpropositional Attitudes
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F15%3A86094354" target="_blank" >RIV/61989100:27240/15:86094354 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
How to Validly Quantify into Hyperintensional Nonpropositional Attitudes
Original language description
In this paper I demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, and wanting to become in their respective de dicto and de re variants. The main results are the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive attitudes (e.g. finding the site of Troy, having solved the equation sin(x) = 0) validate, furthermore, quantifying over intensional or extensional entities, respectively, and so do non-factive attitudes, both empirical and non-empirical ones, provided the respective constituent of the attitude complement presents the sort of object that is to be quantified over. I focus mainly on mathematical attitudes, which are non-controversially hyperintensional. Concerning empirical attitudes, I analyse those that are hyperintensional, because their intensional variant would yield a contradiction, like seeking a yeti without seeking an abominable snowman. As a result I formulate and prove four rules for quantifying into hyperintensional attitudes de dicto and two rules for quantifying into attitudes de re, in their active and passive form, respectively.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA15-13277S" target="_blank" >GA15-13277S: Hyperintensional logic for natural language analysis</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Logica Yearbook 2014
ISBN
978-1-84890-177-3
ISSN
—
e-ISSN
—
Number of pages
18
Pages from-to
91-108
Publisher name
College Publications
Place of publication
London
Event location
Hejnice
Event date
Jun 16, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000428358400007