In he Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, but if, (...) for example, PM’s disjunction (∨) is a relation, what is it a relation between? There is no obvious answer to this given Russell’s other philosophical commitments at this time, although hints are left in some of the pre-PM manuscripts. In this paper, I explore this tension in Russell's philosophy and relate it to developments both before and after Problems. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

A number of philosophers and logicians have argued for the conclusion that maps are logically tractable modes of representation by analyzing them in propositional terms. But in doing so, they have often left what they mean by "propositional" undefined or unjustified. I argue that propositions are characterized by a structure that is digital, universal, asymmetrical, and recursive. There is little positive evidence that maps exhibit these features. Instead, we can better explain their functional structure by taking seriously the (...) observation that maps arrange their constituent elements in a non-hierarchical, holistic structure. This is compatible with the more basic claim advanced by defenders of a propositional analysis: that (many) maps do have formal semantics and logic. (shrink)

The folk Psychology frames propositional attitudes as fundamental theoretical entities for the construction of a model designed to predict the behavior of a subject. A trivial, such as grasping a pen and writing reveals - something complex - about the behavior. When I take a pen and start writing I do, trivially, because I believe that a certain object in front of me is a pen and who performs a specific function that is, in fact, that of writing. When (...) I believe that the object that stands before me is a pen, I am in relation to "believe" with the propositional content: that in front of me is a pen. Philosophers of the proposition, from Frege onwards, have dedicated their studies to the analysis of what kinds of entities are the propositional attitudes. Jerry Fodor says that now, the proper prediction of the psychology of common sense, can not be questioned and that the propositional attitudes represent the most effective way to describe our behavior. What Fodor says, however, is that propositional attitudes function, but not how they work. Most philosophers interested in the issue, we are dedicated to the search for a theory that can account consistently both a semantics for propositional attitudes, both of these entities that seem to cause the behavior of a rational subject. There are two main paradigms in the theory of the proposition that contributed to the discussion of the propositional attitudes. One is the one that begins with Gottlob Frege, the other with Bertrand Russell. Defenders of Frege argue that the paradigm scrub objects and properties can not be constituents of the propositional content which have a purely conceptual. In other words, the philosophers belonging to the paradigm of Frege, but not all, mean that you can test in a rigorous way the truth conditions of propositional attitudes. Who defends the russellian’s paradigm argues that the propositional content are made by the objects and properties on which propositional attitudes relate. The purpose of this article is not to rebuild - in detail - both paradigms, nor to reconstruct one but, in a sense, my work will be a completely partial objective is to demonstrate how the paradigm is more profitable russell not only to make a coherent semantic theory for propositional attitudes2 but also to predict the behavior of a rational subject thing, completely innovative, given the repeated objections in contemporary literature3. At the end of this paper will be drafted a proposal to build a consistent model to predict the behavior,of a rational agent, based on a referential theory of propositional attitudes. (shrink)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or cognizing, (...) an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

In this paper I argue against Michael Morris’ claim, that the Tractatus view involves holding that the possibility of truth-functional combination is prior to the possibility for sentential constituents to combine with one another. I provide an alternative interpretation in which I deny the presence of any distinction in the Tractatus between these two possibilities. I then turn to Adrian Moore’s ‘disjunctivist’ account of sentencehood, itself inspired by the Tractatus view. I argue that Moore’s account need not involve a commitment (...) to the kind of priority Morris describes, and that it need not involve a commitment to transcendental idealism. (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the most promising (...) one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)

In the following article I intend to examine the problem of the unity of the proposition in Russell, Frege, and Wittgenstein. My chief aim will be to draw attention to the distinction between Russell’s conception of propositional constituents, on the one hand, with Frege and Wittgenstein’s on the other. My focus will be on Russell’s view of terms as independent, propositions being built up out of these building blocks, compared with Frege and Wittgenstein’s ‘top down’ approach. Furthermore, I will (...) argue that, contra certain other commentators, Frege’s metaphor of saturation and unsaturation does not serve as a solution to the problem of unity, and that the extension of this metaphorical language to Wittgenstein is, therefore, inappropriate. (shrink)

