It is common to characterize pain with touch-related terms, like ‘cutting’, ‘pressing’, ‘sharp’, and ‘pulsing’, or temperature-related terms, like ‘hot’ or ‘burning’. This suggests that many pains are phenomenally multimodal because they are experienced as having some tactile-like or thermal-like character. The goal of this chapter is to investigate the structure of phenomenally multimodal pain experiences. It is argued that the usual accounts of multimodal structure proposed in investigations regarding exteroceptive experiences cannot be plausibly applied to multimodal experiences of pain. (...) Instead, an alternative framework is proposed which characterizes the structure of tactile-like and thermal-like pains by referring to the notion of crossmodal correspondences. (shrink)

This review covers experimental approaches to sound-symbolism—from infants to adults, and from Sapir’s foundational studies to twenty-first century product naming. It synthesizes recent behavioral, developmental, and neuroimaging work into a systematic overview of the cross-modal correspondences that underpin iconic links between form and meaning. It also identifies open questions and opportunities, showing how the future course of experimental iconicity research can benefit from an integrated interdisciplinary perspective. Combining insights from psychology and neuroscience with evidence from natural languages provides us (...) with opportunities for the experimental investigation of the role of sound-symbolism in language learning, language processing, and communication. The review finishes by describing how hypothesis-testing and model-building will help contribute to a cumulative science of sound-symbolism in human language. (shrink)

Intermodal representationalists hold that the phenomenal characters of experiences are fully determined by their contents. In contrast, intramodal representationalists hold that the phenomenal characters of experiences are determined by their contents together with their intentional modes or manners of representation, which are nonrepresentational features corresponding roughly to the sensory modalities. This paper discusses a kind of experience that provides evidence for an intermodal representationalist view: intermodal experiences, experiences that unify experiences in different modalities. I argue that such experiences are much (...) easier to explain on the intermodal view. (shrink)

What kinds of mental states can be based on epistemic reasons? The standard answer is only beliefs. I argue that perceptual states can also be based on reasons, as the result of crossmodal interactions. A perceptual state from one modality can provide a reason on which an experience in another modality is based. My argument identifies key markers of the basing relation and locates them in the crossmodal Marimba Illusion (Schutz & Kubovy 2009). The subject’s auditory experience of (...) musical tone duration is based on the reason provided by her visual representation of the length of the musician’s gesture and other stored perceptual principles. (shrink)

In crossmodal identification, a subject token identifies an item perceived in one sensory modality with an item perceived in another sensory modality. Does crossmodal identification always occur in cognition, or does crossmodal identification sometimes take place in perception? This paper argues that crossmodal identification occurs in cognition, and not in perception. Nevertheless, multisensory perception is not unalive to crossmodal identity. Experimental evidence demonstrates that perception is differentially sensitive to the identity of individuals presented to distinct (...) senses. Such sensitivity enhances recognition and improves action. This approach relies on distinguishing crossmodal identification from perceiving crossmodal identity. Perception registers crossmodal identity, but crossmodal identification as such belongs to thought. (shrink)

We can discern two opposing viewpoints regarding synesthesia. According to the first, it is an oddity, an outlier, or a disordered condition. According to the second, synesthesia is pervasive, driving creativity, metaphor, or language itself. Which is it? Ultimately, I favor the first perspective, according to which cross-sensory synesthesia is an outlying condition. But the second perspective is not wholly misguided. My discussion has three lessons. First, synesthesia is just one of a variety of effects in which one sense modality (...) causally impacts and reshapes experience associated with another. These effects are utterly common. However, due to their unfamiliarity, and to their conflict with a widespread conception of the role of the senses in perception and perceptual experience, until recently they have been surprising. Second, synesthesia nevertheless must be distinguished from other inter-modal effects that lead to misperception, such as crossmodal illusions. Third, synesthesia also may be distinguished from the potentially much broader class of synesthetic effects, which could be common across the population and within individuals. (shrink)

A comprehensive look at the kinds of correspondence principle in physics.

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting natural (...) deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

