We present a new constructive proof of the following theorem: there exists a limit-computable function β_1:N→N which eventually dominates every computable function δ_1:N→N. K denotes both the knowledge predicate satisfied by every currently known theorem and the set of all currently known theorems. The set K is time-dependent. Any theorem of any mathematician from past or present forever belongs to K. We prove: (1) there exists a limit-computable function f:N→N of unknown computability which eventually dominates every function δ:N→N with a (...) single-fold Diophantine representation. We present both constructive and non-constructive proof of (1). Statement (1) claims that there exists a function f:N→N such that (f is computable in the limit)∧(¬K(f is computable))∧(¬K(f is uncomputable))∧(f eventually dominates every function δ:N→N with a single-fold Diophantine representation). Since Martin Davis' conjecture on single-fold Diophantine representations disproves statement (1), statement (1) has all properties from the title of the article. (shrink)

Three-dimensional material models of molecules were used throughout the 19th century, either functioning as a mere representation or opening new epistemic horizons. In this paper, two case studies are examined: the 1875 models of van ‘t Hoff and the 1890 models of Sachse. What is unique in these two case studies is that both models were not only folded, but were also conceptualized mathematically. When viewed in light of the chemical research of that period not only were both of (...) these aspects, considered in their singularity, exceptional, but also taken together may be thought of as a subversion of the way molecules were chemically investigated in the 19th century. Concentrating on this unique shared characteristic in the models of van ‘t Hoff and the models of Sachse, this paper deals with the shifts and displacements between their operational methods and existence: between their technical and epistemological aspects and the fact that they were folded, which was forgotten or simply ignored in the subsequent development of chemistry. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning (...) of the embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

The nature of linguistic understanding is a much-debated topic. Among the issues that have been discussed, two questions have recently received a lot of attention: (Q1) ‘Are states of understanding direct (i.e. represent solely what is said) or indirect (i.e. represent what is said as being said/asserted)?’ and (Q2) ‘What kind of mental attitude is linguistic understanding (e.g. knowledge, belief, seeming)?’ This paper argues that, contrary to what is commonly assumed, there is no straightforward answer to either of these questions. (...) This is because linguistic understanding cannot be identified with a single mental attitude towards a particular representation. Instead, we should characterize states of linguistic understanding as involving complex representational structures generated by a dual-stream process. The first stream operates on direct representations of what is said, while the second operates on representations of what is said as being said/asserted by a given source. Both these streams feed a situation model, i.e. a complex representation of a state of affairs described by a given piece of discourse. (shrink)

Christie, Brusse, et al. argue that selected effects are insufficient to explain the prevalence of traits when selection is heterogeneous. One could object that it’s useful to ground functions in selected effects so long as selected effects are necessary to explain the prevalence of traits. This raises a challenging question: what justifies singling out selected effects from other factors that are necessary to explain the prevalence of traits when selection is heterogeneous? I consider three answers: selected effects are the only (...) factors that explain the prevalence of traits and (a) can plausibly ground functions; (b) enable biological generalization; and (c) enable representational explanation. I argue that none of these answers is satisfactory. Only the third answer might be able to justify singling out any selected effects at all (when selection is heterogeneous): the small share of selected effects that ground representations of causal particulars. Thus, I agree with Christie, Brusse, et al. that heterogeneous selection is a serious problem for selected effects theories of function. (shrink)

Biologists often study particular biological systems as models of a phenomenon of interest even if they already know that the phenomenon is produced by diverse mechanisms and hence none of those systems alone can sufficiently represent it. To understand this modeling practice, the present paper provides an account of how multiple model systems can be used to study a phenomenon that is produced by diverse mechanisms. Even if generalizability of results from a single model system is significantly limited, generalizations (...) concerning specific aspects of mechanisms often hold across certain ranges of biological systems, which enables multiple model systems to jointly represent such a phenomenon. Comparing mechanisms that operate in different biological systems as examples of the same phenomenon also facilitates characterization and investigation of individual mechanisms. I also compare my account with two existing accounts of the use of multiple model systems and argue that my account is distinct from and complementary to them. (shrink)

