The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by (...) counterconditioning or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well (...) supported by current cognitive science research. (shrink)

An overview, with links, of original approaches to six significant areas of philosophical concern, including the nature of perception and perceptual content, naturalistic approaches to representation and semantics, a representational explanation of generality, and a dual component theory of propositions. (This file also provides a useful demonstration of how webpage-like features may be simulated in a Word document).

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of (...) Stoic logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism (...) links it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought. (shrink)

In Jeffrey King’s theory of structured propositions, propositional structure mirrors the syntactic structure of natural language sentences that express it. I provide cases where this claim individuates propositions too finely across languages. Crucially, King’s paradigmatic proposition-fact ^that Dara swims^ cannot be believed by a monolingual Greek speaker, due to Greek syntax requiring an obligatory article in front of proper names. King’s two possible replies are: (i) to try to streamline the syntax of Greek and English; or (ii) (...) to insist that English speakers can believe propositions inexpressible in Greek. I argue that the former option entails giving up a neo-Russelian framework, and the latter makes King’s account arbitrary or trivial. I conclude that the mirroring claim is untenable. (shrink)

This paper presents a critical analysis of dual-class share structures (DCSS) within an ethical and logical framework for ownership and control. Moreover, it contends that the existence of DCSS constitutes a de facto infringement on the ownership rights of shareholders. By adopting a conceptual approach rooted in symbolic logic, the paper demonstrates that DCSS falls short of the ethical precept of “one share, one vote” and is therefore an unjust and inefficient equity arrangement. The paper contributes to the existing (...) literature on DCSS by focusing on the ethical and logical basis of such share structures. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...) It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

Researchers often claim that self-control is a skill. It is also often stated that self-control exertions are intentional actions. However, no account has yet been proposed of the skillful agency that makes self-control exertion possible, so our understanding of self-control remains incomplete. Here I propose the skill model of self-control, which accounts for skillful agency by tackling the guidance problem: how can agents transform their abstract and coarse-grained intentions into the highly context-sensitive, fine-grained control processes required to select, revise and (...) correct strategies during self-control exertion? The skill model borrows conceptual tools from ‘hierarchical models’ recently developed in the context of motor skills, and asserts that self-control crucially involves the ability to manage the implementation and monitoring of regulatory strategies as the self-control exercise unfolds. Skilled agents are able do this by means of flexible practical reasoning: a fast, context-sensitive type of deliberation that incorporates non-propositional representations into the formation and revision of the mixed-format intentions that structure self-control exertion. The literatures on implementation intentions and motivation framing offer corroborating evidence for the theory. As a surprising result, the skill of self-control that allows agents to overcome the contrary motivations they experience is self-effacing: instead of continuously honing this skill, expert agents replace it with a different one, which minimizes or prevents contrary motivations from arising in the first place. Thus, the more expert you are at self-control, the less likely you are to use it. (shrink)

Although social scientists have identified diverse behavioral patterns among children from dissimilarly structured families, marketing scholars have progressed little in relating family structure to consumption-related decisions. In particular, the roles played by members of single-mother families—which may include live-in grandparents, mother’s unmarried partner, and step-father with or without step-sibling(s)—may affect children’s influence on consumption-related decisions. For example, to offset a parental authority dynamic introduced by a new stepfather, the work-related constraints imposed on a breadwinning mother, or the imposition of (...) adult-level household responsibilities on children, single-mother families may attend more to their children’s product preferences. -/- Without a profile that includes socio-economic, behavioral, and psychological aspects, efficient and socially responsible marketing to single-mother households is compromised. Relative to dual-parent families, single-mother families tend to have fewer resources and less buying power, children who consume more materialistic and compulsively, and children who more strongly influence decision making for both own-use and family-use products. Timely research would ensure that these and other tendencies now differentiate single-mother from dual-parent families in ways that marketers should address. Hence, our threefold goal is (1) to consolidate and highlight gaps in existing theory applied to studying children’s influence on consumption-related decision making in single-mother families, and (2) to propose a hybrid framework that merges two theories conducive to such research, and (3) to identify promising research propositions for future research. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

