Suchergebnisse

Descartes was the first to hold that, when we perceive, the representation need not resemble what it represents but should correspond to it. Descartes developed this ground-breaking, influential conception in his work on analytic geometry and then transferred it to his theory of perception. I trace the development of the idea in Descartes' early mathematical works; his articulation of it in Rules for the Direction of the Mind; his first suggestions there to apply this kind of representation-by-correspondence in the scientific inquiry of colours; and, finally, the transfer of the idea to the theory of perception in The World.

Contents: Preface; Introduction; Part I Plural Referring Expressions: Plural referring expressions in natural language; Common nouns as plural referring expressions; The sources of the analysis of referring nouns as predicates; Reference. Part II Quantification: Quantification: natural language versus the predicate calculus; Multiple quantification; Pronouns, variables, and bound anaphors. Part III A deductive system for natural language: Derivation rules and consistency; Applications I: Aristotelian logic; Applications II: beyond Aristotelian logic. Conclusions; Bibliography; Index.

In this book, Ben-Yami reassesses the way Descartes developed and justified some of his revolutionary philosophical ideas. The first part of the book shows that one of Descartes' most innovative and influential ideas was that of representation without resemblance. Ben-Yami shows how Descartes transfers insights originating in his work on analytic geometry to his theory of perception. The second part shows how Descartes was influenced by the technology of the period, notably clockwork automata, in holding life to be a mechanical phenomenon, reducing the soul to the mind and considering it immaterial. Ben-Yami explores the later role of the digital computer in Turing's criticism of Descartes' ideas. The last part discusses the Meditations: far from starting everything afresh without presupposing anything that can be doubted, Descartes' innovations in the dream argument, the cogito and elsewhere are modifications of old ideas based upon considerations issuing from his separately developed theories, formed under the influence of the technology, mathematics and science of his age.

AbstractThe Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus (Quarc), a recently developed, powerful formal logic system. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, a fact that lends additional interest to this examination, as Quarc might offer a better representation of our modal concepts. The validity of the Barcan formulas and their converses is shown by Quarc to be a result of the specific incorporation of quantification in the Predicate Calculus, and not as reflecting a feature of the interaction of quantification and modality more generally. Necessary existence is shown to follow from the identification, in the Predicate Calculus on its canonical interpretation, of particular quantification, ascription of existence and the 'there is' construction, three constructions which are distinguished in both Quarc and Natural Language. The issues surrounding the Barcan formulas, their converses and necessary existence are thus shown to be an artefact of a specific logic system, not an essential feature of our relevant modal concepts or of formal logic.