The paper proposes a way for adherents of Fregean, structured propositions to designate propositions and other complex senses/concepts using a special kind of functor. I consider some formulations from Peacocke's works and highlight certain problems that arise as we try to quantify over propositional constituents while referring to propositions using "that"-clauses. With the functor notation, by contrast, we can quantify over senses/concepts with objectual, first-order quantifiers and speak without further ado about their involvement in propositions. The functor notation also (...) turns out to come with an important kind of expressive strengthening, and is shown to be neutral on several controversial issues. (shrink)

Minimalists, such as Paul Horwich, claim that the notions of truth, reference and satisfaction are exhausted by some very simple schemes. Unfortunately, there are subtle difficulties with treating these as schemes, in the ordinary sense. So instead, minimalists regard them as illustrating one-place functions, into which we can input propositions (when considering truth) or propositional constituents (when considering reference and satisfaction). However, Bertrand Russell's Gray's Elegy argument teaches us some important lessons about propositions and propositional constituents. When applied (...) to minimalism, these lessons show us why we should abandon it. (shrink)

Beliefs are concrete particulars containing ideas of properties and notions of things, which also are concrete. The claim made in a belief report is that the agent has a belief (i) whose content is a specific singular proposition, and (ii) which involves certain of the agent's notions and ideas in a certain way. No words in the report stand for the notions and ideas, so they are unarticulated constituents of the report's content (like the relevant place in "it's raining"). The (...) belief puzzles (Hesperus, Cicero, Pierre) involve reports about two different notions. So the analysis gets the puzzling truth values right. (shrink)

In this paper, I argue that some philosophers have misinterpreted John Perry’s “Thought without Representation” ([1986] 2000) in two ways. They have taken, on the one hand, his distinction between a representation being about something vs concerning something to be exclusive, and, on the other hand, that he used relativized propositions to capture the truth-conditions of representations with unarticulated constituents. I argue that Perry's distinction is not exclusive and that he argues that unarticulated constituents are part of a representation's truth-conditions, (...) and that representations are about both articulated and unarticulated constituents. I also argue that accepting relativized propositions would directly contradict Perry’s thesis defending in “Thought without Representation”. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

This chapter focuses on picture theory, which is sometimes spoken of as a theory of the proposition. By a proposition, Wittgenstein like Frege means something that determines its sense by means of a correlation between the mode of combination of its constituent symbols and the structure of its sense. It has been an orthodoxy amongst Tractatus interpreters, and continues to be such in the wider philosophical community, that Wittgenstein follows the Russell in offering a correspondence theory of truth. The expression (...) of a Tractarian fact provides that fact's mode of combination, and from here there can be no further question as to the ontological types of its constituents. Tractarian facts, it is however added, are not truth conditions but items whose existence explains the obtaining of truth conditions: a Tractarian atomic fact is not a truth condition but a truthmaker. (shrink)

An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent parts. For example, the state I am in when I perceive the shape of a mountain ridge may have as constituent parts my representations of the shapes of each peak and saddle (...) of the ridge. More specific structural claims of this sort are a guide to how mental states fall within broader representational kinds. Moreover, these claims have significant implications of their own about semantic, functional, and epistemic features of our mental lives. But what are the conditions on a mental state's having one type of constituent structure rather than another? Drawing on explanatory strategies in vision science, I argue that, other things being equal, the constituent structure of a mental state determines what I call its distributional properties—namely, how mental states of that type can, cannot, or must co‐occur with other mental states in a given system. Distributional properties depend critically on and are informative about the underlying structures of mental states, they abstract in important ways from aspects of how mental states are processed, and they can yield significant insights into the variegation of psychological capacities. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments (...) troubling. The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Russellianism is the view that the meaning of a proper name is the individual designated by the name. Together with other plausible assumptions, Russellianism entails the following: Sentences containing proper names express Russellian propositions, which involve the individual designated by the name as a direct constituent, and which can be represented as sets of individuals and properties. Moreover, as they occur in ordinary belief reports, ‘that’-clauses designate Russellian propositions. Such belief reports are true if and only if the subject of (...) the belief report bears the belief relation to the proposition designated by the ‘that’-clause. In defending this doctrine, some Russellians appeal to propositional guises, which, roughly speaking, are ways of grasping propositions. However, some Russellians don’t appeal to such entities. In this paper, I explain the varieties of Russellianism and then argue for Modest Russellianism: Believing a Russellian proposition is essentially mediated by guises, so that an agent can’t believe a Russellian proposition without standing in some appropriate relation to both the proposition and a guise. Nonetheless, guises don’t feature in the semantics of ordinary belief reports, so that an adequate account of the meaning of such belief reports needn’t invoke guises. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