The notions of information, representation and enaction entertain historical and complex relations with cognition. Historical relations because representational structures belong to the central hypothesis of cognitive sciences. Complex relations because cognitive sciences apply the notion of representation to animals, humans and robots, and also because the enactive approach tends to disregard the GOFAI type of representations. In this wide horizon of relations, we propose to look at a systemic approach that could bring up a common denominator for information (...) and representations in the build up of cognition, and also keep a link with the enactive approach. Our purpose is to show that systems submitted to constraints can generate meaningful information to maintain their natures, and consequently build up meaningful representations that have some compatibility with the enactive approach. Such a systemic approach to the notion of meaningful information could then make available a link between enaction and meaningful representations. The first part of the presentation is about reminding that cognition does not exist per se, but is related to the system that builds it. We look at cognition as constituted by dynamic meaningful representations built up by systems that have constraints to satisfy in their environments. Cognition is considered here at the level of the system that builds it and uses it in order to maintain its nature in its environment. Such a systemic approach fits with evolution. Organisms build representations to cope with survival constraints (frogs build representations of moving black dots in order to satisfy food constraints). Humans build representations and cognition to satisfy constraints that are conscious and unconscious. Artificial systems can use representations and cognition to run activities related to constraints implemented by the designers or coming from the environment (a goal to reach being considered as a constraint to satisfy). In the second part of the presentation we define what are a meaningful information and a representation for a system submitted to a constraint in its environment, and we link these to the enactive approach. We define a meaningful information (a meaning) as an information generated by a system submitted to a constraint when it receives an external information that has a connection with the constraint. The meaning is precisely that connection. The meaning belongs to the interactions that link the system to its environment. The function of the meaning is to participate to the determination of an action that will be implemented in order to satisfy the constraint. (Menant, 2003). The satisfaction of the constraint goes with maintaining the nature of the system in its environment. A Meaning Generator System (MGS) is defined correspondingly. It is a building block for higher level systems. We present some characteristics of the MGS (groundings of a meaning, domain of efficiency and transfer of meanings, networking of meanings, evolutionary usage). The MGS approach is close to a simplified version of the Peircean triadic theory of signs (Menant, 2003, 2005 ). We define the representation of an item for a system as being the dynamic set of meaningful information corresponding to the item for the system in its environments (an elementary representation being made of a single meaningful information). These representations link the system to its environment by their meaningful components related to the nature of the system. These representations are different from the GOFAI ones. The possibilities for linking these notions of meaning and representation with the enactive approach come from the structure of the MGS: the need for an action is the cause of the meaning generation by and for the system. The action on the environment is for the system to maintain its nature (its identity). The MGS links together the generation of meaningful representations, the nature of the system, and the interactions with the environment. This can be considered as close to enacting a world by meaning generation (Di Paolo and all 2007), and to the enactive concept of sense making (De Jaegher, Di Paolo 2007). We propose that basing the definition of a representation on the notion of meaningful information generated by a system submitted to a constraint can open a way for making the notion of representation compatible with the enactive approach. In the third part of the presentation, we consider some cases of meaningful information and representations for organisms and for robots. Regarding organisms, the MGS can be used in an evolutionary context by looking at the evolution of the systems and of the constraints. Purpose is to modelize the generation of meanings and of representations in order to make available a tool usable for different levels of evolution, as evolution has a place in cognitive sciences (Proust, 2007). Constraints for basic life are survival constraints (individual and species). Group life constraints are also to be considered. Reaching the level of humans in evolution brings in new constraints that cannot be clearly identified as they have to take into account human consciousness which is today a mystery (the “hard problem”). On an evolutionary standpoint, human constraints come in addition to the ones existing for non human organisms. We can make some hypothesis on the nature of human constraints (Maslow pyramid based constraints, anxiety limitation…). For robots, the MGS is initially based on the design of the robot. The meaning generated within a robot is initially derived from the constraints implemented by the designer and from the environment. But some non calculable or non predictable evolutions of the robot can introduce meanings that look proper to the robot. This last point can be linked to the notion of autonomy in robots. In such examples, the dynamic management of meanings thru the MGSs in their environments keeps the link with the enactive approach. We finish the presentation by summarising the points addressed and by proposing several continuations. (shrink)

This article develops an axiom system to justify an additive representation for a preference relation ${\succsim}$ on the product ${\prod_{i=1}^{n}A_{i}}$ of extensive structures. The axiom system is basically similar to the n-component (n ≥ 3) additive conjoint structure, but the independence axiom is weakened in the system. That is, the axiom exclusively requires the independence of the order for each of single factors from fixed levels of the other factors. The introduction of a concatenation operation on each factor (...) A i makes it possible to yield a special type of restricted solvability, i.e., additive solvability and the usual cancellation on ${\prod_{i=1}^{n}A_{i}}$ . In addition, the assumption of continuity and completeness for A i implies a stronger type of solvability on A i . The additive solvability, cancellation, and stronger solvability axioms allow the weakened independence to be effective enough in constructing the additive representation. (shrink)

This paper addresses a family of issues surrounding the biological phenomenon of resistance and its representation in realist ontologies. The treatments of resistance terms in various existing ontologies are examined and found to be either overly narrow, internally inconsistent, or otherwise problematic. We propose a more coherent characterization of resistance in terms of what we shall call blocking dispositions, which are collections of mutually coordinated dispositions which are of such a sort that they cannot undergo simultaneous realization within a (...) single bearer. A definition of ‘protective resistance’ is proposed for use in the Infectious Disease Ontology (IDO) and we show how this definition can be used to characterize the antibiotic resistance in Methicillin-Resistant Staphylococcus aureus (MRSA). The ontological relations between entities in our MRSA case study are used alongside a series of logical inference rules to illustrate logical reasoning about resistance. A description logic representation of blocking dispositions is also provided. We demonstrate that our characterization of resistance is sufficiently general to cover two other cases of resistance in the infectious disease domain involving HIV and malaria. (shrink)

The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory (...) gives a representation of a class of structures and studies the invariant properties holding in that class of structures. In Suppes’ view, the best way to define this class of structures is via axiomatization. This is because a class of structures is given by a definition, and this same definition establishes which are the properties that a single structure must possess in order to belong to the class. These properties correspond to the axioms of a logical theory. In Suppes’ view, the best way to characterize a scientific structure is by giving a representation theorem for its models and singling out the invariants in the structure. Thus, we can say that the philosophy of science of Patrick Suppes consists in the application of the axiomatic method to scientific disciplines. What I want to argue in this paper is that this application of the axiomatic method is also at the basis of a new approach that is being increasingly applied to the study of computer science and information systems, namely the approach of formal ontologies. The main task of an ontology is that of making explicit the conceptual structure underlying a certain domain. By “making explicit the conceptual structure” we mean singling out the most basic entities populating the domain and writing axioms expressing the main properties of these primitives and the relations holding among them. So, in both cases, the axiomatization is the main tool used to characterize the object of inquiry, being this object scientific theories (in Suppes’ approach), or information systems (for formal ontologies). In the following section I will present the view of Patrick Suppes on the philosophy of science and the axiomatic method, in section 3 I will survey the theoretical issues underlying the work that is being done in formal ontologies and in section 4 I will draw a comparison of these two approaches and explore similarities and differences between them. (shrink)