The sense of touch provides us knowledge of two kinds of events. Tactile sensation (T) makes us aware of events on or just below the skin; haptic perception (H) gives us knowledge of things outside the body with which we are in contact. This paper argues that T and H are distinct experiences, and not (as some have argued) different aspects of the same touch-experience. In other words, T ≠ H. Moreover, H does not supervene on T. Secondly: In T, (...) we are aware of immanent, phenomenal qualities; in H, we come to know of transcendent qualities in things that exist independently of ourselves. Finally: T is non-spatial; it is indexed by parts of the body, but not by position in space. H, by contrast, is spatial. This brings to mind Kant’s contention that things are presented as existing objectively when they are represented spatially. (shrink)

I reply to criticisms from King and Soames and critically examine two aspects of current orthodoxy about propositions: that they are representational and that they are structured. I argue that (especially once one gives up on intrinsically representational propositions) there is no good reason to think that propositions have representational properties, and distinguish a few different senses in which propositions might be structured, expressing some skepticism about the more ambitious ones.

This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented (...) in a type-driven formal semantic framework. In addition, I also argue against traditional accounts of privative noun phrases which can be paired with the assumption that nouns do not have a dual semantic structure. At the most general level, this paper presents a proposal for how we can begin to integrate a psychologically realistic account of lexical semantics with a linguistically plausible compositional semantic framework. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct (...) ways. I extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

The concepts expressed by social role terms such as artist and scientist are unique in that they seem to allow two independent criteria for categorization, one of which is inherently normative. This study presents and tests an account of the content and structure of the normative dimension of these “dual character concepts.” Experiment 1 suggests that the normative dimension of a social role concept represents the commitment to fulfill the idealized basic function associated with the role. Background information (...) can affect which basic function is associated with each social role. However, Experiment 2 indicates that the normative dimension always represents the relevant commitment as an end in itself. We argue that social role concepts represent the commitments to basic functions because that information is crucial to predict the future social roles and role-dependent behavior of others. (shrink)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis (...) of conceptual structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how (...) propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

The extended dual-aspect monism framework of consciousness, based on neuroscience, consists of five components: (1) dual-aspect primal entities; (2) neural-Darwinism: co-evolution and co-development of subjective experiences (SEs) and associated neural-nets from the mental aspect (that carries the SEs/proto-experiences (PEs) in superposed and unexpressed form) and the material aspect (mass, charge, spin and space-time) of fundamental entities (elementary particles), respectively and co-tuning via sensorimotor interaction; (3) matching and selection processes: interaction of two modes, namely, (a) the non-tilde mode that (...) is the material and mental aspect of cognition (memory and attention) related feedback signals in a neural-network, which is the cognitive nearest past approaching towards present; and (b) the tilde mode that is the material and mental aspect of the feed forward signals due to external environmental input and internal endogenous input, which is the nearest future approaching towards present and is a entropy-reversed representation of non-tilde mode; (4) the segregation and integration of information, and (5) the necessary ingredients of SEs (such as wakefulness, attention, re-entry, working memory, stimulus at or above threshold level, and neural-net PEs). This framework leads to structural and functional coherence between the mind and the brain, bridges the explanatory gap (the gap between SEs and their neural-correlates), and leads to our mundane subjective experiences. This extended dual-aspect monism (eDAM) framework (Vimal, 2008, 2010, 2013, 2015a, 2015b) could be the fundamental basis of various religions and philosophies. This is a Western perspective. On the other hand, Eastern perspectives emphasize the practical methods for achieving altered experience at samadhi state. An important corollary of these methods (such as yogic method) is the sublimation of negative aspects of seven groups of self-protective energy system (desire, anger, ego, greed, attachment, jealousy, and selfish-love) into their positive aspects. Their negative aspects create war and suffering, whereas their positive aspects advance science and technology, family values, peace, and happiness. Here, the Western perspective framework is extended to include the concepts of the sublimation process to encompass Eastern perspectives. The four elements (war, suffering, peace, and happiness) are ubiquitous in both space and time because they are essential contributors to the variations for natural selection in our evolutionary system. The sublimation process optimizes the system: minimizes war and suffering, maximizes peace and happiness, and enhances family values and individual progress. This is consistent with both Eastern and Western perspectives. (shrink)

Propositions are the things we believe, intend, desire, and so on, but discussions are often less precise than they could be and an important driver of this deficiency has been a focus on the objects but a neglect of the attitudinal relations we bear to them. In what follows, we will offer some thoughts on what it means for a proposition to be the object of an attitude and we will argue that an important part of the story lies with (...) the attitude relations rather than the propositions. As we will see there are infinitely many relations we might bear to a proposition, but the propositional attitude relations are special amongst them. Accounting for what makes them special will be an important component in the discussion that follows. We will argue that once one appreciates certain facts about propositional attitude relations, various claims that metaphysicians often make regarding propositions themselves begin to look undermotivated. In fact, many views on the metaphysical nature of propositions come to look like plausible candidates for being that to which our propositional attitudes relate us. As will emerge, we will see that the principle role of propositions in the theory of mind is simply to keep track of how our attitudinal states represent things as being. But, we argue, in order to do this work, very few constraints must be placed on the nature of propositions themselves. In particular, contra much of the recent work on the metaphysics of propositions, they need not represent nor must they be structured. In light of these observations, we conclude by sketching our own favored minimalist view of propositions. (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)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of (...) generalizations, not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

In philosophy of action, we typically aim to explain action by appealing to conative attitudes whose contents are either logically consistent propositions or can be rendered as such. Call this “the logical criterion.” This is especially difficult to do with clear-minded, intentional incontinence since we have to explain how two judgments can have non-contradicting contents yet still aim at contradictory outcomes. Davidson devises an innovative way of doing this but compromises his ability to explain how our better judgments can cause (...) our continent behaviors. In this essay, I preserve Davidson’s approach to the logical criterion but deviate from his broader theory of action by developing a default-interventionist dual systems theory of action. To do this, I focus on the dynamical relationship between System 1 and System 2: the logical construction of value judgments in System 2 from System 1 and the imaginative construction of non-propositional conative attitudes in System 1 from System 2. I draw on Street’s Humean constructivism and Peacocke’s theory of imagination for logical and imaginative construction, respectively. Within this framework, I provide a new definition of continence and incontinence that satisfies the logical criterion and explains how our better judgments can cause our continent behaviors. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Epistemological contrastivism can model how infallible knowledge functions by employing the explanatory resource of structural differences between contrastive propositions, e.g., “P rather than Q”, and orthodox propositions, e.g., “P”. In doing so we notice that how this difference factors into our conception of infallible knowledge depends on two aspects: one, whether belief acts as a necessary condition for knowledge, and two, whether epistemic justification is construed as consciously internalist or non-consciously externalist. We further leverage the notion of phenomenal resolution, conceived (...) as an outcome of one’s discriminative capacities in accessing their evidence, to clarify in what sense it becomes reasonable to say that the truth of P mutually excludes the truth of Q when the latter is contrasted to the former. Importantly then, there is a way of infallibly knowing that P that is indistinguishable from infallibly knowing that P rather than Q, and a way that is not. (shrink)

I argue first that attention is a (maybe the) paradigmatic case of an object-directed, non-propositional intentional mental episode. In addition attention cannot be reduced to any other (propositional or non-propositional) mental episodes. Yet, second, attention is not a non-propositional mental attitude. It might appear puzzling how one could hold both of these claims. I show how to combine them, and how that combination shows how propositionality and non-propositionality can co-exist in a mental life. The crucial move (...) is one away from an atomistic, building block picture to a more holistic, structural picture. (shrink)

According to a popular view in philosophy, intuition is a singular propositional attitude. In this paper, I outline an opposite account on “garden-variety intuition”, i.e. intuition that people experience in their daily lives. The account is based on a distinction between intuition on the processing level, ‘intuitive belief’ and ‘intuition that p’. Immediacy and certainty prove to be the phenomenal features of intuitive beliefs and intuitions that p. Regarding the processing level, I suggest to combine dual-process theory and (...) the theory of mental models, and I claim that this results in non-propositional intuitions. Finally, I argue that non-propositional intuitions are fundamental for garden-variety intuition: They constitute inclinations to believe, possibly resulting in intuitive beliefs or intuitions that p. (shrink)