This paper considers the place of reasons in the metaphysics of epistemic normativity and defends a middle ground between two popular extremes in the literature. Against members of the ‘reasons first’ movement, we argue that reasons are not the sole fundamental constituents of epistemic normativity. We suggest instead that the virtue-theoretic property of competence is the key building block. To support this approach, we note that reasons must be possessed to play a role in the analysis of central epistemically normative (...) properties, and argue that the relation of possession must be analyzed in terms of competence. But while we diverge with reasons-firsters on this score, we also distance ourselves from those who deny reasons any important role in epistemology. For we maintain that possessed reasons do help to ground deontic facts in the epistemic domain (e.g., facts about what one epistemically ought to believe, may believe, or is justified in believing). Indeed, we present an argument that the possession of sufficient epistemic reasons is necessary and sufficient for propositional justification, and that proper basing on such reasons yields doxastic justification. But since possession and proper basing are themselves grounded in competence, reasons are not the end of the explanatory road: competence enables them to do their work, putting them—and us—in the middle. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

The point of this paper is to reveal a dogma in the ordinary conception of sensory imagination, and to suggest another way forward. The dogma springs from two main sources: a too close comparison of mental imagery to perceptual experience, and a too strong division between mental imagery and the traditional propositional attitudes (such as belief and desire). The result is an unworkable conception of the correctness conditions of sensory imaginings—one lacking any link between the conditions under which an (...) imagining aids human action and inference and the conditions under which it is veridical. The proposed solution is, first, to posit a variety of imaginative attitudes—akin to the traditional propositional attitudes—which have different associated correctness (or satisfaction) conditions. The second part of the solution is to allow for imaginings with “hybrid” contents, in the sense that both mental images and representations with language-like constituent structure contribute to the content of imaginings. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