We discuss the fate of the correspondence principle beyond quantum mechanics, specifically in quantum field theory and quantum gravity, in connection with the intrinsic limitations of the human ability to observe the external world. We conclude that the best correspondence principle is made of unitarity, locality, proper renormalizability (a refinement of strict renormalizability), combined with fundamental local symmetries and the requirement of having a finite number of fields. Quantum gravity is identified in an essentially unique way. The gauge interactions are (...) uniquely identified in form. Instead, the matter sector remains basically unrestricted. The major prediction is the violation of causality at small distances. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets the correspondence (...) intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual object.

In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...) \SQEMA\ where that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension \SSQEMA\ we prove correctness for a large class of modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version of Lyndon's monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted versions of \SSQEMA\ which guarantee canonicity, too. (shrink)

Many philosophers think truthmaker theory offers a correspondence theory of truth. Despite the similarities, however, this identification cannot be correct. Truthmaker theory offers no theory of truth, nor can it be employed to offer an acceptable substantive theory of truth. Instead, truthmaker theory takes truth for granted. Though truthmaker theory is not a correspondence theory, it shares with it the same motivational basis—that truth is worldly—and better accounts for what is pre-theoretically compelling about correspondence theories. As a result, those at (...) all attracted to correspondence theory (including many deflationists) should reject it and accept truthmaker theory instead. (shrink)

Although the controversy between Malthus and Ricardo has long been considered to be an important source for the history of economic thought, it has hardly been the object of a careful study qua controversy, i.e. as a polemical dialogical exchange. We have undertaken to fill this gap, within the framework of a more ambitious project that places controversies at the center of an account of the history of ideas, in science and elsewhere. It is our contention that the dialogical co-text (...) is essential for reconstructing the meaning and the evolution of science. In the present paper we try to substantiate this contention by means of a pragma-rhetorical study of this particular controversy. First, we reconstruct, through an analysis of a chunk of the correspondence, a micro-level of specific moves and countermoves which constitute a sequential structure within which also meta-scientific and meta-controversial considerations play a role. We then move to a macro-level of analysis, looking for recurrent patterns of argumentation. Finally, we draw epistemological conclusions on the nature of rationality and progress as manifested in actual scientific controversies. (shrink)

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...) the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

Recently we proposed "quantum language" (or, the linguistic Copenhagen interpretation of quantum mechanics"), which was not only characterized as the metaphysical and linguistic turn of quantum mechanics but also the linguistic turn of Descartes=Kant epistemology. We believe that quantum language is the language to describe science, which is the final goal of dualistic idealism. Hence there is a reason to want to clarify, from the quantum linguistic point of view, the following problems: "brain in a vat argument", "the Cogito proposition", (...) "five-minute hypothesis", "only the present exists", "Copernican revolution", "McTaggart's paradox", and so on. In this paper, these will be discussed and clarified in quantum language. That is, these are not in quantum language. Also we emphasize that Leibniz's relationalism in Leibniz-Clarke correspondence is regarded as one of the most important parts of the linguistic Copenhagen interpretation of quantum mechanics. This paper is the revised version of the paper: Open Journal of Philosophy, 2018 Vol.8, No.5, 466-480). (shrink)

The paper delineates a new approach to truth that falls under the category of “Pluralism within the bounds of correspondence”, and illustrates it with respect to mathematical truth. Mathematical truth, like all other truths, is based on correspondence, but the route of mathematical correspondence differs from other routes of correspondence in (i) connecting mathematical truths to a special aspect of reality, namely, its formal aspect, and (ii) doing so in a complex, indirect way, rather than in a simple and direct (...) way. The underlying idea is that an intricate mind is capable of creating intricate routes from language to reality, and this enables it to apply correspondence principles in areas for which correspondence is traditionally thought to be problematic. (shrink)

This paper presents a more clear formulation of the correspondence principle and explores its justification.

We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Conventional wisdom holds that the von Neumann entropy corresponds to thermodynamic entropy, but Hemmo and Shenker (2006) have recently argued against this view by attacking von Neumann's (1955) argument. I argue that Hemmo and Shenker's arguments fail due to several misunderstandings: about statistical-mechanical and thermodynamic domains of applicability, about the nature of mixed states, and about the role of approximations in physics. As a result, their arguments fail in all cases: in the single-particle case, the finite particles case, and the (...) infinite particles case. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

Many similarities and correspondences are found in Jewish mysticism (Kabbalah) and Hindu mysticism (Vedanta-Advaita). In both traditions, the ultimate goal is to experience communion with a Divine Source. To reach this level of transcendence, each system speaks of an individualized soul with three characteristics that merge with a Godhead. Through deep meditative practices, the soul experiences a divine influx of the Infinite. The Hindu Upanishads and the Jewish Zohar speak of similar methodologies for achieving a mystical experience. Vedantin Adi (...) Shankara and Kabbalist Abraham Abulafia created esoteric systems for advancing mystical practices. Additionally, metaphysical beliefs on Being and Non-Being are comparable in both traditions. The cyclical nature of universes and transmigration of souls offer a unified theory of microcosm and macrocosm. Throughout the centuries, spiritual leaders contributed new knowledge to cosmology, esoteric interpretations, and daily practices for attaining higher consciousness. The contextual evolution of Vedanta and Kabbalah has been corroborated and finds support in modern scholarly discourse. Conclusions are offered on the benefits of mystical experiences including assimilation of wisdom, achieving transcendence, and living in a continual state of illumination. (shrink)

Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG are illustrated, using examples (...) from specific QG approaches. Reduction is argued to be a special case of correspondence, and to form part of the definition of QG. Finally, the appropriate account of emergence in the context of QG is presented, and compared to conceptions of emergence in the broader philosophy literature. It is argued that, while emergence is likely to hold between QG and general relativity, emergence is not part of the definition of QG, and nor can it serve usefully in the development and justification of the new theory. (shrink)

In recent work, Robert Brandom has articulated important connections between the deontic normative statuses of entitlement and commitment and the alethic modal statuses of possibility and necessity. In this paper, I articulate an until now unexplored connection between Brandom’s core normative statuses of entitlement and commitment and the agentive modal statuses of ability and compulsion. These modals have application not only in action, but also in perception and inference, and, in both of these cases, there is a direct mapping between (...) the normative statuses that one bears towards various claims, articulated from the perspective of the attributor of commitments and entitlements, and the agentive modal statuses that one bears towards various judgments, articulated from the perspective of the undertaker of commitments. I will highlight this correspondence, focusing on the case of perception, and show how it sheds light on the account of mindedness that emerges from Brandom’s theory of discursive practice. (shrink)

Russell corresponded with Sir Michael Dummett (1925–2011) between 1953 and 1963 while the latter was working on a book on Frege, eventually published as Frege: Philosophy of Language (1973). In their letters they discuss Russell’s correspondence with Frege, translating it into English, as well as Frege’s attempted solution to Russell’s paradox in the appendix to vol. 2 of his Grundgesetze der Arithmetik. After Dummett visited the University of Münster to view Frege’s Nachlaß, he sent reports back to Russell concerning both (...) the philosophical materials Frege left behind, as well as information from Frege’s journal revealing his anti-semitic political opinions. Their interaction contains interpretive conjectures and insights on Dummett’s side, and some dark humor on Russell’s. (shrink)

A supplement to "Metaphysics and Convention in Dimensional Analysis, 1914-1917" in HOPOS. Includes a transcription of the correspondence along with an editorial introduction and expository notes.

This research offers a concise analysis of leisure science, leisure studies, and the concept of leisure space-time. It explores the interdisciplinary nature of leisure science, drawing from psychology, sociology, and economics. The research article of corresponding report writing on desk examines leisure studies that contribute to understanding individual and societal leisure behaviors, motivations, and benefits. Additionally, it delves into the notion of leisure space-time, investigating the design and utilization of spaces for leisure activities. This research provides valuable insights into the (...) multifaceted realm of leisure, shedding light on its significance in contemporary society. (shrink)

