The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

This paper discusses the distinctions indicated in its title. It is argued that the distinction between syntax and semantics is much more important for the present situation in logic than other distinctions. In particular, doing formal syntax and formal semantics requires the use of an informal melanguage based on ordinary mathematics.

In this article, I will examine St. Edith Stein’s theory of religious language. Stein, who was both a professional philosopher and a mystic, and deeply rooted both in the tradition of negative theology and early phenomenology, held a peculiar version of univocity with regard to religious language. On the one hand, our concepts have something objectively in common with the thing they signify. On the other hand, our concepts are merely representations of the real. Therefore, when mystics say that God (...) can be addressed “without words or images,” this does not entail anti-realism or non-cognitivism. Instead, according to Stein, this only means that words are not needed when the thing itself is present without mediation in the mystical experience. (shrink)

By way of a close reading of Boole and Frege’s solutions to the same logical problem, we highlight an underappreciated aspect of Boole’s work—and of its difference with Frege’s better-known approach—which we believe sheds light on the concepts of ‘calculus’ and ‘mechanization’ and on their history. Boole has a clear notion of a logical problem; for him, the whole point of a logical calculus is to enable systematic and goal-directed solution methods for such problems. Frege’s Begriffsschrift, on the other hand, (...) is a visual tool to scrutinize concepts and inferences, and is a calculus only in the thin sense that every possible transition between sentences is fully and unambiguously specified in advance. While Frege’s outlook has dominated much of philosophical thinking about logical symbolism, we believe there is value—particularly in light of recent interest in the role of notations in mathematics and logic—in reviving Boole’s idea of an intrinsic link between, as he put it, a ‘calculus’ and a ‘directive method’ to solve problems. (shrink)

I argue that Husserl’s transcendental account of the role of the lived body in sense-making is a precursor to Alva Noë’s recent work on the enactive, embodied mind, specifically his notion of “sensorimotor knowledge” as a form of embodied sense-making that avoids representationalism and intellectualism. Derrida’s deconstructive account of meaning—developed largely through a critique of Husserl—relies on the claim that meaning is structured through the complication of the “interiority” of consciousness by an “outside,” and thus might be thought to lend (...) itself to theories of mind such as Noë’s that emphasize the ways in which sense-making occurs outside the head. But while Derrida’s notion of “contamination” rightly points to an indeterminateness of meaning in an outside, extended, concrete lived world, he ultimately reduces meaning to a structure of signification. This casts indeterminateness in terms of absence, ignoring the presence of non-linguistic phenomena of embodied sense-making central to both the contemporary enactivist program and to the later Husserl, who is able to account for the indeterminateness of meaning in lived experience through his distinction between sense and more exact linguistic meaning. Husserl’s transcendental theory of meaning also allows for a substantive contribution to sense-making from the side of the perceived object—an aspect missing from Noë’s account. Thus, in contrast to Derrida and to Noë, Husserl accounts for sense-making in terms of both the lived body and the lived world. (shrink)

This article develops a new perspective on theism that makes the simple juxtaposition of theism and atheism problematic, and helps bridge philosophy of religion and the empirical study of religious phenomena. The basic idea is developed inspired by Terrence Deacon's book Incomplete Nature and its description of “ententional” phenomena, together with some ideas from the cognitive science of religion, especially those related to agency and “theological correctness.” It is argued that God should not be understood as a “homunculus” that stops (...) an otherwise infinite regress of arguments. (shrink)

One of the many research projects of Jaakko Hintikka was entitled “Logical tools for human thinking and their history”. This is in fact an apt summary of the lifetime work of this master logician who developed several new methods and systems in mathematical and philosophical logic, among them distributive normal forms, model sets, possible-worlds semantics, epistemic logic, doxastic logic, inductive logic, semantic information, game-theoretical semantics, interrogative approach to inquiry, and independence-friendly logic. He applied them to study problems in philosophy of (...) language, formal epistemology, and philosophy of science. He combined systematic work with novel interpretations of important historical figures like Aristotle, Leibniz, Kant, Peirce, and Wittgenstein. Hintikka was one of the most cited analytic philosophers, and he influenced logic and philosophy also as a successful teacher and the long-time editor of the journal Synthese. (shrink)

