Abeles, Francine F.
Modern Logic 1850-1950, East and West
1. Introduction
Francine F. Abeles, Mark E. Fuller
2. Preface and Prospectus to a planned “History vs. Philosophy of Logic” Text
Irving H. Anellis
3. The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen
Irving H. Anellis, Francine F. Abeles
4. Logic and Argumentation in Belgium: The Role of Leo Apostel
Jean Paul Bendegem
5. Tarski’s Recantation: Reading the Postscript to “Wahrheitsbegriff”
Philippe Rouilhan
6. Paradox of Analyticity and Related Issues
Jan Woleński
7. Naturalizing Natural Deduction
David DeVidi, Herbert Korté
8. Category Theory and the Search for Universals: A Very Short Guide for Philosophers
Alberto Peruzzi
9. On the Way to Modern Logic: The Case of Polish Logic
Roman Murawski
10. Russian Origins of Non-Classical Logics
Valentin A. Bazhanov
11. Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within
Vladik Kreinovich
12. On Normalizing Disjunctive Intermediate Logics
Jonathan P. Seldin
13. A Natural Axiom System for Boolean Algebras with Applications
R. E. Hodel
Nyckelord: Mathematics, Mathematical Logic and Foundations, Logic, History of Mathematical Sciences
- Utgivare
- Abeles, Francine F.
- Fuller, Mark E.
- Utgivare
- Springer
- Utgivningsår
- 2016
- Språk
- en
- Utgåva
- 1
- Serie
- Studies in Universal Logic
- Sidantal
- 13 sidor
- Kategori
- Naturvetenskaper
- Format
- E-bok
- eISBN (PDF)
- 9783319247564
- Tryckt ISBN
- 978-3-319-24754-0