ENG: The advancement of artificial intelligence (AI) presents a duality of opportunity and risk. On the one hand, there are potential dangers inherent in the development of AI. However, on the other hand, the advent of AI also offers humanity a multitude of possibilities for improvement and advancement. The aesthetic values and cultural expressions that artists encounter in their environment serve to redefine the aesthetic judgments they form, thus determining the paths they subsequently follow. The objective of this research is (...) to examine the impact of AI on the field of aesthetics and culture to identify the changes and transformations occurring within the world of art and design. In the conventional domain of aesthetics, emphasis is placed upon the finished object as a singular entity that will be interpreted as a completed work. In contrast, the emerging field of ‘new aesthetics’ prioritizes the atmosphere, directing our focus to the physical object, which is perceived as a spatial extension. Accordingly, the object is not defined by its intrinsic content, but rather its capacity to expand and occupy space. Thus, the domain of aesthetics has evolved to encompass a spatial dimension. Despite the growing interest in the aesthetic dimensions of AI, there has been little discussion to date about the relationship between atmosphere and the field of AI. This study aims to highlight the lack of attention given to this topic in academic discourse and to introduce a new approach to it. Several implications (regarding general propositions and constituents AI aesthetics) has been placed and finalized with layers of hallucination. The application of AI enables the augmentation of the hallucinatory capabilities of the imagination. However, a current challenge is the tendency of AI-powered digital assistants, such as ChatGPT, to hallucinate and present unreal information as if it were real. In this sense, the relationship between AI and hallucination is evolving in a manner that is perceived to be negative. This is justified given the problematic nature of this issue in scientific studies. However, when considered from the perspective of artistic production, there may be potential for new avenues of creativity and imaginative expression. A reappraisal of the role of atmospheric factors in space design is required. The introduction of a novel aesthetic layer to the atmosphere through the use of AI is a possibility, given the hallucinatory tendencies of AI. - TR: Yapay zekanın gelişimi, insanlık için önemli fırsatlar sunarken, aynı zamanda yeni zorluklar ve riskler de ortaya çıkarmaktadır. Ancak, doğru bir şekilde yönetildiğinde ve kullanıldığında, yapay zeka teknolojisi insan hayatını önemli ölçüde iyileştirebileceği ve birçok alanda yenilikler getirebileceği ön görülmektedir. Estetik değerler ve kültürel ifadeler, sanatçıların estetik yargılarını yeniden tarif etmekte ve izledikleri yolları belirlemektedir. Bu araştırma sanat ve tasarım dünyasındaki değişim ve dönüşümleri incelemek adına yapay zekanın estetik ve kültür alanına tesirini irdelemektedir. Konvansiyonel estetikte nesneye tamamlanmış bir çalışma olarak yorumlanacak bitmiş bir varlık olarak odaklanılmıştır. Ancak atmosferi merkeze alan yeni estetik, odak noktamızı mekandaki fiziksel bir uzantı olan nesneye yöneltmektedir. Dolayısıyla nesne 'içerdiği' şeyle değil, mekana yayılma şekliyle karakterize edilmektedir. Böylelikle estetik teori mekânsal katmanlar edinmiştir. Yapay zeka bağlamında estetik tartışmalarında bir ivme kazanılmış olsa da aynı hareketlilik atmosfer ile yapay zekanın ilişkisinde henüz kurulmamıştır. Bu çalışma literatürdeki bu eksikliğe işaret etmeyi ve bir giriş yapmayı hedeflemektedir. Tartışma önermeler olarak şu başlıklar altında toplanmıştır: Teknik arkaplandaki atmosfer tecrübesinin önemi; Deneyimi fazla olan aktörlerin hiyerarşisi; Kısmi telif hakkına yönelik ‘kısmi’ tanımlamalarının gerekliliği; Çizim becerisiden atmosfer üretme becerisine bir yolculuk; Kültürel ve bedensel referansların yorumlanabilmesi. Yapay zekanın estetiğine dair yapı taşları ise şu başlıklar altında toplanmıştır: Estetik akıntı; Yarı-geçirgen bir estetik; Yapay zekanın ara-fenomen olarak incelenmesi; Metaforik istemler; Halüsinatif katmanlar ve alternatif değerlendirmeler. Çalışmanın sonunda odaklanılan konu yapay zekanın gücü ile imgelemin halüsinatif katmanları artırılabilme potansiye olmuştur. Halüsinasyona dair şuan gündemde olan yegane konu ChatGPT gibi yapay zeka asistanlarının halüsinasyon görmeleri ve gerçek olmayan bilgilerin gerçekmiş gibi sunulmasıdır. Bu haliyle yapay zekanın halüsinasyon ile ilişkisi negatif bir tandansta ilerlemektedir. Bu bilimsel çalışmalarda bir problem olması sebebiyle haklı bir negativiteye sahiptir. Ancak sanatsal üretim tabanında bakıldığında imgelemde yeni kapılar açılabilir. Bu konu özellikle mekanın tasarımına gelindiğinde atmosferik etmenler yeniden değerlendirilmelidir. Atmosferin yapay zeka ile yeni bir estetik katman açması yapay zekanın halüsinasyon yatkınlıklarıyla gerçekleşebilir. (shrink)

Husserl’s Logical Grammar is intended to explain how complex expressions can be constructed out of simple ones so that their meaning turns out to be determined by the meanings of their constituent parts and the way they are put together. Meanings are thus understood as structured contents and classified into formal categories to the effect that the logical properties of expressions reflect their grammatical properties. As long as linguistic meaning reduces to the intentional content of pre-linguistic representations, however, it is (...) not trivial to account for how semantics relates to syntax in this context. In this paper, I analyze Husserl’s Logical Grammar as a system of recursive rules operating on representations and suggest that the syntactic form of representations contributes to their semantics because it carries information about semantic role. I further discuss Husserl’s syntactic account of the unity of propositions and argue that, on this account, logical form supervenes on syntactic form. In the last section I draw some implications for the phenomenology of thought and conjecture that the structural features it displays are likely to convey the syntactic structures of an underlying language-like representational system. (shrink)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

