Existential Import in Cartesian Semantics
نویسندگان
چکیده
The paper explores the existential import of universal affirmative in Descartes, Arnauld and Malebranche. Descartes holds, inconsistently, that eternal truths are true even if the subject term is empty but that a proposition with a false idea as subject is false. Malebranche extends Descartes’ truthconditions for eternal truths, which lack existential import, to all knowledge, allowing only for non-propositional knowledge of contingent existence. Malebranche’s rather implausible Neoplatonic semantics is detailed as consisting of three key semantic relations: illumination by which God’s ideas cause mental terms, creation by which God’s ideas cause material substances by a kind of ‘ontic privation,’ and sensation in which brain events occasion states of mental awareness. In contrast, Arnauld distinguishes two types of propositions – necessary and contingent -with distinct truth-conditions, one with and one without existential import. Arnauld’s more modern semantics is laid out as a theory of reference that substitutes earlier causal accounts with one that adapts the medieval notion of objective being. His version anticipates modern notions of intentional content and appeals in its ontology only to substances and their modes.
منابع مشابه
What Does It Mean for an Indefinite to Be Presuppositional?
The paper is concerned with the nature of the presuppositionality involved in “strong” (or presuppositional) indefinite noun phrases in general, and Turkish accusative marked indefinites in particular. It investigates the semantics of Turkish accusative indefinites with regards to the categories of existential import, contextual restrictedness (or D-linking) and semantic scope, within the DRT-b...
متن کاملMonoidal-Closed Categories of Tree Automata
We propose a realizability semantics for automata on infinite trees, based on categories of games built on usual simple games, and generalizing usual acceptance games of tree automata. Our approach can be summarized with the slogan “automata as objects, strategies as morphisms”. We show that the operations on tree automata used in the translations of MSOformulae to automata (underlying Rabin’s ...
متن کاملProving Existential Theorems when Importing Results from MDG to HOL
An existential theorem, for the specification or implementation of hardware, states that for any inputs there must exist at least one output which is consistent with it. It is proved to prevent an inconsistent model being produced and it is required to formally import the verification result from one verification system to another system. In this paper, we investigate the verification of the ex...
متن کاملExistential Import
The present paper deals with the semantics of all, some and not in English and related languages. Since these semantics imply a logic, it also deals with the logic of quantification in natural language. To the extent that the linguistic findings are universally valid, the results are relevant to the study of human cognition in general. Since standard quantification theory (SQT) replaced Aristot...
متن کاملThe renewal of humanism in psychoanalytic therapy.
The renewal of humanistic values and practices in contemporary psychoanalytic therapy is exemplified vividly by the impact of Heidegger's existential philosophy on a psychoanalytic perspective called post-Cartesian psychoanalysis. This perspective is a phenomenological-contextualist one in which the focus of psychoanalytic inquiry is shifted from Cartesian isolated minds to ways of being-in-the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010