In this article I propose an original view of the nature of shared intention. In contrast to psychological views (Bratman, Searle, Tuomela) and normative views (Gilbert), I argue that both functional roles played by attitudes of individual participants and interpersonal obligations are factors of central and independent significance for explaining what shared intention is. It is widely agreed that shared intention (I) normally motivates participants to act, and (II) normally creates obligations between them. I argue that the view I propose (...) can explain why it is not a mere accident that both (I) and (II) are true of shared intention, while psychological and normative views cannot. The basic idea is that shared intention involves a structure of attitudes of individuals –including, most importantly, attitudes of reliance – which normally plays the relevant motivating roles and creates the relevant obligations. (shrink)

The chapter argues from an ethology-inspired internalist perspective that ‘colour’ is not a homogeneous and autonomous attribute, but rather plays different roles in different conceptual forms underlying perception. It discusses empirical and theoretical evidence that indicates that core assumptions underlying orthodox conceptions are grossly inadequate. The assumptions pertain to the idea that colour is a kind of autonomous and unitary attribute. It is regarded as unitary or homogeneous by assuming that its core properties do not depend on the type of (...) ‘perceptual object’ to which it pertains and that‘colour per se’ constitutes a natural attribute in the functional architecture of the perceptual system. It is regarded as autonomous by assuming that it can be studied in isolation of other perceptual attributes. More generally, the chapter argues on the bases of corresponding empirical and theoretical evidence that perception cannot be understood as the ‘recovery’ of physical world structure from sensory structure by input-based computational processes. Rather, the sensory input serves as a kind of sign for biologically relevant aspects of the external world that activates biologically given conceptual forms with their internal parameters. Although the sensory input is a causally necessary requirement for the activation of conceptual forms, the perceptual computations triggered are under the control of an internal programme based on a set of conceptual forms. (shrink)

Ever since Frege, propositions have played a central role in philosophy of language. Propositions are generally conceived as abstract objects that have truth conditions essentially and fulfill both the role of the meaning of sentences and of the objects or content of propositional attitudes. More recently, the abstract conception of propositions has given rise to serious dissatisfaction among a number of philosophers, who have instead proposed a conception of propositional content based on cognitive acts (Hanks, Moltmann, Soames). This (...) approach is not entirely new, though, but has important precedents in early analytic philosophy and phenomenology. The aim of this volume is bring together some of the most important texts from the relevant historical literature and new contributions from contemporary proponents of act-based conceptions of propositional content. (shrink)

A number of traditional roles that propositions are supposed to play are outlined. Philosophical theories of the nature of propositions are then surveyed, together with considerations for and against, with an eye on the question whether any single notion of a proposition is suited to play all or any of these roles. Approaches discussed include: (1) the structureless possible-worlds theory; (2) the structured Russellian theory; and (3) the structured Fregean theory. It is noted that it is often unclear whether these (...) are accounts of what propositions are, ontologically speaking, or whether they are accounts of how propositions are best represented in a formal semantic theory. (shrink)

What comes after neoliberalism? This is in many ways the question of our time. Or maybe neoliberalism doesn’t really exist at all? And if it does, what is the relevance for lawyers, legal scholarship and legal practice?

The given is the state of a mind in its primary engagement with the world. A satisfactory epistemology—one, it turns out, that is foundationalist and includes a naïve realist view of perception—requires a certain account of the given. Moreover, knowledge based on the given requires both a particular view of the world itself and a heterodox account of judgment. These admittedly controversial claims are supported by basic ontological considerations. I begin, then, with two contradictory views of the world per se (...) and the structure one experiences. I draw out the consequences of these two views for what intentionality is. The two views yield incompatible accounts of the given. The definitive spontaneity of the one account, and passivity of the other, can be understood in terms of the structure (or lack thereof) in the given. In defense of the claim that a structured given is not an apt epistemic basis, I examine an attempt to found an epistemology on such an account in light of the so-called myth of the given. I maintain that the given, if it is to provide some justification for taking the world to be a particular way, must be unstructured. To support this, I first discuss a significant problem with traditional foundationalism. I then argue that a satisfactory (foundationalist) epistemology requires the rejection of the orthodox propositional view of judgment in favor of a non-propositional, reistic view. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

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)

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)

