You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
The kernel of this volume is an English translation of Jan Łukasiewicz’s classic work on the concept of cause (1906). It is the starting point for analytical considerations on causality of two generations of philosophers belonging to the tradition of the Lvov-Warsaw School.
The volume is a collection of essays about prominent Polish 20th century philosophers of science and scientists who were concerned with problems in the philosophy of science. The contribution made by Polish logicians, especially those from the Lvov-Warsaw School, like Łukasiewicz, Kotarbiński, Czeżowski or Ajdukiewicz, is already well known. One of the aims of the volume is to offer a broader perspective. The papers collected here are devoted to the work of such philosophers as Zawirski, Metallmann, Dąmbska, Mehlberg, Szaniawski and Giedymin as well as to the work of such scientists as Smoluchowski, Fleck, Infeld and Chyliński. The introduction to the volume, written by the editor and Jacek Jadacki, presents an overview of the history of the Polish philosophy of science from the foundation of the Cracow Academy (in 1364) to the present.
Is there any link between the doctrine of logical fatalism and prime numbers? What do logic and prime numbers have in common? The book adopts truth-functional approach to examine functional properties of finite-valued Lukasiewicz logics Ln+1. Prime numbers are defined in algebraic-logical terms (Finn's theorem) and represented as rooted trees. The author designs an algorithm which for every prime number n constructs a rooted tree where nodes are natural numbers and n is a root. Finite-valued logics Kn+1 are specified that they have tautologies if and only if n is a prime number. It is discovered that Kn+1 have the same functional properties as Ln+1 whenever n is a prime number. Thus, Kn+1 are 'logics' of prime numbers. Amazingly, combination of logics of prime numbers led to uncovering a law of generation of classes of prime numbers. Along with characterization of prime numbers author also gives characterization, in terms of Lukasiewicz logical matrices, of powers of primes, odd numbers, and even numbers.
The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XXI in the series is a continuation of a number of research streams that have grown out of the seminal work of Zdzislaw Pawlak during the first decade of the 21st century.
This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.
None
This book constructs an idealized version of what the author calls syntacticism, a school of thought in the philosophy of logic which is congenial to analytical philosophy, logical positivism, and anti-metaphysical nominalism. It examines in detail both technical metalogical and broad philosophic issues associated with this way of thinking about logic, and specifically addresses anomalies around symbolic expressivity, which is crucial for this approach, with a view to provide both a deeper understanding and a critique. The range of fields and interests addressed include: the philosophy of logic, formal logic and mathematical logic, the analytical school of philosophy, logical positivism and nominalism, parallels between thinking about logic and the formalist school in the philosophy of mathematics, the history of modern logic, Wittgenstein’s Tractatus, Leśniewski’s protothetic, dialogue logic, and combinatorial logic.
This is a collection of invited papers from the 1975 International Sym posium on Multiple-valued Logic. Also included is an extensive bib liography of works in the field of multiple-valued logic prior to 1975 - this supplements and extends an earlier bibliography of works prior to 1965, by Nicholas Rescher in his book Many-Valued Logic, McGraw-Hill, 1969. There are a number of possible reasons for interest in the present volume. First, the range of various uses covered in this collection of papers may be taken as indicative of a breadth which occurs in the field of multiple-valued logic as a whole - the papers here can do no more than cover a small sample: question-answering systems, analysi...