A popular view has it that the mental representations underlying human pretense are not beliefs, but are “belief-like” in important ways. This view typically posits a distinctive cognitive attitude (a “DCA”) called “imagination” that is taken toward the propositions entertained during pretense, along with correspondingly distinct elements of cognitive architecture. This paper argues that the characteristics of pretense motivating such views of imagination can be explained without positing a DCA, or other cognitive architectural features beyond those regulating normal belief and (...) desire. On the present “Single Attitude” account of imagination, propositional imagining just is a form of believing. The Single Attitude account is also distinguished from “metarepresentational” accounts of pretense, which hold that both pretending and recognizing pretense in others require one to have concepts of mental states. It is argued, to the contrary, that pretending and recognizing pretense require neither a DCA nor possession of mental state concepts. (shrink)

I criticize Bourget’s intuitive and empirical arguments for thinking that all possible conscious states are underived if intentional. An underived state is one of which it is not the case that it must be realized, at least in part, by intentional states distinct from itself. The intuitive argument depends upon a thought experiment about a subject who exists for only a split second while undergoing a single conscious experience. This, however, trades on an ambiguity in "split second." Meanwhile, Bourget's (...) empirical argument is question-begging. My critique also has implications for debates about the essential temporality and unity of consciousness experience, and, phenomenal atomism. (shrink)

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in (...) explaining (i) in terms of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

The Transamazon (Br-230) Highway in the state of Pará has had its image frozen for decades: themuddy road, the cars stopped or tractors tearing down a forest, empty of people, opening the amazonianspace to a project of an authoritarian modernization. Reproduced by and reproductive of the teachingsof geography – including for children and teenagers who live on the edge of the road, in settlements andcommunities on the sideroads (vicinais) – in textbooks and discourses that frame regional scale (astotalizing and explanatory) (...) instead of scales emplaced in situ. The result of such dinamics is not restricted to a gap between what one experiences as a phenomenon and what one learns as a concept,it goes towards the reproducibility of an “unexistance of the creative potential” of the people living onthe sideroads, places of the construction of a geography, as well as mapping, that, from there, push usto rethink the unwavering foundations of such frosen images , of the generalistic maps and theirstandardizing projections, scales and simbology. To do so, we have, along with students and teachersof 2 schools on the sideroads of the municipality of Pacajá (PA), in the period of the beggining of 2016to 2019, done several geocartographic exercises: mind maps developped with students about the past,present and the future of the vicinal (sideroad). That is, an attempt to provoque the body into the mapand the map into the body in a context of a limit situation of existance, given the precarious schoolconditions as well as the diferent challenges lived by students and teachers. Such corporal engagementas an attempt to think the sideroads as a location in construction and, from there, a situated opening tothe world, is what gives meaning to geocartography. It is possible to conclude that: a) facing thesedimentary representations paralysing and overview of the Transamazon in the state of Pará , thephenomenological exercise of reactivation of geocartogrphying provoques the emergence of asubjective significance that does not separate the emotional and symbolic perspectives on creatingmaps; b) the corporal engagement and the situated perspective of students and teachers, not only hasthe value of a totalyzing exemple, but that of an opening to what is new as they bring up a simbologythat reveals the need to build a dialogical bridge between what is lived on the sideroads and the worldthat classifies it as “unexisting”. (shrink)

As they make their way through Louis Althusser’s and Jacques Derrida’s texts, readers will cross innumerable curtains – ‘the words and things’, as Derrida says, as many fabrics of traces. These curtains open onto a multiplicity of scenes and mises en scène, performances, roles, rituals, actors, plays – thus unfolding the space of a certain theatricality. This essay traces Althusser’s and Derrida’s respective deployments of the theatrical motif. In his theoretical writings, Althusser’s theatrical dispositive aims to designate the practical and (...) material dimension of the scenes of ideology, materially enacted through roleplays, performances, acts, or discourses. At the horizon: a scientific discourse on ideology or, later, a strategic intervention in the class struggle. This scientific and/or strategic orientation echoes Althusser’s definition of materialism: ‘no more storytelling’. But Derrida’s ‘closure of representation’ reminds us that there’s no presence – even the most ‘material’ – no ‘truth’ or ‘correctness’ – in theoretical or strategic terms – without effects of re-presentation, differential repetition, narrative reconstruction: theatricality and materiality suppose a force of resistance, a secret heterogeneity, curtain foldings. Hence the irreducible necessity of reading, storytelling, transformative interpretation. What are the implications for thinking inheritance and debt – for example, the one binding Althusser and Derrida, and us to them? (shrink)

There are simple mechanical systems that elude causal representation. We describe one that cannot be represented in a single directed acyclic graph. Our case suggests limitations on the use of causal graphs for causal inference and makes salient the point that causal relations among variables depend upon details of causal setups, including values of variables.

In my review of Steven French's The structure of the world. Metaphysics & Representation. OUP, Oxford, 2014 I argue that the author is forced to navigate between the Scilla of Tegmark’s Pitagoreanism (2008) and the Carybdis of “blobobjectivism” (Horgan and Potrč 2008), namely the claim that the whole physical universe is a single concrete structurally complex but partless cosmos (a “blob”).

Pessimism is, roughly, the view that life is not worth living. In chapter 46 of the second volume of The World as Will and Representation, Arthur Schopenhauer provides an oft-neglected argument for this view. The argument is that a life is worth living only if it does not contain any uncompensated evils; but since all our lives happen to contain such evils, none of them are worth living. The now standard interpretation of this argument (endorsed by Kuno Fischer and (...) Christopher Janaway) proceeds from the claim that the value—or rather valuelessness—of life’s goods makes compensation impossible. But this interpretation is neither philosophically attractive nor faithful to the text. In this paper, I develop and defend an alternative interpretation (suggested by Wilhelm Windelband and Mark Migotti) according to which it is instead the actual temporal arrangement of life’s goods and evils that makes compensation impossible. (shrink)

This paper proposes a parallel between the theories of pictorial representation put forward by Edmund Husserl and Richard Wollheim. By doing so, it aims to facilitate a dialogue that can provide some new elements for an appropriate understanding of threefold seeing-in. The first section offers a comprehensive interpretation of Husserl’s theory of image-consciousness. This experience is considered a threefold perceptual phantasy, different from perception and sign-consciousness. The second section presents a review of Wollheim’s theory of twofold seeing-in and addresses (...) a possible ambiguity in his notion of thing represented. Finally, the third section discusses two topics that result from this parallel: first, the characteristics of the configurational and recognitional folds in a seeing-in experience, and second, the possibility of their ‘mixture’ with phantasy. As a result, I propose a different account of threefold seeing-in: I suggest that the configurational and the recognitional folds should be considered aspects or intentions of seeing-in, and that the configurational aspect corresponds to the intention to the image-object. (shrink)

Plato’s most infamous discussions of poetry in the Republic, in which he both develops original distinctions in narratology and advocates some form of censorship, raises numerous philosophical and philological questions. Foremost among them, perhaps, is the puzzle of why he returns to poetry in Book X after having dealt with it thoroughly in Books II–III, particularly because his accounts of the “mimetic” aspect of poetry are, on their face, quite different. How are we to understand this double treatment? Here I (...) will focus on a single aspect of this question, the compatibility of the notion of μίμησις and its cognates in the two books. As Nickolas Pappas has said, “Whether Books 3 and 10 offer compatible accounts of mimêsis, and how one might make them compatible, remains the most controversial question about Plato’s aesthetics”.2 I will show that there is a single notion of μίμησις operative throughout, namely that of representation by resemblance. I will take an unusual tack. I will not begin with the most problematic part of Book III for this interpretation about poetic, linguistic μίμησις, but with the later sections on musical μίμησις. Once we have an account of this, I claim, it is easier to see how narrative μίμησις is also a kind of representation by resemblance. (shrink)

Five experiments investigated the role of spatial connectedness between a pair of objects presented in the change detection task for the actual capacity of visual working memory (VWM) in healthy young adults (total N = 405). Three experiments yielded a surprising nonlinear relationship between the proportion of pair-wise connected objects and capacity, with the highest capacity observed for homogenous displays, when either all objects were connected or disjointed. A drop in capacity, ranging from an average of a quarter of an (...) object out of three objects maintained in VWM, was noted when only some objects were connected while others were disjointed. As indicated by another two experiments, this effect was specific to double-feature encoding, but disappeared when single visual features had to be memorized. No existing theoretical model of VWM can directly explain this novel effect. Overall, the nonlinear effect of spatial connectedness implies that representations in VWM possess hierarchical structure defined by wholes, parts, features, and their relations, and the heterogeneity of such a structure hinders VWM performance, while homogeneity facilitates it. (shrink)

Building on theoretical insights and rich experimental data of our preprints, we present here new theoretical and experimental results in three interrelated approaches to the Collatz problem and its generalizations: algorithmic decidability, random behavior, and Diophantine representation of related discrete dynamical systems, and their cyclic and divergent properties.

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and (...) broad scope. We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

A number of recent theories of quantum gravity lack a one-dimensional structure of ordered temporal instants. Instead, according to many of these views, our world is either best represented as a single three-dimensional object, or as a configuration space composed of such three-dimensional objects, none of which bear temporal relations to one another. Such theories will be empirically self-refuting unless they can accommodate the existence of conscious beings capable of representation. For if representation itself is impossible in (...) a timeless world, then no being in such a world could entertain the thought that a timeless theory is true, let alone believe such a theory or rationally believe it. This paper investigates the options for understanding representation in a three-dimensional, timeless, world. Ultimately it concludes that the only viable option is one according to which representation is taken to be deeply non-naturalistic. Ironically then we are left with two seemingly very unattractive options. Either a very naturalistic motivation—taking seriously a live view in fundamental physics—leads us to a very non-naturalistic view of the mental, or else views in the philosophy of mind partly dictate what is an acceptable theory in physics. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...) Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

While the predominant focus of the philosophical literature on scientific modeling has been on single-scale models, most systems in nature exhibit complex multiscale behavior, requiring new modeling methods. This challenge of modeling phenomena across a vast range of spatial and temporal scales has been called the tyranny of scales problem. Drawing on research in the geosciences, I synthesize and analyze a number of strategies for taming this tyranny in the context of conceptual, physical, and mathematical modeling. This includes several (...) strategies that can be deployed in physical modeling, even when strict dynamical scaling fails. In all cases, I argue that having an adequate conceptual model—given both the nature of the system and the particular purpose of the model—is essential. I draw a distinction between depiction and representation, and use this research in the geosciences to advance a number of debates in the philosophy of modeling. (shrink)

Almost any mainstream reading about the nature of Kant's 'content of cognition' in both non-conceptualist and conceptualist camps agree that 'singular representations' (sensible intuitions) are, at least in some weak sense, objectdependent because they supervene on a manifold of sensations that are given through the disposition of our sensibility and parallel thus the real and physical components of the world (cf. McDowell 1996, Allison 1983, Ginsborg 2008, Allais 2009). The relevant class of sensible intuitions should refer, as they argue, only (...) to empirical and not to pure ones. Kant's transcendental argument creates, however, no implications as to the metaphysics of properties. Neither does he consider the world to be consisted of sensory content simpliciter nor do sensations refer to objects per se. Instead, he provides an all-encompassing pattern for sensible intuitions of any kind through the representation of space as a cognitive map in that an object can be represented if spatial properties are attributed to it. Sensible intuitions of any kind could be referring, that is to say, and can be conceptualized if they are spatial. Consequently and unlike the contemporary philosophy of perception, Kant contrasts sensible intuitions and pure concepts of understanding 'altogether' against one single experience, from which the justification of objects should proceed. In other words, what stands at the core of exposing the content of cognition concerns not the phenomenological status and actuality of sensible intuitions in the sense of 'bits of experiential intake', but the logical structure of possibility of sensible intuitions of any (external or internal) causal background. The aim of this discussion is to clarify that Kant's transcendental idealism mutatis mutandis reviews multiple and diverse kinds of 'data of mind' and cognition in the background, without reducing the content of cognition to metaphysically determined referents as 'matters of fact' and to pure concepts of understanding. Sensible intuitions in the sense of content of cognition vary, most importantly, from unstructured and unjustifiable data of mind including (physical) contents of perception and stuff of mind and also from reflective and intellectual intuitions that are the cognates of the structured complex singular representations. Put it in simple terms, Kant advocates the thesis that 'facts' are objects for concepts if they are already well-founded trough the cognitive map of the representation of space. -/- . (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference (...) between reasoning in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

Reality is two-fold, composed of the lighted world as revealed in Genesis, and the darker primordiality which preceded it. The illuminated represents that which the human mind can comprehend, manipulate and re-order to its will: a “designed” and mechanical universe of parts. But behind it, in the backspace of reality, remains the darkness. A formless state of pre-creation, the darkness exists as an endless series of intertwining “signatures” – single possibilities waiting to be created in the illuminated forefront (...) of reality. Permitting each and every part of the lighted world to be connected to the rest, it possesses a “design” all of its own. The question is, if we are blind in the dark, how could we ever come to know it? (shrink)

The concept of quantum information is introduced as both normed superposition of two orthogonal sub-spaces of the separable complex Hilbert space and in-variance of Hamilton and Lagrange representation of any mechanical system. The base is the isomorphism of the standard introduction and the representation of a qubit to a 3D unit ball, in which two points are chosen. The separable complex Hilbert space is considered as the free variable of quantum information and any point in it (a wave (...) function describing a state of a quantum system) as its value as the bound variable. A qubit is equivalent to the generalization of ‘bit’ from the set of two equally probable alternatives to an infinite set of alternatives. Then, that Hilbert space is considered as a generalization of Peano arithmetic where any unit is substituted by a qubit and thus the set of natural number is mappable within any qubit as the complex internal structure of the unit or a different state of it. Thus, any mathematical structure being reducible to set theory is re-presentable as a set of wave functions and a subspace of the separable complex Hilbert space, and it can be identified as the category of all categories for any functor represents an operator transforming a set (or subspace) of the separable complex Hilbert space into another. Thus, category theory is isomorphic to the Hilbert-space representation of set theory & Peano arithmetic as above. Given any value of quantum information, i.e. a point in the separable complex Hilbert space, it always admits two equally acceptable interpretations: the one is physical, the other is mathematical. The former is a wave function as the exhausted description of a certain state of a certain quantum system. The latter chooses a certain mathematical structure among a certain category. Thus there is no way to be distinguished a mathematical structure from a physical state for both are described exhaustedly as a value of quantum information. This statement in turn can be utilized to be defined quantum information by the identity of any mathematical structure to a physical state, and also vice versa. Further, that definition is equivalent to both standard definition as the normed superposition and in-variance of Hamilton and Lagrange interpretation of mechanical motion introduced in the beginning of the paper. Then, the concept of information symmetry can be involved as the symmetry between three elements or two pairs of elements: Lagrange representation and each counterpart of the pair of Hamilton representation. The sense and meaning of information symmetry may be visualized by a single (quantum) bit and its interpretation as both (privileged) reference frame and the symmetries of the Standard model. (shrink)

We examine a proposal for dealing with perhaps the chief difficulty facing holistic theories of meaning—meaning instability. The problem is that, given a robust holism, small changes in a representational system are likely to lead to meaning changes throughout the system. Consequently, different individuals are likely never to mean the same thing. Eric Lormand suggests that holists can avoid this problem—and even secure more stability than non-holists—by positing that symbols have multiple meanings. We argue that the proposal doesn't work, however, (...) since multiple meanings are unstable for much the same reason that single meanings are. (shrink)

