Logic category: 1296 books
by John Dewey
Language: English
Release Date: November 26, 2012
Language: English
Release Date: November 26, 2012
Psychology and Social Practice by John Dewey. PROFESSOR AND HEAD OF DEPARTMENTS OF PHILOSOPHY AND EDUCATION. Published by THE UNIVERSITY OF CHICAGO PRESS in 1901.
by Charles Thomas Taylor
Language: English
Release Date: October 8, 2012
Language: English
Release Date: October 8, 2012
In Ignes Fatui, Charles Thomas Taylor examines various misapprehensions and misconceptions that interfere with clear rational thought. The title of the book, a loanword from Medieval Latin, means “foolish fires”—lights that occasionally appear in the nighttime over marshy ground and are frequently...
Taking Sudoku Seriously
The Math Behind the World's Most Popular Pencil Puzzle
Language: English
Release Date: January 19, 2012
Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introduction to higher mathematics. How many Sudoku solution squares are there? What shapes other than three-by-three...
by Marta Bunge, Felipe Gago, Ana María San Luis
Language: English
Release Date: March 31, 2018
Language: English
Release Date: March 31, 2018
This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic...
by Harold Simmons
Language: English
Release Date: September 22, 2011
Language: English
Release Date: September 22, 2011
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the...
by Paul R. Halmos
Language: English
Release Date: April 19, 2017
Language: English
Release Date: April 19, 2017
This classic by one of the twentieth century's most prominent mathematicians offers a concise introduction to set theory. Suitable for advanced undergraduates and graduate students in mathematics, it employs the language and notation of informal mathematics. There are very few displayed theorems;...
The Infinite in Mathematics
Logico-mathematical writings
Language: English
Release Date: December 6, 2012
The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism')...
Ordinal Definability and Recursion Theory: Volume 3
The Cabal Seminar, Volume III
Language: English
Release Date: January 11, 2016
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new...
Uncertainty Reasoning for the Semantic Web III
ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
Language: English
Release Date: November 29, 2014
This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2011, 2012, and 2013. The 16 papers presented were carefully reviewed and selected...
An Introduction to Mathematical Reasoning
Numbers, Sets and Functions
Language: English
Release Date: December 11, 1997
The purpose of this book is to introduce the basic ideas of mathematical proof to students embarking on university mathematics. The emphasis is on helping the reader in understanding and constructing proofs and writing clear mathematics. This is achieved by exploring set theory, combinatorics and...
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Language: English
Release Date: May 12, 2016
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.
The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions....
Fallacies and Judgments of Reasonableness
Empirical Research Concerning the Pragma-Dialectical Discussion Rules
Language: English
Release Date: August 5, 2009
In Fallacies and Judgments of Reasonableness, Frans H. van Eemeren, Bart Garssen and Bert Meuffels report on their systematic empirical research of the conventional validity of the pragma-dialectical discussion rules. The experimental studies they carried out during more than ten years start from...
by Daniel Deleanu
Language: English
Release Date: December 19, 2002
Language: English
Release Date: December 19, 2002
Daniel Deleanu's Principles of Logosophy, written in "logosophistic English"-a language based on the author's original concept of logoarchetype-breaks all the boundaries of human knowledge through a reinterpretation of the Platonic concept of archetype and of the Logos.
Deleanu links...
