Check nearby libraries
Buy this book
A. N. Prior has a special place in recent philosophy for his highly original work at the intersection of logic and metaphysics. His logical innovations have found many applications in the areas of philosophical logic, mathematics, linguistics, and, increasingly, computer science. In addition, he made seminal contributions to debates in metaphysics, particularly on modality and the nature of time.
This volume presents new contemporary research in the areas that were of most interest to Prior: temporal and tense logic, modal logic, proof theory, quantification and individuation, and the logic of agency.
Both title and contents reflect Prior's view that logic is 'about the real world', and the orientation of the volume is towards the application of logic, in philosophy, computer science, and elsewhere. Following Prior, modal syntax is now widely applied to the formalization of a variety of subject matters, and tense logic has found numerous applications in computing, for example in natural language processing, logical deduction involving time-dependent data, program-verification, and VLSI.
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Logic and Reality: Essays on the Legacy of Arthur Prior
April 11, 1997, Oxford University Press, USA, Clarendon Press, Oxford University Press
in English
0198240600 9780198240600
|
cccc
Libraries near you:
WorldCat
|
2
Logic and reality: essays on the legacy of Arthur Prior
1996, Clarendon Press, Oxford University Press
in English
0198240600 9780198240600
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Errata slip laid in.
Eight of the chapters in this book are based on presentations given at the Arthur Prior Memorial Conference at the University of Canterbury, Christchurch, N.Z., 1989.
"Bibliography of Prior's philosophical writings": p. [519]-532.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 30, 2019 | Edited by MARC Bot | associate edition with work OL5335774W |
July 30, 2010 | Edited by IdentifierBot | added LibraryThing ID |
April 14, 2010 | Edited by Open Library Bot | Linked existing covers to the edition. |
April 13, 2010 | Edited by bgimpertBot | Added goodreads ID. |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |