close
1.

図書
図書
1. Model-theoretic logics (: us ; : gw)
edited by J. Barwise and S. Feferman ; with contributions by J. Baldwin ... [et al.]
出版情報: New York ; Tokyo : Springer-Verlag, c1985  xviii, 893 p. ; 25 cm
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…
2.

図書
図書
2. The syntax and semantics of infinitary languages
edited by Jon Barwise
出版情報: Berlin ; New York : Springer-Verlag, 1968  268 p. ; 28 cm
シリーズ名: Lecture notes in mathematics ; 72
所蔵情報: loading…
3.

図書
図書
3. The situation in logic (: pbk)
Jon Barwise
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1989  xvi, 327 p. ; 24 cm
シリーズ名: CSLI lecture notes ; no. 17
所蔵情報: loading…
4.

図書
図書
4. The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  xx, 425 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 101
所蔵情報: loading…
5.

図書
図書
5. The liar : an essay on truth and circularity (: hard)
Jon Barwise and John Etchemendy
出版情報: New York ; Tokyo : Oxford University Press, 1987  xii, 185 p. ; 22 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I：
The Liar / 1：
Some background
Diagnosing a paradox
Some basic decisions
Plan of the book
A budget of Liar-like paradoxes
Sentences, Statements, and Propositions / 2：
Russellian propositions
Austinian statements and propositions
A formal language
The Universe of Hypersets / 3：
Set theory from Z to A
AFA
The consistency of ZFC/AFA
Solving equations
Inductive and coinductive definitions
Russellian Propositions and the Liar / Part II：
Modeling Russellian Propositions / 4：
Basic definitions
A Russellian semantics for L
Truth of Russellian Propositions / 5：
Truth and the world
The T-schema and the world
Kripke's construction and other closure conditions
Witnessing functions
Paradoxical Russellian propositions
Consequences of the Russellian Account / 6：
Further examples analyzed
The problem with the Russellian account
Sentences and Russellian Propositions / 7：
Some proof theory
Paradoxical sentences
Austinian Propositions and the Liar / Part III：
Modeling Austinian Propositions / 8：
Truth of Austinian propositions
Austinian Propositions and the World / 9：
Accessible Austinian propositions
Modeling the Austinian world
The T-schema in the Austinian world
An Austinian Semantics / 10：
The Austinian semanties for L
T-closure for expressible propositions
Further examples reanalyzed
The Austinian Completeness Theorem
Relating the Russellian and Austinian Accounts / 11：
The Liar as a diagonal argument
The Reflection Theorem
Characterizing paradoxical sentences
Negation and Denial / 12：
Conclusions / 13：
The proper treatment of paradox
Lessons for the skeptic
Bibliography
Index
Postscript
Introduction / Part I：
The Liar / 1：
Some background
6.

図書
図書
6. Situations and attitudes
Jon Barwise and John Perry
出版情報: Cambridge, Mass. : MIT Press, c1983  xxii, 352 p. ; 24 cm
シリーズ名: Bradford book
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / Part I：
Meaningful situations / 1：
Evidence for a theory of linguistic meaning / 2：
A Theory of Situations / Part II：
Abstract situations / 3：
Event-types / 4：
Constraints / 5：
Situation Semantics / Part III：
Sentence meanings / 6：
The meaning of singular noun phrases / 7：
The Attitudes / Part IV：
Seeing / 8：
Attitudes as relations to situations / 9：
Representing mental states and events / 10：
Further directions / 11：
Appendix to chapter 6: Determiner-free aliass
Appendix to chapter 7: Singular aliass
Preface
Introduction / Part I：
Meaningful situations / 1：
7.

図書
図書
7. Handbook of mathematical logic (: pbk)
edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.]
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1977  xi, 1165 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 90
所蔵情報: loading…
目次情報: 続きを見る
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
Proof Theory and Constructive Mathematics / H. Barendregt ; S. Feferman ; M.P. Fourman ; L. Harrington ; J. Paris ; H. Schwichtenberg ; C. Smorynski ; R. Statman ; A.S. Troelstra
Indices
Model Theory / J. Barwise ; P.C. Eklof ; H.J. Keisler ; A. Kock ; A. Macintyre ; M. Makkai ; M. Morley ; G.E. Reyes ; K.D. Stroyan
Set Theory / J.P. Burgess ; K.J. Devlin ; T.J. Jech ; I. Juhasz ; K. Kunen ; M.E. Rudin ; J.R. Schoenfield
Recursion Theory / P. Aczel ; M. Davis ; H.B. Enderton ; A. Kechris ; D.A. Martin ; Y.N. Moschovakis ; M.O. Rabin ; R.A. Shore ; S.G. Simpson
8.

図書
図書
8. うそつき : 真理と循環をめぐる論考
ジョン・バーワイズ, ジョン・エチェメンディ著 ; 金子洋之訳
出版情報: 東京 : 産業図書, 1992.5  13, 283p ; 20cm
所蔵情報: loading…
9.

図書
図書
9. Situation theory and its applications (v. 1 - v. 3 : pbk)
edited by Robin Cooper, Kuniaki Mukai, and John Perry
出版情報: Stanford, CA : Center for the Study of Language and Information, c1990-  v. ; 24 cm
シリーズ名: CSLI lecture notes ; no. 22, 26, 37
所蔵情報: loading…
目次情報: 続きを見る
Preface
Contributors
Situation Theory / Part I：
Replacement systems and the axiomatization of situation theory / Peter Aczel1：
Information, infons, and inference / Jon Barwise ; John Etchemendy2：
Infons and types in an information-based logic / Keith Devlin3：
On the logic of situation theory / Tim Fernando4：
Partial sets / Michael W. Mislove ; Lawrence S. Moss ; Frank J. Oles5：
An illative theory of relations / Gordon Plotkin6：
Perspectives in situation theory / Jerry Seligman7：
Parametric types and propositions in first-order situation theory / Dag Westerstshl8：
Logical Applications / Part II：
Dewey on defeasibility / Thomas Burke9：
Three indexical solutions to the liar paradox / Robert Koons10：
The complexity of paradox / William C. Rounds11：
Linguistic Applications / Part III：
Situating word meaning / Nick Braisby12：
Information in the early stages of language acquisitions / Robin Cooper13：
Locations now and then Judith / Merriam Crow14：
Argument roles and anaphora / Elisabet Engdahl15：
Some puzzles about pronouns / Jean Mark Gawron ; Stanley Peters16：
Out of the mouths of babes / Elizabeth Macken17：
Situations, games, and ambiguity / Prashant Parikh18：
Conditionals and unconditionals in universal grammar and situation semantics / Dietmar Zaefferer19：
Name index
Subject index
Constraints, channels, and the flow of information
Extended Kamp notation: a graphical notation for situation theory
States of affairs without parameters / Mark Crimmins
Labelled deductive systems and situation theory / D. M. Gabbay
Events and processes in situation semantics / Michael Georgeff ; David Morley ; Anand Rao
Nonmonotonic projection, causation and induction / Robert C. Koons
Modal situation theory / Stephen M. Schulz
Generalized quantifiers and resource situations
Situation theory and cooperative action / Duska Rosenberg
Propositional and non-propositional attitudes / Jonathan Ginzburg
Episodic logic: a situational logic for natural language processing / Chung Hee Hwang ; Lenhart K. Schubert
A situation-theoric formalization of definite description interpretation in plan elaboration dialogues / Massimo Poessio
A situation-theoretic representation of text meaning ; anaphora, quantification, and negation / Bj÷rn Haglund ; Torbj÷rn Lager;
Preface
Contributors
Situation Theory / Part I：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