1. Metaphors and Logic Metaphors are among the most vigorous offspring of the creative mind; but their vitality springs from the fact that they are logical organisms in the ecology of l- guage. I aim to use logical techniques to analyze the meanings of metaphors. My goal here is to show how contemporary formal semantics can be extended to handle metaphorical utterances. What distinguishes this work is that it focuses intensely on the logical aspects of metaphors. I stress the role of logic in the generation and int- pretation of metaphors. While I don't presuppose any formal training in...
1. Metaphors and Logic Metaphors are among the most vigorous offspring of the creative mind; but their vitality springs from the fact that they are lo...
The subject of the present inquiry is the approach-to-the-truth research, which started with the publication of Sir Karl Popper's Conjectures and Refutations. In the decade before this publication, Popper fiercely attacked the ideas of Rudolf Carnap about confirmation and induction; and ten years later, in the famous tenth chapter of Conjectures he introduced his own ideas about scientific progress and verisimilitude (cf. the quotation on page 6). Abhorring inductivism for its apprecia tion of logical weakness rather than strength, Popper tried to show that fallibilism could serve the purpose...
The subject of the present inquiry is the approach-to-the-truth research, which started with the publication of Sir Karl Popper's Conjectures and Refu...
In the book If Tropes, the author attempts to approach and then deal with some of the most basic problems for a theory of tropes. The investigation proceeds from three basic assumptions: (i) tropes (i.e. particular properties) exist, (ii) only tropes exist (that is, tropes are the only basic or fundamental kind of entities), and (iii) the main-function for tropes is to serve as truth-makers for atomic propositions.
Provided that one accepts these assumptions the author finds that the trope-theorist will have to deal with two important matters. Some atomic...
In the book If Tropes, the author attempts to approach and then deal with some of the most basic problems for a theory of tropes. ...
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer.
The book will be of primary interest to logicians,...
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logi...
In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science. Within this paradigm she gives an account of sciences as process and product. She expounds the "received statement" and the "non-statement" views of science, and shows how the model-theoretic approach resolves the spurious tension between these views. In this endeavour she also engages the views of a number of contemporary philosophers of science with affinity to model theory. This text can be read by specialists working in philosophy of science or...
In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science. Within th...
In this book, Veikko Rantala makes a systematic attempt to understand cognitive characteristics of translation by bringing its logical, pragmatic and hermeneutic features together and examining a number of scientific, logical, and philosophical applications. The notion of translation investigated here is called explanatory, but it is not a translation in the standard sense of the word since it admits of conceptual change. Such translations can take various degrees of precision, and therefore they can occur in contexts of different kinds: from everyday discourse to literary texts to...
In this book, Veikko Rantala makes a systematic attempt to understand cognitive characteristics of translation by bringing its logical, pragmatic and ...
Willard Van Orman Quine (1908-2000) was probably the most influential American philosopher of the twentieth century. In Trading Ontology for Ideology Lieven Decock offers an insightful analysis of the development of Quine's ontological views from his first texts in the early thirties onwards. The importance of Quine's work in logic and set theory for his ontology is highlighted. Decock argues that the tenet of extensionalism is at least as important as naturalism, and assesses the relation between the two. The other focus of the work is the relation between ontology, i.e. what there is, and...
Willard Van Orman Quine (1908-2000) was probably the most influential American philosopher of the twentieth century. In Trading Ontology for Ideology ...
Husserl's "Logical Investigations" is designed to help students and specialists work their way through Husserl's expansive text by bringing together in a single volume six self-contained, expository yet critical essays, each the work of an international expert on Husserl's thought and each devoted to a separate Logical Investigation.
Husserl's "Logical Investigations" is designed to help students and specialists work their way through Husserl's expansive text by bringing togethe...
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert s program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of...
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the ...
