This volume develops a theory of meaning and a semantics for both mathematical and empirical sentences inspired to Chomsky's internalism, namely to a view of semantics as the study of the relations of language not with external reality but with internal, or mental, reality.
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.
This volume covers the period from the beginning of Whitehead and Russell's work on Volume 2 of the Principles of Mathematics to the critical discovery of the theory of descriptions in 1905.
Questo libro ha lo scopo di fornire un’ampia riflessione sui principi generali della fisica e gli elementi fondanti della conoscenza scientifica nella loro unitarietà.
Thirteen promising young researchers write on what they take to be the right philosophical account of mathematics and discuss where the philosophy of mathematics ought to be going.
The Process of Argument: An Introduction is a necessary companion for anyone seeking to engage in successful persuasion: To organize, construct, and communicate arguments.
Critical thinking is taught at all universities, often put forward by lecturers as the key skill that can most dramatically improve a student's understanding of a course and transform their writing.
In this excellent book Sebastien Gandon focuses mainly on Russell's two major texts, Principa Mathematica and Principle of Mathematics , meticulously unpicking the details of these texts and bringing a new interpretation of both the mathematical and the philosophical content.
Medieval debates over "e;divine creation"e; are systematically obscured in our age by the conflict between "e;Intelligent Design"e; Creationists and Evolutionists.
This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications.
This volume constitutes the Proceedings of a workshop on formal seman- tics of natural languages which was held in Tiibingen from the 1st to the 3rd of December 1977.
An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected to wider issues of knowledge and judgment that arise in the context of racial, cultural, and religious diversity.
This volume advances discussion between critics and defenders of the force-content distinction and opens up new ways of thinking about force and speech acts in relation to the unity problem.
Kawalec's monograph is a novel defence of the programme of inductive logic, developed initially by Rudolf Carnap in the 1950s and Jaakko Hintikka in the 1960s.
Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought.
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively.
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework.
This book is focused on the first three parts of Bolzano's Theory of Sciene and introduces a more systematic reconsideration of Bolzano's logial thought.