Logic category: 1296 books
by Anna Horská
Language: English
Release Date: October 23, 2013
Language: English
Release Date: October 23, 2013
This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author comments on Gentzen's steps which are supplemented with exact calculations and parts of formal derivations....
by
Language: English
Release Date: December 6, 2012
Language: English
Release Date: December 6, 2012
Symposium in Helsinki, 24-27 August 1970 / Entretiens de Helsinki, 24-27 août 1970
Modality in Argumentation
A Semantic Investigation of the Role of Modalities in the Structure of Arguments with an Application to Italian Modal Expressions
Language: English
Release Date: March 8, 2017
This book addresses two related questions that have first arisen in Toulmin’s seminal book on the uses of argument. The first question is the one of the relationship between the semantic analysis of modality and the structure of arguments. The second question is the one of the distinctive place,...
by Wei Wang
Language: English
Release Date: April 21, 2017
Language: English
Release Date: April 21, 2017
Scientific explanation, laws of nature, and causation are crucial and frontier issues in the philosophy of science. This book studies the complex relationship between the three concepts, aiming to achieve a holistic synthesis about explanation–laws–causation.
By reviewing Hempel's scientific...
Science, Mind and Art
Essays on science and the humanistic understanding in art, epistemology, religion and ethics In honor of Robert S. Cohen
Language: English
Release Date: December 6, 2012
In three volumes, a distinguished group of scholars from a variety of disciplines in the natural and social sciences, the humanities and the arts contribute essays in honor of Robert S. Cohen, on the occasion of his 70th birthday. The range of the essays, as well as their originality, and their critical...
Model-Based Reasoning
Science, Technology, Values
Language: English
Release Date: December 6, 2012
There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and...
Abduction, Reason and Science
Processes of Discovery and Explanation
Language: English
Release Date: June 27, 2011
This book ties together the concerns of philosophers of science and AI researchers, showing for example the connections between scientific thinking and medical expert systems. It lays out a useful general framework for discussion of a variety of kinds of abduction. It develops important ideas about...
Formalisme
Les Grands Articles d'Universalis
Language: French
Release Date: March 20, 2017
Partez à la découverte du formalisme avec ce Grand Article Universalis !
Au sens moderne la formalisation est la présentation des théories scientifiques – et, en premier lieu sinon exclusivement, des mathématiques – dans le cadre d'un système formel, permettant de caractériser sans...
Epistemic Principles
A Primer for the Theory of Knowledge
Language: English
Release Date: November 29, 2016
Epistemic Principles: A Primer of the Theory of Knowledge presents a compact account of the basic principles of the theory of knowledge. In doing this, Nicholas Rescher aims to fill the current gap in contemporary philosophical theory of knowledge with a comprehensive analysis of epistemological fundamentals....
by Plato
Language: English
Release Date: December 15, 2016
Language: English
Release Date: December 15, 2016
CRATYLUS by Plato
The Cratylus, Plato's sole dialogue devoted to the relation between language and reality, is acknowledged to be one of his masterpieces. But owing to its often enigmatic content no more than a handful of passages from it have played a part in the global evaluation of Plato's...
by 7eL
Language: English
Release Date: January 15, 2013
Language: English
Release Date: January 15, 2013
A BRIEF SYNOPSIS AS TO WHETHER RELIGION IS HELPING THE BLACK MAN BE FREE
by 劉炯朗
Language: Chinese
Release Date: January 2, 2013
Language: Chinese
Release Date: January 2, 2013
你相信嗎？ 在邏輯的世界裡，跑得再快的人也永遠追不上烏龜！ 你知道嗎？ 在數學的世界裡，打電話傳八卦也可寫成一道算式！ 在哲學家、數學家眼裡， 生活中許多看似平常的現象，背後都有著奇妙的規律； 小至上網買東西，大至制訂國家政策，...
by Auguste Comte
Language: English
Release Date: August 12, 2016
Language: English
Release Date: August 12, 2016
The philosophy of mathematics by the French philosopher,Auguste Comte.He is sometimes regarded as the first philosopher of science in the modern sense of the term.The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of...
Science and Hypothesis
The Complete Text
Language: English
Release Date: November 16, 2017
Science and Hypothesis is a classic text in history and philosophy of science. Widely popular since its original publication in 1902, this first new translation of the work in over a century features unpublished material missing from earlier editions.
Addressing errors introduced by Greenstreet...