This book presents the research achievements of Jin Yuelin, the first logician and a prominent philosopher in China, who founded a new philosophical system combining elements from Western and Chinese philosophical traditions, especially the concept of Tao.
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area.
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 offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively.
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia.
Esta obra ofrece una reconstrucción racional, ajustada a las categorías de Imre Lakatos, del programa de investigación que fija una pirámide geométrica con el objetivo de dar cuenta de la percepción visual.
Essays on Husserl's Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl's work in the field of logic, of the philosophy of logic and of the philosophy of mathematics.
This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process.
Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic.
Ranging from Alan Turing's seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other.
Arguing that our attachment to Aristotelian modes of discourse makes a revision of their conceptual foundations long overdue, the author proposes the consideration of unacknowledged factors that play a central role in argument itself.
The present attempt to introduce the general philosophical reader to the Phenomenological Movement by way of its history has itself a history which is pertinent to its objective.
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it.
The aim of the book is to introduce the reader to some new areas oflogic which have yet to find their way into the bulk of modern logic books written from the more orthodox direction of the mainstream of develop- ments.
Substructural logics are by now one of the most prominent branches of the research field usually labelled as "e;nonclassical logics"e; - and perhaps of logic tout court.
The subject of the present inquiry is the approach-to-the-truth research, which started with the publication of Sir Karl Popper's Conjectures and Refutations.
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions.
This volume of papers grew out of a research project on "e;Cross-Linguistic Quantification"e; originated by Emmon Bach, Angelika Kratzer and Barbara Partee in 1987 at the University of Massachusetts at Amherst, and supported by National Science Foundation Grant BNS 871999.
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc.
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997.
