Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Alfred Tarski and the Vienna Circle
The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and ...
Nonstandard Analysis
Currently, nonstandard analysis is barely considered in university teaching. The author argues that nonstandard analysis is valuable not only for teaching, but also for understanding standard analysis and mathematics itself. An axiomatic approach wich pays attention to different language levels (for example, in the distinction between sums of ones and the natural numbers of the theory) leads naturally to a nonstandard theory. For motivation historical ideas of Leibniz can be taken up. The book contains an elaborated concept that follows this approach and is suitable, for example, as a basis for a lecture-supplementary course. The monograph part presents all major approaches to nonstandard an...
In the Scope of Logic, Methodology and Philosophy of Science
This is the first of two volumes containing papers submitted by the invited speakers to the 11th International Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited speakers are the leading researchers and accordingly the book presents the current state of the intellectual discourse in the respective fields. The papers delivered at the congress were divided into 17 sections. Thus the structure of the volume corresponds to the very schedule of the congress. Volume one contains the opening lecture by Andrzej K. Wróblewski as well as invited papers in sections of Proof Theory, Model Theory, Recursion Theory, Axiomatic Set Theory, Logic and Computation, Logic, Language and Cognition, Methodology, Probability, Induction, and Decision Theory, Philosophy of Logic, Mathematics, and Computer Science, and Philosophy of the Physical Sciences.
The Golden Age of Polish Philosophy
Jan Wolenski ́ and Sandra Lapointe Polish philosophy goes back to the 13th century, when Witelo, famous for his works in optics and the metaphysics of light, lived and worked in Silesia. Yet, Poland’s academic life only really began after the University of Cracow was founded in 1364 – its development was interrupted by the sudden death of King Kazimierz III, but it was re-established in 1400. The main currents of classical scholastic thought like Thomism, Scottism or Ockhamism had been late – about a century – to come to Poland and they had a considerable impact on the budding Polish philosophical scene. The controversy between the via antiqua and the via moderna was hotly 1 debated...
To be Or Not to Be? Is that the Question? And Other Studies in Ontology, Epistemology and Logic
This volume may be of interest for all those who wish that philosophy had a scientific character. As an adherent of the Polish Lvov-Warsaw Philosophical School, the author of this collection of papers endeavours to clarify some basic notions of epistemology, ontology and psychology of cognitive acts, such as judgment, existence, being etc. In his investigations he refrains from unnecessary rejection of common-sense knowledge but at the same time searches for suitable patterns in contemporary sciences. Regarding formal logic as a fundamental tool for the precise expression and justification of thoughts, the author tries to clear logic from ontological commitments, shows how to construct logic of norms and how to use safely different definitions in research works. The book presents a new conception of antinomies and an innovatory approach to realistic epistemology. Moreover, some applications of logical methods are illustrated by examples of semantical analyses of the general notion of similarity and the biological concept of homology.
Concepts of Proof in Mathematics, Philosophy, and Computer Science
A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.
The Lvov-Warsaw School. Past and Present
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.