Colleagues are not only an integral part of many people’s lives; empirical research suggests that having a good relationship with one’s colleagues is the single most important factor for being happy at work. However, so far, no one has provided a comprehensive account of what it means to be a colleague. To address this lacuna, we have conducted both an empirical as well as theoretical investigation into the content and structure of the concept ‘colleague.’ Based on the empirical evidence (...) that we present in this paper, we argue that ‘colleague’ is a dual character concept that has both a descriptive and a normative basis for categorization. Its descriptive dimension is characterized by three features, according to which two people are colleagues if they work for the same institution and know each other, or if they work for the same institution and work in the same field. An independent normative dimension is revealed, which shows that, as colleagues, we are expected to fulfill substantial normative expectations. Understanding the expectations that are encoded in the very structure of this concept is crucial to lay the groundwork for an ethics of collegiality. (shrink)

This paper critiques the view, widely held by philosophers of mind and cognitive scientists, that psychological explanation is a matter of ascribing propositional attitudes (such as beliefs and desires) towards language-like propositions in the mind, and that cognitive mental states consist in intentional attitudes towards propositions of a linguistic quasi-linguistic nature. On this view, thought is structured very much like a language. Denial that propositional attitude psychology is an adequate account of mind is therefore, on this view, is (...) tantamount to eliminative materialism, the denial that human beings are thinking beings. -/- I dispute this on the basis of recent work in cognitive psychology and artificial intelligence. Mental models theory, on which thought is better understood as nonpropositional intentional psychology, accords better with the evidence and offers an alternative view to propositional attitude psychology -- one that means that the denial that that is propositional is not eliminative. However, I argue that propositional attitude psychology is a useful idealization, as classical mechanics is of relativity theory, strictly but not radically false, and useful for prediction and indeed, as long as its idealized character is born in mind, for explanation of behavior. (shrink)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into two parts: the structural question and the substantive question. Just as an object’s weight is determined by its mass and gravitational acceleration, some probabilities are determined by other, more basic ones. The structural question asks what probabilities are (...) not determined in this way—these are the basic probabilities which determine values for all other probabilities. The substantive question asks how the values of these basic probabilities are determined. I defend an answer to the structural question on which basic probabilities are the probabilities of atomic propositions conditional on potential direct explanations. I defend this against the view, implicit in orthodox mathematical treatments of probability, that basic probabilities are the unconditional probabilities of complete worlds. I then apply my answer to the structural question to clear up common confusions in expositions of Bayesianism and shed light on the “problem of the priors.”. (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)

Some have argued that a subject has an inner awareness of its conscious mental states by virtue of the non-introspective, reflexive awareness that any conscious state has of itself. But, what exactly is it like to have a ubiquitous and reflexive inner awareness of one’s conscious states, as distinct from one’s outer awareness of the apparent world? This essay derives a model of ubiquitous inner awareness (UIA) from Sebastian Watzl’s recent theory of attention as the activity of structuring consciousness into (...) an experiential center and periphery. I develop Watzl’s theory into an account of UIA by suggesting that a subject is acquainted with its own conscious mental states through being reflexively aware of how these states are structured by attention into a unified subjective perspective. I favorably compare this Watzl-inspired account of UIA against other contemporary analytic and classical Buddhist accounts of reflexive awareness and subjective character, which variously ground the inner awareness of conscious states on their intrinsic phenomenal quality of “for-me-ness,” their affective/hedonic valence, or a subject’s disposition to introspect them. The Watzl-inspired account also accommodates possible counter-examples to Watzl’s theory posed by states of minimal phenomenal experience such as lucid dreamless sleep and non-dual meditative awareness. (shrink)

