|
" Foundations: "
edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
Document Type
|
:
|
BL
|
Record Number
|
:
|
731376
|
Doc. No
|
:
|
b551162
|
Main Entry
|
:
|
edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
|
Title & Author
|
:
|
Foundations: : Logic, Language, and Mathematics\ edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
|
Publication Statement
|
:
|
Dordrecht: Springer Netherlands, 1984
|
Page. NO
|
:
|
(v, 282 pages)
|
ISBN
|
:
|
9401715920
|
|
:
|
: 9789401715928
|
Contents
|
:
|
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.
|
Abstract
|
:
|
The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students.
|
Subject
|
:
|
Logic.
|
Subject
|
:
|
Philosophy (General)
|
Subject
|
:
|
Science -- Philosophy.
|
Added Entry
|
:
|
Alex Orenstein
|
|
:
|
Elliott Mendelson
|
|
:
|
Hugues Leblanc
|
| |