Tag: Logical

Logicism Renewed Logical Foundations for Mathematics and Computer Science


Free Download Logicism Renewed: Logical Foundations for Mathematics and Computer Science By Paul C. Gilmore
2005 | 250 Pages | ISBN: 1568812760 | PDF | 11 MB
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.

(more…)

Husserl’s Logical Investigations Reconsidered


Free Download Husserl’s Logical Investigations Reconsidered By Denis Fisette (auth.)
2003 | 240 Pages | ISBN: 9048163242 | PDF | 10 MB
The twelve original studies collected in this volume examine different aspects of Edmund Husserl’s Logical Investigations. They are authored by scholars and specialists internationally recognized for their expertise in the fields of phenomenology, logic, history of philosophy and philosophy of mind. They approach Husserl’s groundwork from different angles and perspectives and shed new light on a number of issues such as meaning, intentionality, ontology, logic, etc. They also explore questions such as the place of the Logical Investigations within the whole of Husserl’s work, its sources in 19th century philosophy and in particular in the philosophical work of Franz Brentano and Bernard Bolzano, its reception amongst the so-called members of the Munich Circle and its influence on contemporary philosophy. In short, this volume constitutes a "companion" to Husserl’s Logical Investigations.

(more…)

The Philosophy of Logical Mechanism Essays in Honor of Arthur W. Burks, With his responses (2024)


Free Download M.H. Salmon, "The Philosophy of Logical Mechanism: Essays in Honor of Arthur W. Burks, With his responses"
English | 1990 | ISBN: 9401069336, 0792303253 | DJVU | pages: 563 | 3.8 mb
This work is divided into two parts. Part I contains sixteen critical es says by prominent philosophers and computer scientists. Their papers offer insightful, well-argued contemporary views of a broad range of topics that lie at the heart of philosophy in the second half of the twen tieth century: semantics and ontology, induction, the nature of prob ability, the foundations of science, scientific objectivity, the theory of naming, the logic of conditionals, simulation modeling, the relatiOn be tween minds and machines, and the nature of rules that guide be havior. In this volume honoring Arthur W. Burks, the philosophical breadth of his work is thus manifested in the diverse aspects of that work chosen for discussion and development by the contributors to his Festschrift. Part II consists of a book-length essay by Burks in which he lays out his philosophy of logical mechanism while responding to the papers in Part I. In doing so, he provides a unified and coherent context for the range of problems raised in Part I, and he highlights interesting relationships among the topics that might otherwise have gone un noticed. Part II is followed by a bibliography of Burks’s published works.

(more…)

Logical Empiricism as Scientific Philosophy


Free Download Alan Richardson, "Logical Empiricism as Scientific Philosophy "
English | ISBN: 1009471511 | 2024 | 75 pages | PDF | 2 MB
This Element offers a new account of the philosophical significance of logical empiricism that relies on the past forty years of literature reassessing the project. It argues that while logical empiricism was committed to empiricism and did become tied to the trajectory of analytic philosophy, neither empiricism nor logical analysis per se was the deepest philosophical commitment of logical empiricism. That commitment was, rather, securing the scientific status of philosophy, bringing philosophy into a scientific conception of the world.

(more…)

Friedrich Waismann – Causality and Logical Positivism


Free Download B.F. McGuinness, "Friedrich Waismann – Causality and Logical Positivism"
English | 2011 | pages: 358 | ISBN: 9400717504, 9400736428 | PDF | 2,4 mb
Friedrich Waismann (1896-1959) was one of the most gifted students and collaborators of Moritz Schlick. Accepted as a discussion partner by Wittgenstein from 1927 on, he functioned as spokesman for the latter’s ideas in the Schlick Circle, until Wittgenstein’s contact with this most faithful interpreter was broken off in 1935 and not renewed when exile took Waismann to Cambridge. Nonetheless, at Oxford, where he went in 1939, and eventually became Reader in Philosophy of Mathematics (changing later to Philosophy of Science), Waismann made important and independent contributions to analytic philosophy and philosophy of science (for example in relation to probability, causality and linguistic analysis). The full extent of these only became evident later when the larger (unpublished) part of his writings could be studied. His first posthumous work The Principles of Linguistic Philosophy (1965, 2nd edn.1997; German 1976) and his earlier Einf├╝hrung in das mathematische Denken (1936) have recently proved of fresh interest to the scientific community. This late flowering and new understanding of Waismann’s position is connected with the fact that he somewhat unfairly fell under the shadow of Wittgenstein, his mentor and predecessor. Central to this book about a life and work familiar to few is unpublished and unknown works on causality and probability. These are commented on in this volume, which will also include a publication of new or previously scattered material and an overview of Waismann’s life.

(more…)