Extensional Constructs in Intensional Type Theory PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Extensional Constructs in Intensional Type Theory PDF full book. Access full book title Extensional Constructs in Intensional Type Theory by Martin Hofmann. Download full books in PDF and EPUB format.
Author: Martin Hofmann
Publisher: Springer Science & Business Media
ISBN: 1447109635
Category : Mathematics
Languages : en
Pages : 221
Get Book
Book Description
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
Author: Martin Hofmann
Publisher: Springer Science & Business Media
ISBN: 1447109635
Category : Mathematics
Languages : en
Pages : 221
Get Book
Book Description
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
Author: David Parsons
Publisher: Springer
ISBN: 9811024847
Category : Philosophy
Languages : en
Pages : 215
Get Book
Book Description
This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with (A) the intersubstitution salva veritate of co-extensional expressions, and (B) existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these problems. The book examines four kinds of intensionalist approaches: the Fregean approach (including Church's formalisation of Frege's theory); the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest. The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items (usually sentences) rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism.
Author: Dominik Perler
Publisher: BRILL
ISBN: 9004453296
Category : Philosophy
Languages : en
Pages : 360
Get Book
Book Description
This volume analyses ancient and medieval theories of intentionality in various contexts: perception, imagination, and intellectual thinking. It sheds new light on classical theories (e.g. by Aristotle and Thomas Aquinas) and examines neglected sources, both Greek and Latin. It includes contributions by J. Biard, M. Burnyeat, V. Caston, D. Frede, R. Gaskin, E. Karger, C. Michon, D. O'Meara, C. Panaccio, R. Pasnau, D. Perler, Ch. Rapp, P. Simons, R. Sorabji, and H. Weidemann.
Author: Angela A. Mendelovici
Publisher: Oxford University Press
ISBN: 0190863803
Category : Philosophy
Languages : en
Pages : 297
Get Book
Book Description
Intentionality is the mind's ability to be "of," "about," or "directed" at things, or to "say" something. For example, a thought might "say" that grass is green or that Santa Claus is jolly, and a visual experience might be "of" a blue cup. While the existence of the phenomenon of intentionality is manifestly obvious, how exactly the mind gets to be "directed" at things, which may not even exist, is deeply mysterious and controversial. It has been long assumed that the best way to explain intentionality is in terms of tracking relations, information, functional roles, and similar notions. This book breaks from this tradition, arguing that the only empirically adequate and in principle viable theory of intentionality is one in terms of phenomenal consciousness, the felt, subjective, or qualitative feature of mental life. According to the theory advanced by Mendelovici, the phenomenal intentionality theory, there is a central kind of intentionality, phenomenal intentionality, that arises from phenomenal consciousness alone, and any other kind of intentionality derives from it. The phenomenal intentionality theory faces important challenges in accounting for the rich and sophisticated contents of thoughts, broad and object-involving contents, and nonconscious states. Mendelovici proposes a novel and particularly strong version of the theory that can meet these challenges. The end result is a radically internalistic picture of the mind, on which all phenomenally represented contents are literally in our heads, and any non-phenomenal contents we in some sense represent are expressly singled out by us.
Author: D.W Smith
Publisher: Springer Science & Business Media
ISBN: 9401093830
Category : Philosophy
Languages : en
Pages : 444
Get Book
Book Description
This book has roots in our respective doctoral dissertations, both completed in 1970 at Stanford under the tutelage of Professors Dagfmn F øllesdal, John D. Goheen, and Jaakko Hintikka. In the fall of 1970 we wrote a joint article that proved to be a prolegomenon to the present work, our 'Intentionality via Intensions', The Journal of Philosophy 68 (1971). Professor Hintikka then suggested we write a joint book, and in the spring of 1971 we began writing the present work. The project was to last ten years as our conception of the project continued to grow at each stage. Our iritellectual debts follow the history of our project. During our dis sertation days at Stanford, we joined with fellow doctoral candidates John Lad and Michael Sukale and Professors Føllesdal, Goheen, and Hintikka in an informal seminar on phenomenology that met weekly from June of 1969 through March of 1970. During the summers of 1973 and 1974 we regrouped in another informal seminar on phenomenology, meeting weekly at Stanford and sometimes Berkeley, the regular participants being ourselves, Hubert Dreyfus, Dagfmn Føllesdal, Jane Lipsky McIntyre, Izchak Miller, and, in 1974, John Haugeland.
Author: Uriah Kriegel
Publisher: Oxford University Press
ISBN: 0199720525
Category : Philosophy
Languages : en
Pages : 272
Get Book
Book Description
Since the late 1970's, the main research program for understanding intentionality -- the mind's ability to direct itself onto the world -- has been based on the attempt naturalize intentionality, in the sense of making it intelligible how intentionality can occur in a perfectly natural, indeed entirely physical, world. Some philosophers, however, have remained skeptical of this entire approach. In particular, some have argued that phenomenal consciousness - - the subjective feel of conscious experience -- has an essential role to play in the theory of intentionality, a role missing in the naturalization program. Thus a number of authors have recently brought to the fore the notion of phenomenal intentionality, as well as a cluster of nearby notions. There is a vague sense that their work is interrelated, complementary, and mutually reinforcing, in a way that suggests a germinal research program. With twelve new essays by philosophers at the forefront of the field, this volume is designed to launch this research program in a more self-conscious way, by exploring some of the fundamental claims and themes of relevance to this program.
Author: Uriah Kriegel
Publisher: Oxford University Press
ISBN: 0199380317
Category : Philosophy
Languages : en
Pages : 286
Get Book
Book Description
What do thoughts, hopes, paintings, words, desires, photographs, traffic signs, and perceptions have in common? They are all about something, are directed, are contentful - in a way chairs and trees, for example, are not. This book inquires into the source of this power of directedness that some items exhibit while others do not. An approach to this issue prevalent in the philosophy of the past half-century seeks to explain the power of directedness in terms of certain items' ability to reliably track things in their environment. A very different approach, with a venerable history and enjoying a recent resurgence, seeks to explain the power of directedness rather in terms of an intrinsic ability of conscious experience to direct itself. This book attempts a synthesis of both approaches, developing an account of the sources of such directedness that grounds it both in reliable tracking and in conscious experience.
Author: William C. Dowling
Publisher: U of Nebraska Press
ISBN: 9780803217119
Category : Literary Criticism
Languages : en
Pages : 148
Get Book
Book Description
In recent years the notion of determinate meaning?the idea that a word or a line in a literary text means one thing rather than another thing, X rather than Y?has been widely rejected in the name of Derrida and diffärance, reader-response criticism, and "ideological" approaches proclaiming meaning to be no more than a site of political contestation. ø Yet determinate meaning, says William C. Dowling, cannot be rejected in this way. Like the ratio named by p or the primeness of prime numbers in mathematics, it has been there all along, waiting for our theories to catch up. The proof that this is so, he argues, is today most compellingly available in the New Intensionalism of Jerrold J. Katz, which provides a powerful demonstration that the method of "close reading" developed by New Criticism remains the only valid basis for higher-order interpretation. For readers with no technical background in linguistics or logic, The Senses of the Text provides a clear and easily-understood introduction to the "Chomskyan revolution" in linguistic theory and to major issues in the philosophy of language, including the work of Frege, Wittgenstein, Quine, Carnap, Kripke, and Davidson.
Author: John R. Searle
Publisher: Cambridge University Press
ISBN: 9780521273022
Category : Philosophy
Languages : en
Pages : 294
Get Book
Book Description
Intentionality provides the philosophical foundations for Searle's earlier works, Speech Acts and Expression and Meaning.
Author: Graeme Forbes
Publisher: Oxford University Press on Demand
ISBN: 0199274940
Category : Language Arts & Disciplines
Languages : en
Pages : 207
Get Book
Book Description
Ascriptions of mental states to oneself and others give rise to many interesting logical and semantic problems. Attitude Problems presents an original account of mental state ascriptions that are made using intensional transitive verbs such as 'want', 'seek', 'imagine', and 'worship'. Forbes offers a theory of how such verbs work that draws on ideas from natural language semantics, philosophy of language, and aesthetics.