We think of the world as consisting of objects, with properties and standing in relations. There are, to be sure, different views on what objects etc. there are, and on what their natures are. And some theorists want to subtract some elements from this picture. For example, the ontological nihilist says that there are no objects. But still, the view described is very much orthodoxy—so much orthodoxy that one may need to be reminded that the view that the world consists (...) of objects, with properties and standing in relations is, precisely, a view. I here investigate the possibility that this view is false: that there is what may be called alien structure. And I investigate the relationship between alien structure and some important themes from the history of analytic philosophy. (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of (...) yet, undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

What I would like to study is the presence of Cartesian manner of thinking in the Ricoeurian comprehension of subjectivity. I focus particularly on what is not saying expressis verbis in his argumentation. I do not say that the Ricoeurian conception of dialectical subject which is expressed as “oneself as another” places itself as continuation of the tradition of absolutization of cogito. By no means. Ricoeur’s investigation that pertains to subjectivity aims at elaborating its new formulation. Philosophy of Descartes might (...) be interpret in various ways not only as the synonym of “egology”. In my paper I indicate two formulas of ego which are included in Cartesian Meditations (ego cogito, ergo sum and ego sum, ego existo) that give rise to the different interpretations of ego. I analyse the Ricoeurian stance that relates to the consequences of introducing by Descartes the very formula ego sum, ego existo. In the second part I concentrate on issue on what sense rereading Meditations could be helpful in entering into discussion with structuralist critique of the subject. Also I get an approach to the theoretical framework of Ricoeurian argumentation which is established according to defend the subject. -/- W artykule staram się pokazać obecność elementów Kartezjańskiego sposobu rozumowania w Ricoeurowskim deklaratywnie „antykartezjańskim” ujęciu subiektywności. Nie twierdzę, że Ricoeur w proponowanej przez siebie koncepcji podmiotu dialektycznego wyrażonego jako "ten-który-jest-sobą-jak-i-innym" sytuuje sie po stronie tradycji absolutyzującej cogito. Moim celem jest przesledzenie tych momentów Ricoeurowskiej argumentacji prowadzonej na rzecz wypracowania nowej formuły podmiotowości, w których obecny jest (najczęściej implicite) wątek Kartezjański. W samej filozofii Kartezjusza obecna jest droga, która nie prowadzi do egologii. By pokazać dwie różne perspektywy odczytania Kartezjańskiego cogito, przywołuję dwie formuły: ego cogito ergo sum oraz ego sum, ego existo, by następnie poddac je analizie. W pierwszej cześci artykułu skupiam się na ukazaniu konsekwencji płynących z wykorzystania formuły ego sum, ego existo w dyskusji dotyczącej subiektywności. W drugiej cześci staram się dowieść, na jakiej drodze możliwe jest wykorzystanie Kartezjańskiej koncepcji podmiotu w konfrontacji ze strukturalistyczną krytyką podmiotu. (shrink)

Structural idealism uses formal and computational techniques to describe an idealist ontology composed of God and a set of finite minds. A finite mind is a system of private intentional worlds. An intentional world is a connectionist hierarchy of intentional objects (propositions, concepts, sensible things, sensations). Intentional objects, similar to Leibnizian monads, are computing machines. To escape the egocentric predicament, Leibnizian relations of (in)compossibility exist between finite minds, linking them together into a constraint-satisfaction network, thereby coordinating their private intentional worlds.

According to a classic but nowadays discarded philosophical theory, perceptual experience is a complex of nonconceptual sensory states and full-blown propositional beliefs. This classical dual-component theory of experience is often taken to be obsolete. In particular, there seem to be cases in which perceptual experience and belief conflict: cases of known illusions, wherein subjects have beliefs contrary to the contents of their experiences. Modern dual-component theories reject the belief requirement and instead hold that perceptual experience is a (...) complex of nonconceptual sensory states and some other sort of conceptual state. The most popular modern dual-component theory appeals to sui generis propositional attitudes called ‘perceptual seemings’. This article argues that the classical dual-component theory has the resources to explain known illusions without giving up the claim that the conceptual components of experience are beliefs. The classical dual-component view, though often viewed as outdated and implausible, should be regarded as a serious contender in contemporary debates about the nature of perceptual experience. (shrink)

In this paper, I argue against the view that the representational structure of the implicit attitudes responsible for implicitly biased behaviour is propositional—as opposed to associationist. The proposal under criticism moves from the claim that implicit biased behaviour can occasionally be modulated by logical and evidential considerations to the view that the structure of the implicit attitudes responsible for such biased behaviour is propositional. I argue, in particular, against the truth of this conditional. Sensitivity to logical (...) and evidential considerations, I contend, proves to be an inadequate criterion for establishing the true representational structure of implicit attitudes. Considerations of a different kind, which emphasize the challenges posed by the structural social injustice that implicit attitudes reflect, offer, I conclude, better support for deciding this issue in favour of an associationist view. (shrink)