In one of his earliest dialogues, the Soliloquia, Augustine identifies the liberal arts (disciplinae) with truth (veritas), and employs this somewhat puzzling identification as a premise in his infamous proof of the immortality of the soul (Sol. 2.24). In this paper, I examine Augustine’s argument for this peculiar identification. Augustine maintains both (1) that the constituent propositions of the liberal arts are true, and (2) that the liberal art of dialectic (disciplina disputandi) is the “truth through which all disciplines are (...) true” (Sol. 2.21). I argue that Augustine identifies the liberal arts with truth because (1) the constituent propositions of the liberal arts are learned, and (2) dialectic’s structure is essential to the liberal arts. I further suggest that the subject matter of each liberal art reflects a distinct segment of intelligible reality, that is, the realm of the intelligible Forms. (shrink)

Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics (...) of the concept defined, or listing the constituent parts of the denotatum. All these definitions play different argumentative roles in legal discourse. At a third level, definitions can be thought of as premises in complex patterns of reasoning (for the subject of reasoning from definition in law, see Aarnio 1977; Moore 1980; Lindahl, 2004). They constitute the fundamental element of argument from classification, namely a pattern of inference in which a new property (or a name) is attributed to an entity on the basis of other properties. (shrink)

: This paper addresses the need to examine teaching practices from the observation that they are beyond what they should be. This task devolved to scientists of education is to learn about teaching practices in their relationship to student learning in order to build the database useful to teacher educators and reflexivity necessary for any teacher about their own practice. The concepts of competence, pattern and are useful instrument in this endeavor of explanation and understanding of the practices. The proposed (...) theoretical framework is illustrated by a perspective of teaching practices of teachers in schools and colleges. These differ in many aspects and this requires the testing of new hypotheses to explain -/- La présente contribution traite de la nécessité d’étudier les pratiques d’enseignement à partir du constat de ce qu’elles sont au delà de ce qu’elles devraient être. Cette tâche dévolue aux chercheurs en sciences de l’éducation vise à mieux connaître les pratiques d’enseignement dans leurs relations aux apprentissages des élèves afin de constituer la base de données utiles aux formateurs d’enseignants et nécessaire à toute réflexivité des enseignants à propos de leur propre pratique. Les notions de compétence, de schème et d’instrument sont utiles à cette entreprise d’explication et de compréhension des pratiques. La proposition de cadrage théorique est illustrée par une mise en perspective des pratiques d’enseignement de professeurs des écoles et de collèges. Celles-ci se distinguent sur bien des aspects ce qui réclame la mise à l’épreuve de nouvelles hypothèses explicatives. (shrink)

In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

This essay delves into the essentialities of object-giving sources within the formulation of epistemic objectivity. It explores the relationship between objectivity and intentional states, particularly in the context of immediate and transcendent experiences. A key focus of this paradigm is the examination of inferences and how they are held in X’s intentional processes. These claims about inferences contribute to the perception of objectivity by highlighting the epistemological transitions of things that occur in the constitutive ideation. Additionally, the activity within X’s (...) episteme leads to significant articulations that reflect a structural realism of experiences. The essay also introduces a convention of the experiential-intentional process so that the causality manipulations could be avoided by the precents of sources of ideation. In this instance, the central niche is occupied by transcendental reflections of intentionality, which are fundamentally founded on experiences and objectivity, and they possess a distinct rhetorical quality. They manifest as acts, propositional forms, and constituents, all of which contribute to the understanding and justification of objectivity. To establish such a framework that upholds objectivity, certain prerequisites must be met. Firstly, the framework must possess justificational resources that prevent causality manipulations. Secondly, pre-reflective sources should not inter-define causality in epistemic circumstances, although this does not exclude the emergence of causal relations, and thus this approach offers a correlational explanation. Lastly, transcendental reflections should remain compatible with the experiential-intentional process, allowing for the accommodation of subjectivity in the justification of objectivity. (shrink)