I join the growing ranks of theorists who reject the terms of traditional debates about the nature of emotion, debates that have long focused on the question of whether emotions should be understood as either cognitive or somatic kinds of states. Here, I propose and defend a way of incorporating both into a single theory, which I label the “Integrated Representational Theory” of emotion. In Section 2 I begin to construct the theory, defining and explaining emotions in terms of (...) three pieces of content: representations of the emoter’s body, something in the world, and a relevance relation between the objects of these first two pieces of content. I describe four general advantages I think the IRT offers. Finally, in Section 3, I elucidate and defend my account by contrasting it with another, similar proposal: Barlassina and Newen’s Impure Somatic Theory. In so doing, I explain two additional advantages of my view: first, it supports a unified explanation of all types of emotional response; and second, it offers the best framework for explaining how the representational contents of an emotion are integrated. (shrink)

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument (OZA) from a positive, explanatory conclusion to a negative, non-explanatory conclusion--and, correspondingly, redefined 'incompatibilism' so that it would no longer refer in his work to the view that determinism precludes (undermines, eliminates, destroys, etc.) free will, but (...) refers narrowly to the perhaps spurious association claim that appears in the conclusion of the revised Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the changes he made, the invalidity objection that led to them, nor to the fact that his revised Zygote Argument was originally presented by me as a (non-optimal) reaction to my invalidity objection to his original Zygote Argument. To my knowledge, Mele has only mentioned this 2015 paper once, at it was not in the context of understanding manipulation arguments; it was, rather, in the context of defending his revised, non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4). There, Mele singles out *just this 2015 paper* as a place where they'll find what Mele degrades as a type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. This is notable because Mele provides no empirical evidence that his preferred definition is standard, and most (including Lehrer, who coined the term) reject the negative, non-explanatory, association-based definition that Mele came to endorse in the aftermath of my invalidity objection to OZA. So, if Mele had a genuine concern about philosophers who use the term 'incompatibilism', then Mele could have--and should have--named almost any leading figure in free will for this purpose (since most--including Pereboom, Vihvelin, Haji, etc.) reject the non-explanatory definition that Mele-2013+ now endorses. Yet, for untold reasons, Mele isolated the working definition of 'incompatibilism' used in one paper by one unemployed junior researcher to use as his example--even though Neil Levy had used this same definition in previously published work (eg. Levy 2011). Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms -- especially considering that he might have instead pointed them to my OTHER 2015 paper, "A Critique of Vihvelin's Three-Fold Classification" in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the negative, non-explanatory "incompossibilist" definition that Mele adopted after my objection to OZA). By all appearances, Mele's main aim in citing specifically THIS paper and none of my other work was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). Mele adds to this unseemly rhetorical campaign in his book *Manipulation Agents* where he mentions an invalidity objection in the intro (p. 84) and then discusses that objection in the final lines of Chapter 5 of the book (p. 120-121). The invalidity objection discussed here is completely pedantic, has never been seriously raised in the primary literature (and was previously addressed in multiple places my multiple philosophers, including me), and has nothing whatever to do with my invalidity objection. In other words, Mele was content to discuss an invalidity objection that no one has ever had to an argument that is clearly valid while completely ignoring the ONLY substantive invalidity objection to his argument in print. This is unfortunate, because it has led to serious confusion --including the patently false description of my invalidity objection to OZA as an objection to the revised version of the Zygote Argument that Mele adopted in *response* my objection (e.g., Capes mistakenly claims "Mickelson (2015) contends that arguments like this [i.e. like the revised Zygote Argument] are invalid. But that’s because she defines “incompatibilism” differently than I’ve defined it here" in his "Manipulation Arguments and Direct Arguments" chapter in the 2023 Wiley-Blackwell Companion to Free Will; I did not say this, and the definition of 'incompatibilism' is irrelevant to my objection). In "The Zygote Argument Is Invalid--Now What?", I simply use the invalidity of the simple 2-premise Zygote Argument as a foil to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele has yet to address my reasons for calling attention to the non-trivial invalidity of his OZA or to any of my answers to the "Now What?" question in this paper, even though this question and my proposed answers to this question are the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this "Now What?" paper have helped to move the free-will debate forward, I suggest looking at the discussions of the "paradigm shift" in the free-will debate that helps to explain why the free-will debate has become mired in stalemates and empty verbal disputes that are found, for example, in my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)

When viewing a circular coin rotated in depth, it fills an elliptical region of the distal scene. For some, this appears to generate a two-fold experience, in which one sees the coin as simultaneously circular (in light of its 3D shape) and elliptical (in light of its 2D ‘perspectival shape’ or ‘p-shape’). An energetic philosophical debate asks whether the latter p-shapes are genuinely presented in perceptual experience (as ‘perspectivalists’ argue) or if, instead, this appearance is somehow derived or inferred (...) from experience (as ‘anti-perspectivalists’ argue). This debate, however, has largely turned on introspection. In a recent study, Morales, Bax, and Firestone (2020) aim to provide the first empirical test of this question. They asked subjects to find an elliptical coin seen face-on from a search array that also included a circular coin seen either face-on or at an angle. They found that subjects reacted more slowly when the distracting circle was seen at an angle, such that it’s p-shape matched that of the target ellipse. From this, they concluded that the similar p-shape between the ellipse and circle constituted a phenomenal similarity between the two, and thus that perspectivalism is true. We show that these results can also be explained by pre-attentive guidance by unconscious representations (in what follows, just “unconscious pre-attentive guidance”) and that this explanation is at least as plausible as one from phenomenal similarity. Thus, we conclude that the experiment does not support perspectivalism over anti-perspectivalism. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular (...) doctrine - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

