Author pages are created from data sourced from our academic publisher partnerships and public sources.
Information Flow: The Logic of Distributed Systems
Information is a central topic in computer science, cognitive science, and philosophy. Expand
Situations and Attitudes.
In this provocative book, Barwise and Perry tackle the slippery subject of "meaning, " a subject that has long vexed linguists, language philosophers, and logicians.
The Liar: An Essay on Truth and Circularity
INTRODUCTION: The Liar Sentences, statements, and Propositions The universe of hypersets RUSSELLIAN PROPOSITIONS AND THE LIAR: Modeling Russellian propositions Truth of Russellian propositions… Expand
Handbook of mathematical logic
Model Theory (Contributors: J. Barwise, P.C. Eklof, H.J. Keisler, A. Kock, A. Macintyre, M. Makkai, M. Morley, G.E. Reyes, K.D. Stroyan). Set Theory (Contributors: J.P. Burgess, K.J. Devlin, T.J.… Expand
An Introduction to First-Order Logic
- J. Barwise
- Computer Science
This chapter provides information of what can and what cannot be expressed in first-order logic. Expand