Contextualism is a view about meaning, semantic content and truth-conditions, bearing significant consequences for the characterisation of explicit and implicit content, the decoding/inferring distinction and the semantics/pragmatics interface. According to the traditional perspective in semantics (called "literalism" or "semantic minimalism"), it is possible to attribute truth-conditions to a sentence independently of any context of utterance, i.e. in virtue of its meaning alone. We must then distinguish between the proposition literally expressed by a sentence ("what is said" by the sentence, its (...) literal truth-conditions) and the implicit meaning of the sentence ("what is implicated" by a speaker uttering the sentence). Over the past forty years, however, an increasing number of linguists and philosophers have begun to underline the phenomenon of semantic underdetermination: the encoded meaning of the sentence employed by a speaker underdetermines the proposition explicitly expressed by an utterance of that sentence. According to the extreme version of this perspective – labelled "radical contextualism" - no sentence of a natural language expresses a complete proposition, or has fixed truth-conditions, even when unambiguous and devoid of indexicals. A sentence expresses a proposition only when completed and enriched with pragmatic constituents that do not correspond to any syntactic element of the sentence and yet are part of its semantic interpretation. More broadly, "contextualism" may be used to refer to a family of views which includes moderate contextualism (also called "indexicalism"), radical contextualism and non-indexical contextualism – and which contrasts with semantic minimalism. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

Bertrand Russell’s _Principles of Mathematics_ (1903) gives rise to several interpretational challenges, especially concerning the theory of denoting concepts. Only relatively recently, for instance, has it been properly realised that Russell accepted denoting concepts that do not denote anything. Such empty denoting concepts are sometimes thought to enable Russell, whether he was aware of it or not, to avoid commitment to some of the problematic non-existent entities he seems to accept, such as the Homeric gods and chimeras. In this paper, (...) I argue first that the theory of denoting concepts in _Principles of __Mathematics_ has been generally misunderstood. According to the interpretation I defend, if a denoting concept shifts what a proposition is about, then the aggregate of the denoted terms will also be a constituent of the proposition. I then show that Russell therefore could not have avoided commitment to the Homeric gods and chimeras by appealing to empty denoting concepts. Finally, I develop what I think is the best understanding of the ontology of _Principles of __Mathematics_ by interpreting some difficult passages. (shrink)

The distinction between semantics and pragmatics is often seen as a discussion about where to place pragmatic inferences: while minimalists think that they only come into play after the proposition is grasped, for contextualists, there are already pragmatic processes in the very determination of what is said, leading to ad hoc conceptual adjustments. There is, however, another way to look at this matter: we may keep a sensitive truth-distribution across contexts without ad hoc conceptual manoeuvres. An intuitive distribution of truth-values (...) may be explained as a variation in (kaplanian) circumstances, without any tampering with sentence constituents. This way of understanding the debate connects, maybe surprisingly, a first reaction to the semantics-pragmatics divide, in Cavell, and Predelli’s original stance on this debate. (shrink)

My purpose in this paper is to argue for two separate, but related theses. The first is that contemporary analytic philosophy is incoherent. This is so, I argue, because its methods contain as an essential constituent a conception of intuition that cannot be rendered consistent with a key tenet of analytic philosophy unless we allow a Bayesian-subjectivist epistemology. I argue for this within a discussion of two theories of intuition: a classical account as proposed by Descartes and a modern reliabilist (...) account as proposed by Kornblith, maintaining that reliabilist accounts require a commitment to Bayesian subjectivism about probability. However, and this is the second thesis, Bayesian subjectivism is itself logically incoherent given two simple assumptions: (1) that some empirical propositions are known and (2) any proposition that is known is assigned a degree of subjective credence of 1. I establish this using a formal reductio proof. I argue for the first thesis in section 2 and for the second in section 3. The final section contains a summary and conclusion. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

Joseph Almog says concerning “a certain locus where Quine doesn’t exist…qua evaluation locus, we take to it [singular] propositions involving Quine [as a constituent] which we have generated in our generation locus.” This seems to be either murder, or worse, self-contradiction. It presumes that certain designators designate their designata even at loci where the designata do not exist, i.e., the designators have “Kaplan rigidity.” Against this view, this paper argues that negative existentials such as “Quine does not exist” are true (...) only at ordered couples of loci (times or possible worlds) < l, l’ > such that the constituents of the truthmaker are the designatum itself from l and whatever corresponds to “does not exist” from l’. (shrink)