Conceptual models as representations of real-world systems are based on diverse techniques in various disciplines but lack a framework that provides multidisciplinary ontological understanding of real-world phenomena. Concurrently, systems’ complexity has intensified, leading to a rise in developing models using different formalisms and diverse representations even within a single domain. Conceptual models have become larger; languages tend to acquire more features, and it is not unusual to use different modeling languages for different components. This diversity has caused problems with (...) consistency between models and incompatibly with designed systems. Two main solutions have been adopted over the last few years: (1) A currently dominant technology-based solution tries “to harmonize or unify” models, e.g., unifies EER and UML. This solution would solidify modeling achievements, reaping benefits from huge investments over the last thirty years. (2) A less prevalent solution is to pursuit deeper roots that reveal unifying modeling principles and apparatuses. An example of the second method is a “category theory”-based approach that utilizes the strengths of the graph and set theory, along with other topological tools. This manuscript is a sequel in a research venture that belongs to the second approach and uses a model called thinging machines (TMs) founded on Stoic ontology and Lupascian logic. TM modeling contests the thesis that there is no universal approach that covers all aspects of an application, and the paper demonstrates that pursuing such universality is anything but a dead-end method. This paper continues in this direction, with emphasis on TM foundation (e.g., existence and subsistence of things) and exemplifies this pursuit by proposing an alternative representation of set theory. (shrink)

This article shows how the MISS account of models—as isolations and surrogate systems—accommodates and elaborates Sugden’s account of models as credible worlds and Hausman’s account of models as explorations. Theoretical models typically isolate by means of idealization, and they are representatives of some target system, which prompts issues of resemblance between the two to arise. Models as representations are constrained both ontologically (by their targets) and pragmatically (by the purposes and audiences of the modeller), and these relations are coordinated by (...) a model commentary. Surrogate models are often about single mechanisms. They are distinguishable from substitute models, which are examined without any concern about their connections with the target. Models as credible worlds are surrogate models that are believed to provide access to their targets on account of their credibility (of which a few senses are distinguished). (shrink)

This metatheoretical paper investigates mind wandering from the perspective of philosophy of mind. It has two central claims. The first is that, on a conceptual level, mind wandering can be fruitfully described as a specific form of mental autonomy loss. The second is that, given empirical constraints, most of what we call “conscious thought” is better analyzed as a subpersonal process that more often than not lacks crucial properties traditionally taken to be the hallmark of personal-level cognition - such as (...) mental agency, explicit, consciously experienced goal-directedness, or availability for veto control. I claim that for roughly two thirds of our conscious life-time we do not possess mental autonomy (M-autonomy) in this sense. Empirical data from research on mind wandering and nocturnal dreaming clearly show that phenomenally represented cognitive processing is mostly an automatic, non-agentive process and that personal-level cognition is an exception rather than the rule. This raises an interesting new version of the mind-body problem: How is subpersonal cognition causally related to personal-level thought? More fine-grained phenomenological descriptions for what we called “conscious thought” in the past are needed, as well as a functional decomposition of umbrella terms like “mind wandering” into different target phenomena and a better understanding of the frequent dynamic transitions between spontaneous, task-unrelated thought and meta-awareness. In an attempt to lay some very first conceptual foundations for the now burgeoning field of research on mind wandering, the third section proposes two new criteria for individuating single episodes of mind-wandering, namely, the “self-representational blink” (SRB) and a sudden shift in the phenomenological “unit of identification” (UI). I close by specifying a list of potentially innovative research goals that could serve to establish a stronger connection between mind wandering research and philosophy of mind. (shrink)

Henry More argues that materialism cannot account for cases where a single subject or perceiver has multiple perceptions simultaneously. Since we clearly do have multiple perceptions at the same time--for example, when we see, hear, and smell simultaneously--More concludes that we are not wholly material. In response to More's argument, Margaret Cavendish adopts a two-fold strategy. First, she argues that there is no general obstacle to mental unification in her version of materialism. Second, Cavendish appeals to the mind (...) or rational matter--terms she often uses interchangeably—to explain the integration of sensory input from multiple senses. When the mind integrates perceptions across modalities, the different parts of rational matter share their knowledge so that they all come to perceive alike. When rational parts successfully communicate their knowledge, each part knows what all the others know. They pool their knowledge; they perceive alike. Thus, when someone hears, sees, and tastes, each part of her mind hears, sees, and tastes alike, in parallel and in unison. The Cavendishian mind, in short, approximates simplicity by achieving uniformity or homogeneity of perceptions across its parts. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

Martin and Deutscher’s causal theory of remembering holds that a memory trace serves as a necessary causal link between any genuine episode of remembering and the event it enables one to recall. In recent years, the causal theory has come under fire from researchers across philosophy and cognitive science, who argue that results from the scientific study of memory are incompatible with the kinds of memory traces that Martin and Deutscher hold essential to remembering. Of special note, these critics observe, (...) is that a single memory trace can be shaped by multiple past experiences. This appears to prevent traces from underwriting Martin and Deutscher’s distinction between remembering an event and merely forming an accurate representation of it. This paper accepts such criticisms of the standard causal theory and, through considering the phenomenon forgetting through repetition, raises several others. A substantially revised causal theory is then developed, compatible with the thesis that individual memory traces are shaped by multiple past experiences. The key strategy is to conceive of episodic remembering not as the simple retrieval and projection of a static memory trace, but as a complex quasi-inferential process that makes use of multiple forms of information and cues—“prop-like” memory traces included—in generating the experience known as episodic remembering. When remembering is understood as a multi-componential process, there are a variety of ways in which a representation of the past may be appropriately causally dependent upon a prior experience of the event remembered. (shrink)

