Author: V.F. Rickey
Publisher: Springer Science & Business Media
ISBN: 9400960891
Category : Philosophy
Languages : en
Pages : 259
Book Description
Leśniewski’s Systems
Author: V.F. Rickey
Publisher: Springer Science & Business Media
ISBN: 9400960891
Category : Philosophy
Languages : en
Pages : 259
Book Description
Publisher: Springer Science & Business Media
ISBN: 9400960891
Category : Philosophy
Languages : en
Pages : 259
Book Description
Leśniewski’s Systems Protothetic
Author: Jan J.T. Srzednicki
Publisher: Springer Science & Business Media
ISBN: 9401157367
Category : Philosophy
Languages : en
Pages : 322
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.
Publisher: Springer Science & Business Media
ISBN: 9401157367
Category : Philosophy
Languages : en
Pages : 322
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.
Leśniewski's Systems of Logic and Foundations of Mathematics
Author: Rafal Urbaniak
Publisher: Springer Science & Business Media
ISBN: 3319004824
Category : Science
Languages : en
Pages : 240
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.
Publisher: Springer Science & Business Media
ISBN: 3319004824
Category : Science
Languages : en
Pages : 240
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.
The Logical Systems of Lesniewski
Author: Eugene C. Luschei
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 380
Book Description
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 380
Book Description
Organon
Author:
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 314
Book Description
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 314
Book Description
Approximate Reasoning by Parts
Author: Lech Polkowski
Publisher: Springer Science & Business Media
ISBN: 364222279X
Category : Technology & Engineering
Languages : en
Pages : 356
Book Description
The monograph offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and Rough Set Theory ideas of the containment to a degree. The result is a theory based on the notion of a part to a degree. One can invoke here a formula Rough: Rough Mereology : Mereology = Fuzzy Set Theory : Set Theory. As with Mereology, Rough Mereology finds important applications in problems of Spatial Reasoning, illustrated in this monograph with examples from Behavioral Robotics. Due to its involvement with concepts, Rough Mereology offers new approaches to Granular Computing, Classifier and Decision Synthesis, Logics for Information Systems, and are--formulation of well--known ideas of Neural Networks and Many Agent Systems. All these approaches are discussed in this monograph. To make the exposition self--contained, underlying notions of Set Theory, Topology, and Deductive and Reductive Reasoning with emphasis on Rough and Fuzzy Set Theories along with a thorough exposition of Mereology both in Lesniewski and Whitehead--Leonard--Goodman--Clarke versions are discussed at length. It is hoped that the monograph offers researchers in various areas of Artificial Intelligence a new tool to deal with analysis of relations among concepts.
Publisher: Springer Science & Business Media
ISBN: 364222279X
Category : Technology & Engineering
Languages : en
Pages : 356
Book Description
The monograph offers a view on Rough Mereology, a tool for reasoning under uncertainty, which goes back to Mereology, formulated in terms of parts by Lesniewski, and borrows from Fuzzy Set Theory and Rough Set Theory ideas of the containment to a degree. The result is a theory based on the notion of a part to a degree. One can invoke here a formula Rough: Rough Mereology : Mereology = Fuzzy Set Theory : Set Theory. As with Mereology, Rough Mereology finds important applications in problems of Spatial Reasoning, illustrated in this monograph with examples from Behavioral Robotics. Due to its involvement with concepts, Rough Mereology offers new approaches to Granular Computing, Classifier and Decision Synthesis, Logics for Information Systems, and are--formulation of well--known ideas of Neural Networks and Many Agent Systems. All these approaches are discussed in this monograph. To make the exposition self--contained, underlying notions of Set Theory, Topology, and Deductive and Reductive Reasoning with emphasis on Rough and Fuzzy Set Theories along with a thorough exposition of Mereology both in Lesniewski and Whitehead--Leonard--Goodman--Clarke versions are discussed at length. It is hoped that the monograph offers researchers in various areas of Artificial Intelligence a new tool to deal with analysis of relations among concepts.
Dialogue and Universalism
Author:
Publisher:
ISBN:
Category : Civilization, Modern
Languages : en
Pages : 462
Book Description
Toward synergy of civilizations.
Publisher:
ISBN:
Category : Civilization, Modern
Languages : en
Pages : 462
Book Description
Toward synergy of civilizations.
A Perspective on Intelligent Systems
Author: Ladislav Kohout
Publisher: Chapman & Hall
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 280
Book Description
This is aimed at the professionals in various disciplines concerned wiht intelligent systems, such as information technology (expert systems, robotics, decision support systems, etc.) and the life sciences (brain sciences, neurobiology, psychology, and medicine). It may also be read by mathematicians and logicians who wish to apply their formal skils to this interesting field. This book is not easy reading. In order to avoid superficiality, it is necessary to have sufficient depth as well as breadth.
Publisher: Chapman & Hall
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 280
Book Description
This is aimed at the professionals in various disciplines concerned wiht intelligent systems, such as information technology (expert systems, robotics, decision support systems, etc.) and the life sciences (brain sciences, neurobiology, psychology, and medicine). It may also be read by mathematicians and logicians who wish to apply their formal skils to this interesting field. This book is not easy reading. In order to avoid superficiality, it is necessary to have sufficient depth as well as breadth.
Encyclopedia of Philosophy: Jouffroy-Malebranche
Author:
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 758
Book Description
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 758
Book Description
The Journal of Symbolic Logic
Author: Alonzo Church
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 796
Book Description
Includes lists of members.
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 796
Book Description
Includes lists of members.