Since its publication in 1967, van Heijenoort’s paper, “Logic as Calculus and Logic as Language” has become a classic in the historiography of modern logic. According to van Heijenoort, the contrast between the two conceptions of logic provides the key to many philosophical issues underlying the entire classical period of modern logic, the period from Frege’s Begriffsschrift (1879) to the work of Herbrand, Gödel and Tarski in the late 1920s and early 1930s. The present paper is a critical reflection on (...) some aspects of van Heijenoort’s thesis. I concentrate on the case of Frege and Russell and the claim that their philosophies of logic are marked through and through by acceptance of the universalist conception of logic, which is an integral part of the view of logic as language. Using the so-called “Logocentric Predicament” (Henry M. Sheffer) as an illustration, I shall argue that the universalist conception does not have the consequences drawn from it by the van Heijenoort tradition. The crucial element here is that we draw a distinction between logic as a universal science and logic as a theory. According to both Frege and Russell, logic is first and foremost a universal science, which is concerned with the principles governing inferential transitions between propositions; but this in no way excludes the possibility of studying logic also as a theory, i.e., as an explicit formulation of (some) of these principles. Some aspects of this distinction will be discussed. (shrink)

The world of philosophy can perhaps be seen as a microcosm of the world at large. In the course of the last few decades, the world has seen the collapse of the communist system of Russia, a major crisis of the free market economy in the USA, Europe and Japan, and massive economic changes in China. One perspective on contemporary philosophical research is reached by asking what crises the major philosophical traditions, if not literally “systems”, are likewise undergoing and what (...) can be done to find a road ahead. What might a “stimulus package” for philosophy be like (except for inevitably being controversial)? (shrink)

Few have entertained the idea that Georg Cantor, the creator of set theory, might have influenced Edmund Husserl, the founder of the phenomenological movement. Yet an exchange of ideas took place between them when Cantor was at the height of his creative powers and Husserl in the throes of an intellectual struggle during which his ideas were particularly malleable and changed considerably and definitively. Here their writings are examined to show how Husserl's and Cantor's ideas overlapped and crisscrossed in the (...) areas of philosophy and mathematics, arithmetization, abstraction, consciousness and pure logic, psychologism, metaphysical idealism, new numbers, and sets and manifolds. (shrink)

Responding to claims to the contrary, this essay shows how liberal education, the education of critical exposure, indoctrinates students into a style of belief and belief formation. It argues that a common liberal view about what constitutes freedom from indoctrination is precisely the form of indoctrination feared by many conservative communitarians. While I support the style and procedures of liberal education, I argue that we cannot excise all indoctrinating components from it by semantic, logical or epistemic analyses of what indoctrination (...) or education means. (shrink)

This paper discusses Jean van Heijenoort’s (1967) and Jaakko and Merrill B. Hintikka’s (1986, 1997) distinction between logic as auniversal language and logic as a calculus, and its applicability to Edmund Husserl’s phenomenology. Although it is argued that Husserl’s phenomenology shares characteristics with both sides, his view of logic is closer to the model-theoretical, logic-as-calculus view. However, Husserl’s philosophy as transcendental philosophy is closer to the universalist view. This paper suggests that Husserl’s position shows that holding a model-theoretical view of (...) logic does not necessarily imply a calculus view about the relations between language and the world. The situation calls for reflection about the distinction: It will be suggested that the applicability of the van Heijenoort and the Hintikkas distinction either has to be restricted to a particular philosopher’s views about logic, in which case no implications about his or her more general philosophical views should be inferred from it; or the distinction turns into a question of whether our human predicament is inescapable or whether it is possible, presumably by means of model theory, to obtain neutral answers to philosophical questions. Thus the distinction ultimately turns into a question about the correct method for doing philosophy. (shrink)

Contemporary philosophy of technology after the empirical turn has surprisingly little to say on the relation between language and technology. This essay describes this gap, offers a preliminary discussion of how language and technology may be related to show that there is a rich conceptual space to be gained, and begins to explore some ways in which the gap could be bridged by starting from within specific philosophical subfields and traditions. One route starts from philosophy of language (both ‘‘analytic’’ and (...) ‘‘continental’’: Searle and Heidegger) and discusses some potential implications for thinking about technology; another starts from artefact-oriented approaches in philosophy of technology and STS and shows that these approaches might helpfully be extended by theorizing relationships between language and techno- logical artefacts. The essay concludes by suggesting a research agenda, which invites more work on the relation between language and technology. (shrink)