At the very beginning of On Interpretation (I, 1, 16a3-14) Aristotle distinguishes four levels and discusses their relationships. From this text, we can infer the following: 1. There are four levels: writing, speaking, mental experience and external world. Since writing and speaking can truly be taken as belonging to the same realm, we can reduce Aristotle’s distinction to three realms: language, thought and external world. 2. The realm of language, in both levels of writing and speaking, is different for different (...) people but both of the other realms of thought and external world are the same for them. By this Aristotle must mean that though people of different languages have different writings and speaking words, the things that are in the world and their affections on people’s thought are the same. 3. The relations both between language and thought and in language itself is symbolization: ‘Spoken words are the symbols of mental experience and written words are the symbols of spoken words.’ 4. The relation between external world and thought is similarity: ‘Those things of which our mental experiences are similarities (παθἠματα τῆς ψυχῆς ... ὁμοιώματα).’ (ΟΙ., 16a7) In de Anima (16a8-9; II, 5, 418a4-5; II, 4, 429a10-11; 429a13-16; 429a23) Aristotle describes thoughts as ‘likenesses of objects.’ Paolo Crivelli says that in these addresses Aristotle believe that ‘a thought is of an object just if it is a likeness of it’ and ‘to be a likeness of an object is to be the result of a process of likening of which that object is a cause.’ This, Crivelli believes, is indeed the basis of the sameness of the objects of thoughts: they are results of the same processes of likening by the same objects. 5. There is a correspondence between nouns and verbs on the one hand and objects of thought without co-positing and positing away on the other hand: ‘Nouns themselves and verbs are like objects of thought (νοἠματι) without co-positing and positing away.’ (OI, I, 1, 16a13-14) A. Relationship between external world and thought The following can be inferred from Aristotle’s works about the relationship between thought and external world: 1. ‘The soul is in a way all existing things; for existing things are either sensible or thinkable, and knowledge is in a way what is knowable, and sensation is in a way what is sensible.’ (So., Γ, 8, 431b21-23) In fact, ‘within the soul the faculties of knowledge and sensation are potentially these objects, the one what is knowable, the other what is sensible.’ (So., Γ, 8, 431b26-27) 2. It is the form of the external objects that are in thought (So., Γ, 8, 431b26-29) and the objects of thought are in the sensible forms, viz. both the abstract objects and all the states and affections of sensible things (ἐν τοῖς εἴδεσι τοῖς αἰσθητοῖς τὰ νοητὰ ἐστι, τά τε ἐν ἀφαιρέσει λεγόμενα, καὶ ὃσα τῶν αἰσθητῶν ἓξις καὶ πάθη). (So., Γ, 8, 432a3-6) 3. While external objects are perishable, objects of thought seem to be eternal. (PrA., A, 33, 47b21-22) B. Relationship between language and the external world 1. There is a correspondence between the external world and the true statements about them: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition is true, it will of necessity not be white.’ (OI, I, 9, 18a39-b5) 2. While external objects ‘does seem in some way the cause of’ the truth or falsity of lingual statements, ‘the true statement is in no way the cause of the actual thing’s existence.’ (Cat., 12, 14b18-22; cf. OI, I, 9, 18b36-19a6) Thus, the external objects reciprocate as to implication of existence with the corresponding true statement about them and thus are prior to them.’ (Cat., 12, 14b11-23) 3. The opposition between an affirmation and negation corresponds to an opposition in the external world between the objects underlying those statements. (Cat., 10, 12b6-15) 4. The correspondence of the whole structure of the external world and language for Aristotle is so that in analyzing the language he shows himself as analyzing the external world. It is in fact a very crucial and controversial dispute whether Aristotle’s philosophy in its very decisive parts is theorizing about language or about external world. In most of his important theories, he begins with discussing language. In fact, language is where he enters the discussion and, in many cases, where he finishes it. In these cases, he either does not discuss external world at all or only derives some principles or conclusions about it. In some other cases he begins from language but ends in external world. a) Daniel W. Graham thinks that language is Aristotle’s ‘model of the world.’ He refers to ‘subjecthood’ as what formally characterizes primary substance and explains how it bases reality in Aristotle: while to be an absolute subject is equal to be fully real, to be a predicate of a subject is equal to be real. ‘Language is not merely a tool to get around in the world; it reveals the structure of the world … the deep structure of language is isomorphic with the world… In this word, logic can reveal connections between elements because language and the world have a form in common. He lists Trendelenburg (1846, 11-13), Gillespie (1925) and (Ackrill (1963, 78-81) as those who have the same idea. b) Emphasizing on the force of τί in Aristotle’s statement when he says that assertions affirm something (τί) of something (τί) makes Peter Simpson (p. 85) to stress, in his interpretation of Jacob’s theory, on the ontological aspect of Aristotle’s philosophy. Jacob says that in his theory of predication, Aristotle focuses on ‘things’ and not words or concepts and predication is a relationship between extralinguistic entities rather than merely linguistic ones; something extralinguistic and ontological. c) Quoting Ackrill ((1963, 73): ‘the categories classify things, not words’) and Kahn ((1978, 248): ‘Aristotle never regards predication as a grammatical or linguistic relation of word to word, nor does he ever speak of subject and predicate as concepts united in judgment’), Fabio Morales says that Aristotle is not classifying predication in Categories but the attributes or properties these stand for.’ d) Graham thinks that the theory of synonymity-homonimity is not purely linguistic, since it is things rather than words that have these properties. (shrink)

