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. In the first part a theoretical notion of justification for a sentence A is defined, by induction on the complexity of A; intuitively, justifications are conceived as cognitive states of a particular kind. The main source of inspiration for this part is Heyting’s explanation of the intuitionistic meaning of logical...

Evangelista Torricelli exemplifies the use the moderns made of the ancients' mathematical methods. Celebrating Evangelista Torricelli's monumental Opera geometrica, this book marks 380 years since its publication (1644-2024). This homage to Torricelli introduces the magnificent major work in Mechanics and Mathematics of a brilliant Archimedean–and–Galilean scientist to modern readers.

Opera geometrica deals with Motion & Mechanics and Geometry & Infinitesimals. In quibus Archimedis doctrina Torricelli also presents his mechanical principle...

The volume offers a lively and wide-ranging debate on the major questions of perceptual epistemology, including how perceptual experiences can bestow positive epistemic standing to empirical judgments and beliefs; the relative epistemic import of veridical and non-veridical perceptual experiences; the relation between experience and knowledge; and the nature of experience in view of its epistemic linkages to discursive contents. 

The volume is centered around five cutting-edge essays by leading authors in these areas—Anil Gupta, Andrea Kern, Christopher Peacocke, Susanna...

This book shows, for the first time in its full spectrum, the interconnectedness and topicality of two historically and philosophically significant developments of philosophical theories of the study of mind: that of phenomenology of Edmund Husserl and phaneroscopy of Charles S. Peirce. The chapters in this book put the two thinkers in a novel discourse while engaging in mutual scholarship on the large overlaps between the historically two largely independently developed but converging ideas of mind, cognition, consciousness, being, and experience. It...

This book explores a cluster of philosophical, historical, and logical problems concerning the foundations of the theory of plane area in elementary geometry. The motivation of this study is a notable geometrical proposition known as De Zolt's postulate, which asserts that a polygon cannot be equal in area to a proper polygonal part. The book is the first systematic investigation of the philosophical and foundational significance of this proposition, which can also be described as the "fundamental theorem" of the theory of plane area.

This volume provides a comparative study of...

This book tells the story of the landmark event in modern logic whereby Alfred Tarski became "the man who defined truth". Alfred Tarski's classic monograph on truth became known internationally in 1935, when he presented its ideas in German at an international conference and collaborated in preparation of its German translation.

This book provides the first English translation of the Polish version of Tarski's conference paper, which for purposes of comparison is printed side-by-side with a new exact English translation of the German version. It offers for the first time a...

This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions collected in this volume represent work from leading logicians and philosophers. Reflecting Sundholm’s contributions to the history and philosophy of logic, this book is divided into two parts: the architecture and archaeology of logic.

The essays collected in the ‘architecture’ section cover primarily the...