RESUMENEn el presente trabajo tiene como fin exponer la función de la reflexión en la propuesta hermenéutica de Hans Georg Gadamer. Para ello se mostrará la opacidad trascendental que muestran los términos de «lenguaje» e «historia» como condiciones de posibilidad de la comprensión. Esto tiene como fin descubrir que la hermenéutica de Gadamer se estructura a partir de una semántica inefable y de una doble dimensión del lenguaje donde la reflexión crítica se sitúa como eje del diálogo hermenéutico a partir (...) de la dialéctica de la pregunta y respuesta.PALABRAS CLAVEGADAMER, OPACIDAD TRASCENDENTAL, DIALÉCTICA DE LA PREGUNTA Y RESPUESTA, SEMÁNTICA INEFABLE, REFLEXIÓN HERMENÉUTICAABSTRACTThis paper aims to present the function of reflection in the hermeneutic proposal of Hans-Georg Gadamer showing the transcendental opacity inherent to the terms «language» and «history» as conditions of possibility for understanding. Our objective is to demonstrate that the hermeneutic of Gadamer is framed on the basis of indescribable semantics and a double dimension of language in which critical reflection constitutes the axis of the hermeneutic dialogue based on the question-answer dialectics.KEYWORDSGADAMER, TRASCENDENTAL OPACITY, DIALECTIC OF THE QUESTION AND ANSWER, INDESCRIBABLE SEMANTICS, HERMENEUTIC REFLECTION. (shrink)

RESUMENA partir de las problemáticas desarrolladas por Charles Taylor y su explí­cita adhesión al programa gadameriano de la hermenéutica se intentará desarrollar la noción de fusión de horizontes con respecto a dos cuestiones inherentes a ella. Por un lado el papel que cumple en el entendimiento entre esquemas comprensivos diferentes; y por otro lado, la ambigüedad del carácter de la misma fusión. Esto en referencia a lo siguiente: o bien se trata de la fusión de horizontes distintos o bien se (...) trata de una fusión interna en un solo horizonte, con lo cual lo primero resulta ser sólo una mera apariencia.PALABRAS CLAVEHERMENÉUTICA, GADAMER, FUSIÓN DE HORIZONTES, ALTERIDADABSTRACTIn this paper I analyse Charles Taylor’s notion of horizons fusion, which comes from Gadamer’s Hermeneutics (as Taylor avows). Two problems are discussed: on the one hand, the role of this notion regarding the understanding between different comprehensive schemes and, on the other hand the ambiguity of fusion in itself, insofar as it can be seen either as the fusion of different horizons, or as an internal fusion in the context of one horizon. Thus the first possibility becomes a mere appearance.KEY WORDSHERMENEUTICS, GADAMER, HORIZONS FUSION, OTHERNESS. (shrink)

Resumen En este artículo propongo un análisis crítico de varias tendencias filosóficas contrarias al uso de la noción de verdad en el ámbito epistemológico, especialmente la de Rorty. En particular, sostengo que la verdad es un concepto clave para el estudio del conocimiento, especialmente el científico, en cuanto toma una forma concisa en los procedimientos experimentales de carácter probatorio-empírico. Gracias a este enfoque, busco socavar varias tesis de los enfoques de la ‘posverdad’ por medio del uso de un conjunto de (...) procedimientos científicos de obtención de evidencias en varios campos vinculados a la disciplina práctica de la medicina.In thispaper, I present a critical analysis of several philosophical tendencies that go against the use of the notion of truth in epistemology, especially Rorty’s one. Particularly, I claim that truth is a key conceptfor the study of knowledge, especially the scientific knowledge, as it takes a concise form through the experimentalprocedures for eliciting evidences. With the help of this analysis, I seek to undermine some ‘post-truth’ theses by means of analyying some scientific procedures to get evidences in severalfields related to the practical discipline of medicine. (shrink)

This paper defends an interpretation of Husserl''s theory of language, specifically as it appears in the Logical Investigations, as an example of a larger body of theories dubbed ''language as calculus''. Although this particular interpretation has been previously defended by other authors, such as Hintikka and Kusch, this paper proposes to contribute to the discussion by arguing that what makes this interpretation plausible are Husserl''s distinction between the notions of meaning-intention and meaning-fulfillment, his view that meaning is instantiated through meaning-intending (...) acts of transcendental consciousness, and his view that the content of meaning-intending acts is ideal meaning simpliciter. As well, the paper argues that the phenomenological method of reduction itself presupposes the notion that reality as such can be reached by subtracting the influence of the language of the natural attitude and its ontological commitments and it, thus, presupposes the conception of language as a reinterpretable calculus. (shrink)