The expressions ‘form’, ‘structure’, ‘schema’, ‘shape’, ‘pattern’, ‘figure’, ‘mold’, and related locutions are used in logic both as technical terms and in metaphors. This paper juxtaposes, distinguishes, and analyses uses of [FOR these PUT such] expressions by logicians. No [FOR such PUT similar] project has been attempted previously. After establishing general terminology, we present a variant of traditional usage of the expression ‘logical form’ followed by a discussion of the usage found in the two-volume Chateaubriand book Logical Forms (2001 and (...) 2005)—the most comprehensive work on the subject ever written and in many ways the focus of this paper. Key Words: morphology, character, sense, sentence, proposition, form, structure, schema, alternative constituent, type, token . (shrink)

This self-contained lecture examines uses and misuses of the adverb conversely with special attention to logic and logic-related fields. Sometimes adding conversely after a conjunction such as and signals redundantly that a converse of what preceded will follow. -/- (1) Tarski read Church and, conversely, Church read Tarski. -/- In such cases, conversely serves as an extrapropositional constituent of the sentence in which it occurs: deleting conversely doesn’t change the proposition expressed. Nevertheless it does introduce new implicatures: a speaker would (...) implicate belief that the second sentence expresses a converse of what the first expresses. Perhaps because such usage is familiar, the word conversely can be used as “sentential pronoun”—or prosentence—representing a sentence expressing a converse of what the preceding sentence expresses. -/- (2) Tarski read Church and conversely. -/- This would be understood as expressing the proposition expressed by (1). Prosentential usage introduces ambiguity when the initial proposition has more than one converse. Confusion can occur if the initial proposition has non-equivalent converses. -/- Every proposition that is the negation of a false proposition is true and conversely. -/- One sense implies that every proposition that is the negation of a true proposition is false, which is true of course. But another sense, probably more likely, implies that every proposition that is true is the negation of a false proposition, which is false: the proposition that one precedes two is not a negation and thus is not the negation of a false proposition. The above also applies to synonyms of conversely such as vice versa. Although prosentence has no synonym, extrapropositional constituents are sometimes called redundant rhetoric, filler, or expletive. Authors discussed include Aristotle, Boole, De Morgan, Peirce, Frege, Russell, Tarski, and Church. END OF PUBLISHED ABSTRACT -/- See also: Corcoran, John. 2015. Converses, inner and outer. 2015. Cambridge Dictionary of Philosophy, third edition, Robert Audi (editor). Cambridge: Cambridge UP. https://www.academia.edu/10396347/Corcoran_s_27_entries_in_the_1999_second_edition_Audi_s_Cambridge_ Dictionary_of_Philosophy . (shrink)

On Crimmins and Perry’s account of propositional attitude ascription (1989), beliefs are concrete cognitive structures—particulars ("things in the head") that belong to an agent and that have a lifetime. They are related to the world and to other cognitive structures and abilities, allowing one to classify the latter by propositional content. Containing ideas and notions as constituents, beliefs are structured entities. The difference between notions and ideas is the difference between an agent’s ways of thinking about individuals vs. (...) properties. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

The label `semiotic grammar' captures a fundamental property of the grammars of human languages: not only is language a semiotic system in the familiar Saussurean sense, but its organizing system, its grammar, is also a semiotic system. This proposition, explicated in detail by William McGregor in this book, constitutes a new theory of grammar. Semiotic Grammar is `functional' rather than `formal' in its intellectual origins, approaches, and methods. It demonstrates, however, that neither a purely functional nor a purely formal account (...) of language is adequate, given the centrality of the sign as the fundamental unit of grammatical analysis. The author distinguishes four types of grammatical signs: experiential, logical, interpersonal, and textural. The signifiers of these signs are syntagmatic relationships of the following types, respectively: constituency, dependency, conjugational and linking. McGregor illustrates and exemplifies the theory with data from a variety of languages including English, Acehnese, Polish, Finnish, Japanese, Chinese, and Mohawk; and from his pioneering research on Gooniyandi and Nyulnyul, two languages of the Kimberleys region of Western Australia. (shrink)

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being mentioned as the premise (...) and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

