Leśniewski's Systems of Logic and Foundations of Mathematics


Book Description

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic. One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth century, Leśniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski was his PhD student). His primary achievement was a system of foundational mathematical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strands—‘protothetic’, ‘ontology’, and ‘mereology’, are detailed in discrete sections of this volume, alongside a wealth other chapters grouped to provide the fullest possible coverage of Leśniewski’s academic output. With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great pioneers.​




Leśniewski’s Systems Protothetic


Book Description

Between the two world wars, Stanislaw Lesniewski (1886-1939), created the famous and important system of foundations of mathematics that comprises three deductive theories: Protothetic, Ontology, and Mereology. His research started in 1914 with studies on the general theory of sets (later named `Mereology'). Ontology followed between 1919 and 1921, and was the next step towards an integrated system. In order to combine these two systematically he constructed Protothetic - the system of `first principles'. Together they amount to what Z. Jordan called `... most thorough, original, and philosophically significant attempt to provide a logically secure foundation for the whole of mathematics'. The volume collects many of the most significant commentaries on, and contributions to, Protothetic. A Protothetic Bibliography is included.




The Lvov-Warsaw School and Contemporary Philosophy


Book Description

This collection celebrates the centenary of the Lvov-Warsaw school, established by Kazimierz Twardowski in Lvov in 1895. This school belongs to analytic philosophy and successfully worked in all branches of philosophy. The Warsaw school of logic became perhaps the most important part of Twardowski's heritage. Lesniewski, Lukasiewicz and Tarski, leading Polish logicians, achieved results which essentially influenced the development of contemporary logic. A close connection of logic and philosophy was a typical feature of the Lvov-Warsaw school. The papers included in the collection deal with all directions of research undertaken by Polish analytic philosophers. Special attention is paid to logic and comparisons with other philosophical movements, particularly with Brentanism, which was one of the sources of the Lvov-Warsaw school.




Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference


Book Description

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detachment theorem, Δ1-induction, completeness of Leśniewski's systems, and reduction calculus for the satisfiability problem are also discussed.The coverage includes the answer to Kanovei's question about the upper bound for the complexity of equivalence relations by convergence at infinity for continuous functions. The volume also gives some applications to computer science such as solving the problems of inductive interference of languages from the full collection of positive examples and some negative data, the effects of random negative data, methods of formal specification and verification on the basis of model theory and multiple-valued logics, interval fuzzy algebraic systems, the problems of information exchange among agents on the base topological structures, and the predictions provided by inductive theories.




Historical Dictionary of Metaphysics


Book Description

A dictionary of metaphysical terms with an emphasis on the history of the people and words.




Mathematical Logic in Asia


Book Description

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas. The problems of characterization of the deduction-detachment theorem, ?1-induction, completeness of Le?niewski's systems, and reduction calculus for the satisfiability problem are also discussed.The coverage includes the answer to Kanovei's question about the upper bound for the complexity of equivalence relations by convergence at infinity for continuous functions. The volume also gives some applications to computer science such as solving the problems of inductive interference of languages from the full collection of positive examples and some negative data, the effects of random negative data, methods of formal specification and verification on the basis of model theory and multiple-valued logics, interval fuzzy algebraic systems, the problems of information exchange among agents on the base topological structures, and the predictions provided by inductive theories.




Leśniewski’s Systems


Book Description




The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland


Book Description

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It was a remarkable period in the history of Polish science, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of logic and mathematics was accompanied by a philosophical reflection. We try to answer those questions by analyzing both works of Polish logicians and mathematicians who have a philosophical temperament as well as their research practice. Works and philosophical views of the following Polish scientists will be analyzed: Wacław Sierpiński, Zygmunt Janiszewski, Stefan Mazurkiewicz, Stefan Banach Hugo Steinhaus, Eustachy Żylińsk and Leon Chwistek, Jan Łukasiewicz, Zygmunt Zawirski, Stanisław Leśniewski, Tadeusz Kotarbiński, Kazimierz Ajdukiewicz, Alfred Tarski, Andrzej Mostowski and Henryk Mehlberg, Jan Sleszyński, Stanisław Zaremba and Witold Wilkosz. To indicate the background of scientists being active in the 1920s and 1930s we consider in Chapter 1 some predecessors, in particular: Jan Śniadecki, Józef Maria Hoene-Wroński, Samuel Dickstein and Edward Stamm.




Knowledge and Faith


Book Description

Jan Salamucha was born on the 10th of June 1903 in Warsaw and murdered on the 11th of August 1944 in Warsaw during the Warsaw Uprising very early on in his scholarly career. He is the most original representative of the branch of the Lvov-Warsaw School known as the Cracow Circle. The Circle was a grouping of scholars who were interested in reconstructing scholasticism and Christian philosophy in general by means of mathematical logic. As Jan Lukasiewicz’s successor in the area of logic and Konstanty Michalski’s student in the area of the history of medieval thought, Salamucha had an excellent preparation for this task. His main achievements include a masterful logical analysis of the proof ex motu for the existence of God, a modern interpretation of analogical notions and a comprehensive approach to the problem of essence. He also contributed several historical studies: he examined Aristotle’s theory of deduction (and found contradictions in it), he reconstructed William Ockham’s propositional logic and established the authenticity of his treatise on insolubilia, and he identified the historical sources of the antinomies in Antiquity and the Middle Ages. He did not shy away from popularizing philosophy, and in that work he was able to elucidate rather than oversimplify the complexities of philosophy.




Granular Computing in Decision Approximation


Book Description

This book presents a study in knowledge discovery in data with knowledge understood as a set of relations among objects and their properties. Relations in this case are implicative decision rules and the paradigm in which they are induced is that of computing with granules defined by rough inclusions, the latter introduced and studied within rough mereology, the fuzzified version of mereology. In this book basic classes of rough inclusions are defined and based on them methods for inducing granular structures from data are highlighted. The resulting granular structures are subjected to classifying algorithms, notably k—nearest neighbors and bayesian classifiers. Experimental results are given in detail both in tabular and visualized form for fourteen data sets from UCI data repository. A striking feature of granular classifiers obtained by this approach is that preserving the accuracy of them on original data, they reduce substantially the size of the granulated data set as well as the set of granular decision rules. This feature makes the presented approach attractive in cases where a small number of rules providing a high classification accuracy is desirable. As basic algorithms used throughout the text are explained and illustrated with hand examples, the book may also serve as a textbook.