Husserl’s philosophy of mathematics, his metatheory, and his transcendental phenomenology have a sophisticated and systematic interrelation that remains relevant for questions of ontology today. It is well established that Husserl anticipated many aspects of model theory. I focus on this aspect of Husserl’s philosophy in order to argue that Thomasson’s recent pleonastic reconstruction of Husserl’s approach to essences is incompatible with Husserl’s philosophy as a whole. According to the pleonastic approach, Husserl can appeal to essences in the absence of a (...) positive metaphysical account of their nature. I show, using central results from recent model theory, that the pleonastic approach undermines Husserl’s approach to formalization and categoricity, an effect that will ripple out from Husserl’s philosophy of mathematics into Husserl’s metatheory and transcendental phenomenology. The result is that Husserl cannot appeal to formal essences without metaphysical commitments. However, the very observations Thomasson makes about the nature of eidetic intuition in Husserl lead to a general strategy for responding to the problem. The article thus illustrates that the pleonastic and the model-theoretic routes for making Husserl relevant to present-day ontology are competing approaches, but I conclude that Husserl scholars seeking to set Husserl’s present-day relevance into sharp relief could do worse than to emphasize the model-theoretic nature of Husserl’s enterprise. (shrink)

Ethnomethodology has been torn between scientific and "radical" aspirations insofar as it moves discoursive practices from resources to the topic of the study. Scientific ethnomethodology, such as conversation analysis, studies discoursive praxis as its topic and resource. Standard scientific criteria are accepted to assess the merits of its findings. "Radical" ethnomethodology addresses mundane reasoning exclusively as its topic without recourse to standardized science. I will show that insofar as "radical" ethnomethodology succeeds in bracketing everyday resources, it loses its phenomenon with (...) the very technical skills it uses for this task. This reconsideration enables the development of ethnomethodological social science. Key Words: conversation analysis • discoursive praxis • ethnomethodology • radical ethnomethodology • social studies of science. (shrink)

This volume portrays the Polish or Lvov-Warsaw School, one of the most influential schools in analytic philosophy, which, as discussed in the thorough introduction, presented an alternative working picture of the unity of science.

Like so many sciences, linguistics originated from philosophy's rib. It reached maturity and attained full independence only in the twentieth century (for example, it is a well-known fact that the first linguistics department in the UK was founded in 1944); though research which we would now classify as linguistic (especially leading to generalizations from comparing different languages) was certainly carried out much earlier. The relationship between philosophy and linguistics is perhaps reminiscent of that between an old-fashioned mother and her emancipated (...) daughter, and is certainly asymmetric. And though from philosophy's rib, empirical investigation methods have ensured that linguistics has evolved (just as in the case of the more famous rib) into something far from resembling the original piece of bone. Another side of the same asymmetry is that while linguistics focuses exclusively on language (or languages), for philosophy language seems less pervasive - philosophy of language being merely one branch among many. However, during the twentieth century this asymmetry was substantially diminished by the so called linguistic turn1, undergone by numerous philosophers – this turn was due to the realization that as language is the universal medium for our grasping and coping with the world, its study may provide the very key for all other philosophical disciplines. As for the working methods, we could perhaps picture the difference between a philosopher of language and a linguist by means of the following simile. Imagine two researchers both asked to investigate an unknown landscape. One hires a helicopter, acquires a birds-eye view of the whole landscape and draws a rough, but comprehensive map. The other takes a camera, a writing pad and various instruments, and walks around, taking pictures and making notes of the kinds of rocks, plants and animals which he finds. Whose way is the more reasonable? Well, one wants to say, neither, for they seem to be complementary.. (shrink)

The structure of this article is very simple. In the first half, I will introduce a sophisticated way of reading Heidegger as a relativist; I draw here on the work of Kusch and Lafont. In the second half, I present the counter-argument. As I see it, Heidegger is not a relativist; but understanding the relations between his approach and a relativistic one is crucial for an evaluation of both his own work and the broader trajectory of post-Kantian thought.

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (shrink)