I want to show that truth is an important concept, and that it can be explained. However, we must deal with what are called ‘deflationist’ concepts of truth first. Deflationism is the view that there is nothing more to be said about truth once a semantic theory for the truth-predicate (such as Tarski's) has been provided.

An audiovisual correspondence (AVC) refers to an observer’s seemingly arbitrary yet consistent matching of sensory features across the two modalities; for example, between an auditory pitch and visual size. Research on AVCs has frequently used a speeded classification procedure in which participants are asked to rapidly classify an image when it is either accompanied by a congruent or an incongruent sound (or vice versa). When, as is typically the case, classification is faster in the presence of a congruent stimulus, researchers (...) have inferred that the AVC is automatic and bottom-up. Such an inference is incomplete because the procedure does not show that the AVC is not subject to top-down influences. To remedy this problem, we devised a procedure that allows us to assess the degree of “bottom-up-ness” and “top-down-ness” in the processing of an AVC. We did this in studies of AVCs between pitch and five visual features: size, height, spatial frequency, brightness, and angularity. We find that all the AVCs we studied involve both bottom-up and top-down processing, thus undermining the prevalent generalization that AVCs are automatic. (shrink)

This paper introduces an exact correspondence between a general class of stochastic systems and quantum theory. This correspondence provides a new framework for using Hilbert-space methods to formulate highly generic, non-Markovian types of stochastic dynamics, with potential applications throughout the sciences. This paper also uses the correspondence in the other direction to reconstruct quantum theory from physical models that consist of trajectories in configuration spaces undergoing stochastic dynamics. The correspondence thereby yields a new formulation of quantum theory, alongside the Hilbert-space, (...) path-integral, and quasiprobability formulations. In addition, this reconstruction approach opens up new ways of understanding quantum phenomena like interference, decoherence, entanglement, noncommutative observables, and wave-function collapse. (shrink)

My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.

Cet article est consacré au problème du rapport entre l’entrelacement des genres (συμπλοκὴ τῶν εἰδῶν) et le logos dans le Sophiste. Après avoir brièvement présenté le problème, je discute, dans la première partie, différentes solutions proposées par les commentateurs. Je cherche à montrer qu’aucune de ces solutions n’est pleinement satisfaisante. Dans la deuxième partie, je propose une nouvelle solution au problème de la συμπλοκὴ τῶν εἰδῶν fondée sur une distinction entre deux types de logos, le logos dialectique et le logos (...) doxique. Dans la troisième partie, je cherche à justifier textuellement cette solution en recourant à la fois au texte du Sophiste lui-même et à la dernière partie du Théétète. Dans ma conclusion, je suggère que la distinction entre logos dialectique et logos doxique correspond à une différence qui traverse toute l’œuvre de Platon, à savoir la différence entre connaissance et opinion. / This paper deals with the problem of the συμπλοκὴ τῶν εἰδῶν in the Sophist. In the first part, after a brief presentation of this problem, I discuss different solutions which have been proposed in the recent literature. I try to show that none of them is entirely satisfying. In the second part, I propose and explain a new solution based on a distinction between two types of logos : dialectical logos and doxastic logos. In the third part, I try to justify this solution on the basis of some passages of the Sophist and of the final part of the Theaetetus. To conclude, I suggest that the distinction between dialectical logos and doxasticlogos matches the difference between knowledge and belief made by Plato in his dialogues. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

The correspondence principle made of unitarity, locality and renormalizability has been very successful in quantum field theory. Among the other things, it helped us build the standard model. However, it also showed important limitations. For example, it failed to restrict the gauge group and the matter sector in a powerful way. After discussing its effectiveness, we upgrade it to make room for quantum gravity. The unitarity assumption is better understood, since it allows for the presence of physical particles as well (...) as fake particles (fakeons). The locality assumption is applied to an interim classical action, since the true classical action is nonlocal and emerges from the quantization and a later process of classicization. The renormalizability assumption is refined to single out the special role of the gauge couplings. We show that the upgraded principle leads to an essentially unique theory of quantum gravity. In particular, in four dimensions, a fakeon of spin 2, together with a scalar field, is able to make the theory renormalizable while preserving unitarity. We offer an overview of quantum field theories of particles and fakeons in various dimensions, with and without gravity. (shrink)

Pragmatists are usually very antagonistic toward the correspondence theory of truth. They contend that the evidence-transcendent standard entailed by the theory is antithetical to the pragmatist methodology of elucidating concepts by exposing their practical bearings. What use could truth be to us if it offers a target we cannot even see? After judging the correspondence theory to be in violation of the Pragmatic Maxim, the pragmatist is prone to banishing it to the wastelands of empty metaphysics, where nothing of practical (...) importance could ever grow. This article makes the case that this unjust condemnation must be appealed and overturned. The ground for my case is an argument to the effect that the correspondence conception of truth can be practically advantageous, which provides proof of the fact that, contrary to popular pragmatist belief, the correspondence theory does comply with the Pragmatic Maxim. (shrink)

When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.

Torricelli elaborated the theory of ballistics as part of Galileo's theory of motion. In 1647 he had an interesting exchange of letters with G. B. Renieri, from Genoa, who complained that some experiments he had made with guns contradicted Galileo's theory. The correspondence discloses some fundamental issues of the Seventeenth century Scientific Revolution, the main one being to what extent mathematics can be applied to physics. Torricelli's view on this issue is ambivalent. He defends Galileo's kinematics as the correct description (...) of reality yet says that mathematics does not describe reality. It is suggested that this ambivalence is an outcome of the climate of uncertainty which followed Galileo's trial. (shrink)

Nearly every common theory of truth has been attributed to Nietzsche, while some commentators have argued that he simply has no theory of truth. This essay argues that Nietzsche's remarks on truth are best situated within either the coherence or pragmatist theories of truth rather than the correspondence theory. Nietzsche's thoughts on truth conflict with the correspondence framework because he believes that the truth conditions of propositions are constitutively dependent on our actions.

LEIBNIZ AND THE TWO SOPHIES is a critical edition of all of the philosophically important material from the correspondence between the philosopher Gottfried Wilhelm Leibniz (1646-1716) and his two royal patronesses, Electress Sophie of Hanover (1630-1714), and her daughter, Queen Sophie Charlotte of Prussia (1668-1705). In this correspondence, Leibniz expounds in a very accessible way his views on topics such as the nature and operation of the mind, innate knowledge, the afterlife, ethics, and human nature. The correspondence also contains the (...) only known philosophical writings by Sophie and Sophie Charlotte, and thus provides a valuable insight into their views and concerns, as well as throwing light on their characters. The texts are accompanied by a substantial introductory essay which sets the context for the correspondence and analyzes its main philosophical themes. (shrink)

I examine the (mediated) correspondence between Spinoza and Robert Boyle concerning the latter’s account of fluidity and his experiments on reconstitution of niter in the light of the epistemology and doctrine of method contained in the Treatise on the Emendation of the Intellect. I argue that both the Treatise and the correspondence reveal that for Spinoza, the proper method of science is not experimental, and that he accepted a powerful under-determination thesis. I argue that, in contrast to modern versions, Spinoza’s (...) form of naturalism was a highly rationalist and anti-empirical one. I conclude with a brief account of the value of experience and experimentation for Spinoza’s scientific method. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

En este trabajo realizo un examen crítico del reciente libro de Silvana Gabriela Di Camillo sobre la crítica de Aristóteles a la teoría platónica de las Ideas. El libro de Di Camillo es un trabajo muy serio cuya lectura recomiendo ampliamente. Sin embargo, considero que cuatro de las principales tesis que la autora defiende tienen varias dificultades y mi objetivo aquí es presentar argumentos detallados en contra de ellas: la interpretación de la distinción entre argumentos más y menos rigurosos del (...) tratado Sobre las Ideas; la tesis de que la separación es el blanco esencial de las críticas aristotélicas a las Ideas; la interpretación de las opciones que Platón tiene para responder al argumento del tercer hombre, y la tesis de que la separación de las Ideas debe entenderse como homonimia. In this paper I examine Silvana Gabriela Di Camillo's recent book on Aristotle's criticisms of Plato's theory of Ideas. Di Camillo's book is a very serious work that I highly recommend. Nevertheless, I consider that four of the main theses that the author defends face several difficulties and my aim here is to offer detailed arguments against them: the interpretation of the distinction between more and less accurate arguments of the treatise On Ideas; the thesis that separation is the essential target of Aristotle's criticisms against Plato's Ideas; the interpretation of the options available to Plato to reply to the third man argument; and the thesis that the separation of Ideas should be understood as homonymy. (shrink)

Paul Lodge’s excellent new contribution to the Yale Leibniz series collects together the entirety of the Leibniz-De Volder correspondence, totaling some thirty-three letters, together with a generous selection of relevant excerpts from Leibniz’s concurrent correspondence with Johann Bernoulli, which Lodge has helpfully interspersed throughout. As with previous volumes in the series, the texts appear in the original language, in this case Latin, together with an English translation on opposing pages. Lodge’s transcriptions reflect his careful study of all the available manuscripts (...) and represent a significant improvement over the existing versions in GP II (Leibniz-De Volder) and GM III (Leibniz-Bernoulli). Rounding out the volume are a long introduction (79 pp.), itself a valuable contribution to Leibniz scholarship, together with extensive notes on the texts, a bibliography, and indexes for names and subjects. (shrink)

We reconstruct the text, that is, we analyse the development of the discussion between Malthus and Ricardo both in the correspondence and in published works, paying special attention to (a) the use of methodological statements, (b) some pragmatic features of the controversy, (c) considerations pertaining to the meta-level of the controversy (assessments of the status of the controversy, of ways of solving it, etc.); then, we reconstruct the co-text, that is, unpublished papers by each opponent that were not made available (...) to the other, records of exchanges between each of these and third parties, etc.; thirdly, we describe the essential features of the context, focusing on events that influenced the course of the controversy; (iv) we draw lessons from our case study on the role of co-text and context, on pragmatic and semantic interpretation, and on "casts of mind”. (shrink)