Foundations--logic, language, and mathematics

edited by Hugues Leblanc, Elliott Mendelson, and Alex Orenstein

[目次]

  • A Symmetric Approach to Axiomatizing Quantifiers and Modalities.- The Knowing Mathematician.- "Conservative" Kripke Closures.- Frege, Le?niewski, and Information Semantics on the Resolution of Antinomies.- De Finetti's Probabilism.- Probability Functions and Their Assumption Sets - The Binary Case.- Logic and Reasoning.- Paradoxes.- Referential and Nonreferential Substitutional Quantifiers.- Foundations for Analysis and Proof Theory.- Chameleonic Languages.- Relational Model Systems: The Craft of Logic.- Realizability and Intuitionistic Logic.

「Nielsen BookData」より

この本の情報

書名 Foundations--logic, language, and mathematics
著作者等 Leblanc, Hugues
Mendelson, Elliott
Orenstein, Alex
出版元 D. Reidel Pub.
刊行年月 c1984
版表示 Reprinted from SYNTHESE, 60:1-2, 1984
ページ数 282 p.
大きさ 23 cm
ISBN 9027718415
NCID BA0320396X
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想