This essay is about the relationship between the notions of practical reason, the will, and choice in Kant’s practical philosophy. Although Kant explicitly identifies practical reason and the will, many interpreters argue that he cannot really mean it on the grounds that unless they are distinct, irrational and, especially, immoral action is impossible. Other readers affirm his identification but distinguish the will from choice on the same basis. We argue that proper attention to Kant’s conception of practical reason as a (...) capacity reveals that these distinctions are neither textually grounded nor philosophically necessary. His moral psychology concerns a single capacity, practical reason, which is the will, and whose actualities in this or that individual fall under the title of choice. Practical reason is the will and choice because it is the rational faculty of desire: a rational being’s capacity to be, by means of her representations, the cause of the actuality of their objects. This, we argue, is entailed by his conception of rational action: action not just in accordance with, but in and through the representation of, principles. The possibility of irrational action is explained not by a distinction between capacities but by the finitude, and thereby the fallibility, of human reason. (shrink)

In demonstration, speakers use real-world activity both for its practical effects and to help make their points. The demonstrations of origami mathematics, for example, reconfigure pieces of paper by folding, while simultaneously allowing their author to signal geometric inferences. Demonstration challenges us to explain how practical actions can get such precise significance and how this meaning compares with that of other representations. In this paper, we propose an explanation inspired by David Lewis’s characterizations of coordination and scorekeeping in conversation. In (...) particular, we argue that words, gestures, diagrams and demonstrations can function together as integrated ensembles that contribute to conversation, because interlocutors use them in parallel ways to coordinate updates to the conversational record. (shrink)

As this book makes clear, current use of data structures such as frames, scripts, and stereotypes in psychology, artificial intelligence, and all the other disciplines now grouped together as Cognitive Science develop ideas already explored by Husserl who believed that the analysis of mental representations was the proper subject of philosophy, psychology, and other disciplines that deal with the mind. This new anthology will serve as an ideal introduction to phenomenology for analytic philosophers, both as a text and as the (...) single most useful source book on Husserl for cognitive scientists. An MIT Press/Bradford Book. (shrink)

The problem of amodal perception is the problem of how we represent features of perceived objects that are occluded or otherwise hidden from us. Bence Nanay (2010) has recently proposed that we amodally perceive an object's occluded features by imaginatively projecting them into the relevant regions of visual egocentric space. In this paper, I argue that amodal perception is not a single, unitary capacity. Drawing appropriate distinctions reveals amodal perception to be characterized not only by mental imagery, as Nanay (...) suggests, but also by genuinely visual representations as well as beliefs. I conclude with some brief remarks on the role of object-directed bodily action in conferring a sense of unseen presence on an object's occluded features. (shrink)

Analytic philosophers increasingly make reference to the concept of ideology to think about how representational structures can lead to oppression, and argue that the distinctively pernicious functioning of things like propaganda and generic generalizations need to be explained in terms of ideology. The aim of this paper is two-fold. First, it aims to serve as an introduction to (some of) the best contemporary work on ideology in the analytic tradition. Second, it proposes a novel challenge for any such theory. (...) The challenge turns on the nature of intersectionality: it is hard to see how to render consistent the claims that ideology creates or sustains oppression with the claim that oppression is intersectional, without making substantial modifications to extant theories. The conclusion will be that certain projects in contemporary philosophy of language need to further develop their theories of ideology. (shrink)

Structured around Charles S. Peirce's three-fold categorical scheme, this article proposes a comparative study of Ayn Rand and Peirce's realist views in general metaphysics. Rand's stance is seen as diverging with Peirce's argument from asymptotic representation but converging with arguments from brute relation and neutral category. It is argued that, by dismissing traditional subject-object dualisms, Rand and Peirce both propose iconoclastic construals of what it means to be real, dismissals made all the more noteworthy by the fact each (...) chose to ground them in indissoluble triads of self-evident first principles. (shrink)

In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, (...) there are no processes unique to memory to support robust generalizations with inductive potential. Eliminativism about episodic memory seems to follow from the claim that it has no dedicated neurocognitive system of its own. After identifying this under-noticed threat, we push back against modern eliminativists by surveying recent evidence that still indicates specialized mechanisms, computations, and representations that are distinctly mnemic in character. We argue that contemporary realists about episodic memory can retain lessons of the common system approach while resisting the further move to eliminativism. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity (...) to existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The paper aims to give an account of practical knowledge by outlining a hylomorphic and conceptualist account of intentional action in analogy to McDowell's conceptualist account of experience. On this view, practical concepts provide the ideal or formal structure that unifies a manifold of bodily movements into a single intentional action, and hence intentional actions are structured conceptually. -/- - §1 sets out the basic features of this view in contrast to a common dualistic or two-component view of practical (...) knowledge, as an "inner" mental state with propositional content that functions as the efficient cause of some bodily movement in the "external" world, and introduces the claim that practical knowledge is the constitutive form of intentional action. - §2 illustrates the hylomorphic unity of concept and movement in action, and thus (contra Dreyfus) the corporeality of practical reason, by means of an account of practical concept formation, on which both the formation and tradition of practical concepts take place in bodily movement iself. - §3 elucidates the concept of a self-conscious disposition or rational capacity for action, actualizations of which are characterized by a syllogistic structure that accounts for both the explanation and the justification of action and thereby renders intelligible in what sense practical judgment is internal to acting itself. - Skillful exercises of such capacities express a knowledge-how that manifests itself in practical representations. §4 characterizes representations of this kind as a perceptually situated recognition of a practical pattern that amounts to the imaginative anticipation of a movement form by which the agent determines their next steps; a practical perception of the agent's particular situation that is both normative and motivational for them. - §5 starts by developing an identity theory of practical truth, on which the conceptual content of a (true) practical judgment is numerically identical with the formal structure of a (good) action, and concludes with explaining the unity of four features commonly attributed to practical knowledge, viz. that it is at the same time descriptive, normative, causally productive, and non-observational (or self-conscious). (shrink)