In this work Husserl makes the distinction between expressions and indications that Derrida will later plant the bomb of Husserl's own Phenomenology of Internal Time Consciousness underneath it in order to undermine the dream for presence and inaugurate Deconstruction. Logic, as Husserl sees it, is concerned in the first place with meanings (propositions, concepts) and with associated meaning-instantiating acts. Most importantly, it is concerned with that sort of deductively closed collection of meanings which constitutes a scientific theory. For Husserl, as (...) for Bolzano, logic is a theory of science. Only where we have an appropriate unity and organization also on the side of the objects (states of affairs, properties) to which the relevant acts refer, however, will we have a scientific theory, so that the unity which is characteristic of the latter must involve both (1) an interconnection of truths (or of propositional meanings in general), and (2) an interconnection of the things to which these truths (and the associated cognitive acts) are directed. Where formal logic relates in the first place to meaning categories such as proposition, concept, subject and predicate, its sister discipline of formal ontology relates to object categories such as object and property, relation and relatum, manifold, part, whole, state of affairs, existence and so on. Logic in a broader sense therefore seeks to delimit the concepts which belong to the idea of a unity of theory in relation to both meanings and objects, and the truths of logic are all the necessary truths relating to those categories of constituents, on the side of both meanings and objects, from out of which science as such is necessarily constituted (including what we might think of as bridge-categories such as identity and truth which span the division between meanings and objects). The best way to deal with Husserl's theory of formal ontology, therefore, is to explicate both the connections between the formal and material, and those between the ontological and the logical. In introducing his distinction between formal and material ontology, Husserl asserts that the former is descriptive and involves analytic a priori judgements, and that the latter involves synthetic a priori judgements. In its most general sense formal ontology concerns itself with characterizing the simple 'something'. The sphere of material ontology in this sense are the laws of non-independence (2) which delimit the ontological regions. For the genetic interpretation, material ontology precedes formal ontology; for the descriptive interpretation it is the other way round (1913, art. 10). Here emerges 'the fundamental distinction between formal and material ontology': namely, the distinction between analytic a priori and synthetic a priori (Introduction to Formale und transzendentale Logik, 1929). (shrink)

La falsifiabilité de Popper a été critiquée à la fois pour avoir exclu la science légitime et pour avoir accordé un statut scientifique aux pseudo-sciences. Selon Larry Laudan, « cela a la conséquence fâcheuse de considérer comme « scientifique » toute demande faisant de fausses allégations de manière concluante ». Certains reprochent à Popper en disant que sa théorie ne constitue pas une alternative légitime aux propositions inductives qu’il critique. Jeffrey soutient que le bayésianisme, qui insiste sur le point de (...) savoir dans quelle mesure les preuves empiriques appuient une hypothèse, est beaucoup plus proche de la pratique scientifique que la falsifiabilité de Popper. DOI: 10.13140/RG.2.2.21235.27680. (shrink)

L'oeuvre monumentale de Jonathan Israel a suscité l'intérêt des historiens et des philosophes, mais également des experts en sciences politiques. On peut affirmer sans exagérer que ses travaux constituent une lecture incontournable pour tous ceux qui travaillent actuellement sur les Lumières, soit pour étayer ses thèses, soit pour les critiquer, mais toujours dans le cadre du dialogue avec ses propositions. Or, si l'ensemble de son oeuvre a suscité tant d'intérêt de la part des experts les plus divers, pourquoi entreprendre un (...) nouveau travail sur ses hypothèses ? La raison essentielle qui nous incite à réaliser ce projet est notre conviction que ses thèses politiques ont été quelque peu négligées. Pourtant, alors que les spécialistes ont commenté surtout les aspects religieux et philosophique de son projet, Israel soutient qu'elle comporte en outre une dimension politique incontournable, puisque les institutions démocratiques, les théories républicaines et les révolutions mêmes du XVIIIe siècle trouvent leurs racines dans cette idéologie radicale. En effet, pour les philosophes radicaux, le combat contre l'erreur et l'ignorance allait de pair avec la lutte contre la corruption institutionnelle et politique qui touchait particulièrement la religion. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent (...) with propositional contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)