Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable (...) to a wide range of different conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the (...) renormalization group) they propose to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

Active materials are self-propelled non-living entities which, in some circumstances, exhibit a number of cognitively interesting behaviors such as gradient-following, avoiding obstacles, signaling and group coordination. This has led to scientific and philosophical discussion of whether this may make them useful as minimal models of cognition (Hanczyc, 2014; McGivern, 2019). Batterman and Rice (2014) have argued that what makes a minimal model explanatory is that the model is ultimately in the same universality class as the target system, (...) which underpins why it exhibits the same macrobehavior. We appeal to recent research in basal cognition (Lyon et al., 2021) to establish appropriate target systems and essential features of cognition as a target of modeling. Looking at self-propelled oil droplets, a type of active material, we do not find that organization alone indicates that these systems exhibit the essential features of cognition. We then examine the specific behaviors of oil droplets but also fail to find that these demonstrate the essential features of cognition. Without a universality class, Batterman & Rice’s account of the explanatory power of minimal models simply does not apply to cognition. However, we also want to stress that it is not intended to; cognition is not the same type of behavioral phenomena as those found in physics. We then look to the minimal cognition methodology of Beer (1996, 2020a, b) to show how active materials can be explanatorily valuable regardless of their cognitive status because they engage in specific behaviors that have traditionally been expected to involve internal representational dynamics, revealing misconceptions about the cognitive underpinnings of certain, specific behaviors in target systems where such behaviors are cognitive. Further, Beer’s models can also be genuinely explanatory by providing dynamical explanations. (shrink)

Marc Lange has recently raised three objections to the account of minimal model explanations offered by Robert Batterman and Collin Rice. In this article, I suggest that these objections are misguided. I suggest that the objections raised by Lange stem from a misunderstanding of the what it is that minimal model explanations seek to explain. This misunderstanding, I argue, consists in Lange’s seeing minimal model explanations as relating special types of models to particular target systems rather (...) than seeing minimal model explanations as looking to explain robust patterns of behavior that are exhibited by a variety of physically diverse systems. (shrink)

In this essay I suggest that we view design principles in systems biology as minimal models, for a design principle usually exhibits universal behaviors that are common to a whole range of heterogeneous (living and nonliving) systems with different underlying mechanisms. A well-known design principle in systems biology, integral feedback control, is discussed, showing that it satisfies all the conditions for a model to be a minimal model. This approach has significant philosophical implications: it not only accounts (...) for how design principles explain, but also helps clarify one dispute over design principles, e.g., whether design principles provide mechanistic explanations or a distinct kind of explanations called design explanations. (shrink)

By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty (...) name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)

Simple idealized models seem to provide more understanding than opaque, complex, and hyper-realistic models. However, an increasing number of scientists are going in the opposite direction by utilizing opaque machine learning models to make predictions and draw inferences, suggesting that scientists are opting for models that have less potential for understanding. Are scientists trading understanding for some other epistemic or pragmatic good when they choose a machine learning model? Or are the assumptions behind why minimal (...) models provide understanding misguided? In this paper, using the case of deep neural networks, I argue that it is not the complexity or black box nature of a model that limits how much understanding the model provides. Instead, it is a lack of scientific and empirical evidence supporting the link that connects a model to the target phenomenon that primarily prohibits understanding. (shrink)

Robert Brandom’s normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This paper argues that Brandom’s purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. The upshot (...) of the argument is support for the claim that the normative pragmatic analysis of assertions requires a corresponding analysis of queries and vice versa. (shrink)

In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is applied to (...) contradictory assumptions. In Priest’s approach the inconsistent parts of models are compared in an extensional way by considering their inconsis- tent objects. This distinguishes his system from the standard format of (inconsistency-)adaptive logics pioneered by Diderik Batens, according to which (atomic) contradictions validated in models form the basis of their comparison. A well-known problem for Priest’s extensional approach is its lack of the Strong Reassurance property, i.e., for specific settings there may be infinitely descending chains of less and less inconsistent models, thus never reaching a minimally inconsistent model. In this paper, we demonstrate that Strong Reassurance holds for the extensional approach under a cardinality-based comparison of the incon- sistent parts of models. Furthermore, we introduce and investigate the metatheory of the class of first-order nonmonotonic inconsistency-tolerant construct over the extensional or quantitative comparisons of their respec- tive models. Core model-theoretic properties for these logics, such as the Löwenheim-Skolem theorems, along with other nonmonotonic properties, are further studied. (shrink)

This paper defends the idea that phenomenological approaches to self-consciousness can enrich the current analytic philosophy of perception, by showing how phenomenological discussions of minimal self-consciousness can enhance our understanding of the phenomenology of conscious perceptual experiences. As a case study, I investigate the nature of the relationship between naïve realism, a contemporary Anglophone theory of perception, and experiential minimalism (or, the ‘minimal self’ view), a pre-reflective model of self-consciousness originated in the Phenomenological tradition. I argue that naïve (...) realism is not only compatible with, but can be supplemented with experiential minimalism in a novel way. The suggestion is that there are reasons to combine naïve realism and experiential minimalism. My focus here will be on drawing a connection between the notion of minimal self and two core theoretical commitments of naïve realism, relationalism and transparency. (shrink)

I construct a quantum-logical model of the type of situation that seems to be at the root of the problem of interpreting the projection postulate (Luders' rule) as a criterion of minimal disturbance. It is shown that the most natural way of characterizing minimal disturbance leads to contradictory conclusions concerning the final state.

The aim of this article is to investigate the relevance and implications of synthetic models for the study of the interactive dimension of minimal life and cognition, by taking into consideration how the use of artificial systems may contribute to an understanding of the way in which interactions may affect or even contribute to shape biological identities. To do so, this article analyzes experimental work in synthetic biology on different types of interactions between artificial and natural systems, more (...) specifically: between protocells and between biological living cells and protocells. It discusses how concepts such as control, cognition, communication can be used to characterize these interactions from a theoretical point of view, which criteria of relevance and evaluation of synthetic models can be applied to these cases, and what are their limits. (shrink)

Dynamicism has provided cognitive science with important tools to understand some aspects of “how cognitive agents work” but the issue of “what makes something cognitive” has not been sufficiently addressed yet, and, we argue, the former will never be complete without the later. Behavioristic characterizations of cognitive properties are criticized in favor of an organizational approach focused on the internal dynamic relationships that constitute cognitive systems. A definition of cognition as adaptive-autonomy in the embodied and situated neurodynamic domain is provided: (...) the compensatory regulation of a web of stability dependencies between sensorimotor structures, is created and preserved during a historical/developmental process. We highlight the functional role of emotional embodiment: internal bioregulatory processes coupled to the formation and adaptive regulation of neurodynamic autonomy. Finally, we discuss a “minimally cognitive behavior program” in evolutionary simulation modelling suggesting that much is to be learned from a complementary “minimally cognitive organization program”. (shrink)

In the last 20 years, a stream of research emerged under the label of „complex problem solving“ (CPS). This research was intended to describe the way people deal with complex, dynamic, and intransparent situations. Complex computer-simulated scenarios were as stimulus material in psychological experiments. This line of research lead to subtle insights into the way how people deal with complexity and uncertainty. Besides these knowledge-rich, realistic, intransparent, complex, dynamic scenarios with many variables, a second line of research used more simple, (...) knowledge-lean scenarios with a low number of variables („minimal complex systems“, MCS) that have been proposed recently in problem-solving research for the purpose of educational assessment. In both cases, the idea behind the use of microworlds is to increase validity of problem solving tasks by presenting interactive environments that can be explored and controlled by participants while pursuing certain action goals. The main argument presented here is: both types of systems - CPS and MCS – can only be dealt with successfully if causal dependencies between input and output variables are identified and used for system control. System knowledge is necessary for control and intervention. But CPS and MCS differ in their way of how causal dependencies are identified and how the mental model is constructed; therefore, they cannot be compared directly to each other with respect to the cognitive processes that are necessary for solving the tasks. Knowledge-poor MCS tasks address only a small fraction of the cognitive processes and structures needed for knowledge-rich CPS situations. (shrink)

Prediction Error Minimization theory (PEM) is one of the most promising attempts to model perception in current science of mind, and it has recently been advocated by some prominent philosophers as Andy Clark and Jakob Hohwy. Briefly, PEM maintains that “the brain is an organ that on aver-age and over time continually minimizes the error between the sensory input it predicts on the basis of its model of the world and the actual sensory input” (Hohwy 2014, p. 2). An interesting (...) debate has arisen with regard to which is the more adequate epistemological interpretation of PEM. Indeed, Hohwy maintains that given that PEM supports an inferential view of perception and cognition, PEM has to be considered as conveying an internalist epistemological perspective. Contrary to this view, Clark maintains that it would be incorrect to interpret in such a way the indirectness of the link between the world and our inner model of it, and that PEM may well be combined with an externalist epistemological perspective. The aim of this paper is to assess those two opposite interpretations of PEM. Moreover, it will be suggested that Hohwy’s position may be considerably strengthened by adopting Carlo Cellucci’s view on knowledge (2013). (shrink)

Considerable evidence proves that causal learning and causal understanding greatly enhance our ability to manipulate the physical world and are major factors that distinguish humans from other primates. How do we enable unintelligent robots to think causally, answer the questions raised with "why" and even understand the meaning of such questions? The solution is one of the keys to realizing artificial intelligence. Judea Pearl believes that to achieve human-like intelligence, researchers must start by imitating the intelligence of children, so he (...) proposed a "causal inference engine" to help future artificial intelligence make causal inference, pass the Minimal Turing Test, and even become a moral subject who can discern good from evil. This study attempts to provide some insights into the development of children's education from basic assumptions and construction goals of artificial intelligence, and to reflect on the causal model of artificial intelligence through children's education. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and show (...) that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

Parenting involves an extraordinary degree of power over children. Republicans are concerned about domination, which, on one view, is the holding of power that fails to track the interests of those over whom it is exercised. On this account, parenting as we know it is dominating due to the low standards necessary for acquiring and retaining parental rights and the extent of parental power. Domination cannot be fully eliminated from child-rearing without unacceptable loss of value. Most likely, republicanism requires that (...) we minimise children’s domination. I examine alternative models of child-rearing that are immune to republican criticism. (shrink)

In this article, I argue that the artificial components of hybrid bionic systems do not play a direct explanatory role, i.e., in simulative terms, in the overall context of the systems in which they are embedded in. More precisely, I claim that the internal procedures determining the output of such artificial devices, replacing biological tissues and connected to other biological tissues, cannot be used to directly explain the corresponding mechanisms of the biological component(s) they substitute (and therefore cannot be used (...) to explain the local mechanisms determining an overall biological or cognitive function replicated by such bionic models). I ground this analysis on the use of the Minimal Cognitive Grid (MCG), a novel framework proposed in Lieto (Cognitive design for artificial minds, 2021) to rank the epistemological and explanatory status of biologically and cognitively inspired artificial systems. Despite the lack of such a direct mechanistic explanation from the artificial component, however, I also argue that the hybrid bionic systems can have an indirect explanatory role similar to the one played by some AI systems built by using an overall structural design approach (but including the partial adoption of functional components). In particular, the artificial replacement of part(s) of a biological system can provide i) a local functional account of that part(s) in the context of the overall functioning of the hybrid biological–artificial system and ii) global insights about the structural mechanisms of the biological elements connected to such artificial devices. (shrink)

I this paper I give minimal axioms for the ontology of time, especially A-theories and B-theories and I derive philosophically interesting lemmas. The exercise is set-theoretical, defining all notions and indicating assumptions and philosophical points of disagreement, while being easy to translate to other formal expressions . The issue of a logic for A-theories of time is treated towards the end, where I sketch ‘copresent’ operators for capturing the idea of temporal passage. The main conclusion will be that, while (...) circularity threatens both families of theories, the growing block theory (belonging to the A-theory) is the least objectionable philosophically. (shrink)

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal (...) modalities to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained. (shrink)

Standard models in epistemic game theory make strong assumptions about agents’ knowledge of their own beliefs. Agents are typically assumed to be introspectively omniscient: if an agent believes an event with probability p, she is certain that she believes it with probability p. This paper investigates the extent to which this assumption can be relaxed while preserving some standard epistemic results. Geanakoplos (1989) claims to provide an Agreement Theorem using the “truth” axiom, together with the property of balancedness, a (...) significant relaxation of introspective omniscience. I provide an example which shows that Geanakoplos’s statement is incorrect. I then introduce a new property, local balancedness, which allows us both to correct Geanakoplos’s result, and to extend it to cases where the truth axiom may fail. I exploit this general Agreement Theorem to provide novel epistemic conditions for correlated and Nash equilibrium, both of which relax the assumption of introspective omniscience. In all three cases, the results are also extended to infinite state spaces. (This is Chapter 5 of my 2014 Oxford DPhil (PhD) thesis.). (shrink)

Foundational relations play an important role in the ontological foundations of conceptual modeling. Their investigation has been theoretically addressed in philosophical/ontological theories, and empirically offered in foundational ontologies (FOs). FOs are comprehensive theories that model the world as top-level entities and relations. Empirically, for modelers aiming to use foundational relations without an urge for entity types, FOs seem to be complex to comprehend, comply with, and integrate in practice. And since the practice of these relations is critical for conceptual modeling (...) tasks, we present an approach that builds a well-founded entity-type free relations theory within a first-order-logic formalization, besides large complex FOs. The theory contributes to a minimal set of foundational ontological relations (FORT) by importing extant theories (mereotopology and location) and (re-)formalizing other relations (dependence, membership, constitution, and entity-location), while no FO has compromised this set. (shrink)

The EU proposal for the Artificial Intelligence Act (AIA) defines four risk categories: unacceptable, high, limited, and minimal. However, as these categories statically depend on broad fields of application of AI, the risk magnitude may be wrongly estimated, and the AIA may not be enforced effectively. This problem is particularly challenging when it comes to regulating general-purpose AI (GPAI), which has versatile and often unpredictable applications. Recent amendments to the compromise text, though introducing context-specific assessments, remain insufficient. To address (...) this, we propose applying the risk categories to specific AI scenarios, rather than solely to fields of application, using a risk assessment model that integrates the AIA with the risk approach arising from the Intergovernmental Panel on Climate Change (IPCC) and related literature. This model enables the estimation of the magnitude of AI risk by considering the interaction between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We use large language models (LLMs) as an example. (shrink)

Cho and Martinez-Martin provide a wide-ranging analysis of what they label “digital simulacra”—which are in essence data-driven AI-based simulation models such as digital twins or models used for i...

According to the order ethics approach to business ethics, moral rules must be im-plemented by institutions that provide incentives for following the rules. As a minimal (normative) condition, these institutions must be able to motivate the homo eco-nomicus. But even if an institution passes this test, it will only motivate actual people (i.e. the homo psychologicus) to follow moral rules, if they have the relevant compe-tences and self-efficacy beliefs. Consequently, good institutional design includes com-prehensive change management. At this point (...) applied order ethics can draw on find-ings of psychology and experimental economics. It turns out, that role models can support self-efficacy beliefs and are thus more important for order ethics than has traditionally been assumed. (shrink)

The concept of agency is of crucial importance in cognitive science and artificial intelligence, and it is often used as an intuitive and rather uncontroversial term, in contrast to more abstract and theoretically heavy-weighted terms like “intentionality”, “rationality” or “mind”. However, most of the available definitions of agency are either too loose or unspecific to allow for a progressive scientific program. They implicitly and unproblematically assume the features that characterize agents, thus obscuring the full potential and challenge of modeling agency. (...) We identify three conditions that a system must meet in order to be considered as a genuine agent: a) a system must define its own individuality, b) it must be the active source of activity in its environment (interactionalasymmetry) and c) it must regulate this activity in relation to certain norms (normativity). We find that even minimal forms of proto-celular systems can already provide a paradigmatic example of genuine agency. By abstracting away some specific details of minimal models of living agency we define the kind of organization that is capable to meet the required conditions for agency (which is not restricted to living organisms). On this basis, we define agency as an autonomous organization that adaptively regulates its coupling with its environment and contributes to sustaining itself as a consequence. We find that spatiality and temporality are the two fundamental domains in which agency spans at different scales. We conclude by giving an outlook to the road that lies ahead in the pursuit to understand, model and synthesis agents. (shrink)

Cloud computing has provided many opportunities to businesses and individuals. It enables global and on demand network access to a shared pool of resources with minimal management effort. However, this bliss has become a problem for latency-sensitive applications. To improve efficiency of cloud and to reduce the amount of data that needs to be transported to the cloud for data processing, analysis and storage, a new network architect technology 'Fog Computing' has been introduced. In fog computing, small applications and (...) resources are processed at the edge of the cloud, rather than processing entire applications on the cloud. (shrink)

There is a trade-off between specificity and accuracy in existing models of belief. Descriptions of agents in the tripartite model, which recognizes only three doxastic attitudes—belief, disbelief, and suspension of judgment—are typically accurate, but not sufficiently specific. The orthodox Bayesian model, which requires real-valued credences, is perfectly specific, but often inaccurate: we often lack precise credences. I argue, first, that a popular attempt to fix the Bayesian model by using sets of functions is also inaccurate, since it requires us (...) to have interval-valued credences with perfectly precise endpoints. We can see this problem as analogous to the problem of higher order vagueness. Ultimately, I argue, the only way to avoid these problems is to endorse Insurmountable Unclassifiability. This principle has some surprising and radical consequences. For example, it entails that the trade-off between accuracy and specificity is in-principle unavoidable: sometimes it is simply impossible to characterize an agent’s doxastic state in a way that is both fully accurate and maximally specific. What we can do, however, is improve on both the tripartite and existing Bayesian models. I construct a new model of belief—the minimal model—that allows us to characterize agents with much greater specificity than the tripartite model, and yet which remains, unlike existing Bayesian models, perfectly accurate. (shrink)

The field of language evolution has recently made Gricean pragmatics central to its task, particularly within comparative studies between human and non-human primate communication. The standard model of Gricean communication requires a set of complex cognitive abilities, such as belief attribution and understanding nested higher-order mental states. On this model, non-human primate communication is then of a radically different kind to ours. Moreover, the cognitive demands in the standard view are also too high for human infants, who nevertheless do engage (...) in communication. In this paper I critically assess the standard view and contrast it with an alternative, minimal model of Gricean communication recently advanced by Richard Moore. I then raise two objections to the minimal model. The upshot is that this model is conceptually unstable and fails to constitute a suitable alternative as a middle ground between full-fledged human communication and simpler forms of non-human animal communication. (shrink)

Living agency is subject to a normative dimension (good-bad, adaptive-maladaptive) that is absent from other types of interaction. We review current and historical attempts to naturalize normativity from an organism-centered perspective, identifying two central problems and their solution: (1) How to define the topology of the viability space so as to include a sense of gradation that permits reversible failure, and (2) how to relate both the processes that establish norms and those that result in norm-following behavior. We present a (...) minimal metabolic system that is coupled to a gradient-climbing chemotactic mechanism. Studying the relationship between metabolic dynamics and environmental resource conditions, we identify an emergent viable region and a precarious region where the system tends to die unless environmental conditions change. We introduce the concept of normative field as the change of environmental conditions required to bring the system back to its viable region. Norm-following, or normative action, is defined as the course of behavior whose effect is positively correlated with the normative field. We close with a discussion of the limitations and extensions of our model and some final reflections on the nature of norms and teleology in agency. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

Political theorists have offered many accounts of collective decision-making under pluralism. I discuss a key dimension on which such accounts differ: the importance assigned not only to the choices made but also to the reasons underlying those choices. On that dimension, different accounts lie in between two extremes. The ‘minimal liberal account’ holds that collective decisions should be made only on practical actions or policies and that underlying reasons should be kept private. The ‘comprehensive deliberative account’ stresses the importance (...) of giving reasons for collective decisions, where such reasons should also be collectively decided. I compare these two accounts on the basis of a formal model developed in the growing literature on the ‘discursive dilemma’ and ‘judgment aggregation’ and address several questions: What is the trade-off between the (minimal liberal) demand for reaching agreement on outcomes and the (comprehensive deliberative) demand for reason-giving? How large should the ‘sphere of public reason’ be? When do the decision procedures suggested by the two accounts agree and when not? How good are these procedures at truthtracking on factual matters? What strategic incentives do they generate for decision-makers? My discussion identifies what is at stake in the choice between minimal liberal and comprehensive deliberative accounts of collective decisionmaking, and sheds light not only on these two ideal-typical accounts themselves, but also on many characteristics that intermediate accounts share with them. (shrink)

Philosophical and scientific investigations of the proprietary aspects of self—mineness or mental ownership—often presuppose that searching for unique constituents is a productive strategy. But there seem not to be any unique constituents. Here, it is argued that the “self-specificity” paradigm, which emphasizes subjective perspective, fails. Previously, it was argued that mode of access also fails to explain mineness. Fortunately, these failures, when leavened by other findings (those that exhibit varieties and vagaries of mineness), intimate an approach better suited to searching (...) for an explanation. Having an alternative in hand, one that shows promise of achieving explanatory adequacy, provides an additional reason to suspend the search for unique constituents. In short, a negative and a positive thesis are developed: we should cease looking for unique constituents and should seek to explain mineness in accord with the model developed here. This model rejects attempts to explain the phenomenon in terms of either a narrative or a minimal sense of self; it seeks to explain at a “molecular” level, one that appeals to multiple, interacting dimensions. The molecular-level model allows for the possibility that subjective perspective is distinct from a stark perspective (one that does not imply mineness). It proposes that the confounding of tacit expectations plays an important role in explaining mental ownership and its complement, disownership. But the confounding of tacit expectations is not sufficient. Because we are able to be aware of the existence of mental states that do not belong to self, we require a mechanism for determining degree of self-relatedness. One such mechanism is proposed here, and it is shown how this mechanism can be integrated into a general model of mental ownership. In the spirit of suggesting how this model might be able to help resolve outstanding problems, the question as to whether inserted thoughts belong to the patient who reports them is also considered. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

Despite their success in describing and predicting cognitive behavior, the plausibility of so-called ‘rational explanations’ is often contested on the grounds of computational intractability. Several cognitive scientists have argued that such intractability is an orthogonal pseudoproblem, however, since rational explanations account for the ‘why’ of cognition but are agnostic about the ‘how’. Their central premise is that humans do not actually perform the rational calculations posited by their models, but only act as if they do. Whether or not the (...) problem of intractability is solved by recourse to ‘as if’ explanations critically depends, inter alia, on the semantics of the ‘as if’ connective. We examine the five most sensible explications in the literature, and conclude that none of them circumvents the problem. As a result, rational ‘as if’ explanations must obey the minimal computational constraint of tractability. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...) semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

According to the Standard Model account of religion, religious concepts tend to conform to “minimally counterintuitive” schemas. Laypeople may, to varying degrees, verbally endorse the abstract doctrines taught by professional theologians. But, outside the Sunday school exam room, the implicit representations that tend to guide people’s everyday thinking, feeling, and behavior are about minimally counterintuitive entities. According to the Standard Model, these implicit representations are the essential thing to be explained by the cognitive science of religion. It is argued here (...) that this theoretical orientation of mainstream CSR misses a whole dimension of religiosity—the acceptance of certain religious authorities, that is, the acceptance of other people’s superior expertise. Average believers tend to accept the authority of religious experts who espouse highly counterintuitive ideas that they understand in a distorted form, if at all.... (shrink)

In the brain the relations between free neurons and the conditioned ones establish the constraints for the informational neural processes. These constraints reflect the systemenvironment state, i.e. the dynamics of homeocognitive activities. The constraints allow us to define the cost function in the phase space of free neurons so as to trace the trajectories of the possible configurations at minimal cost while respecting the constraints imposed. Since the space of the free states is a manifold or a non orthogonal (...) space, the minimum distance is not a straight line but a geodesic. The minimum condition is expressed by a set of ordinary differential equation ( ODE ) that in general are not linear. In the brain there is not an algorithm or a physical field that regulates the computation, then we must consider an emergent process coming out of the neural collective behavior triggered by synaptic variability. We define the neural computation as the study of the classes of trajectories on a manifold geometry defined under suitable constraints. The cost function supervises pseudo equilibrium thermodynamics effects that manage the computational activities from beginning to end and realizes an optimal control through constraints and geodetics. The task of this work is to establish a connection between the geometry of neural computation and cost functions. To illustrate the essential mathematical aspects we will use as toy model a Network Resistor with Adaptive Memory (Memristors).The information geometry here defined is an analog computation, therefore it does not suffer the limits of the Turing computation and it seems to respond to the demand for a greater biological plausibility. The model of brain optimal control proposed here can be a good foundation for implementing the concept of "intentionality",according to the suggestion of W. Freeman. Indeed, the geodesic in the brain states can produce suitable behavior to realize wanted functions and invariants as neural expressionsof cognitive intentions. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial (...) Intelligence, Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

This is a response to the nine commentaries on our target article “Unlimited Associative Learning: A primer and some predictions”. Our responses are organized by theme rather than by author. We present a minimal functional architecture for Unlimited Associative Learning that aims to tie to together the list of capacities presented in the target article. We explain why we discount higher-order thought theories of consciousness. We respond to the criticism that we have overplayed the importance of learning and underplayed (...) the importance of spatial modelling. We decline the invitation to add a negative marker to our proposed positive marker so as to rule out consciousness in plants, but we nonetheless maintain that there is no positive evidence of consciousness in plants. We close by discussing how UAL relates to development and to its material substrate. (shrink)

Despite the minimal attention paid by philosophers to gardening, the activity has a myriad of philosophical implications—aesthetic, ethical, political, and even edible. The same could be said of community food security and struggles for food justice. Two of gardening’s most significant practical benefits are that it generates communal solidarity and provides sustenance for the needy and undernourished during periods of crisis. In the twentieth century, large-scale community gardening in the U.S. and Canada coincided with relief projects during war-time and (...) economic downturn. More recently, small-scale gardening projects have emerged in schools, blighted urban areas, and communities of activists committed to increasing food security and resisting neo-liberal city planning policies. It is therefore surprising that pragmatist philosophers, who typically work at the nexus of theory and practice, have remained relatively silent about the relationship between gardening and food security. If more were to take up the challenge, they would find considerable guidance from several contemporary scholars working in diverse disciplines, from cultural geography to community studies, who explore the topic in a number of non-philosophical, though equally effective and imaginative, ways. In this paper, I propose a tentative pragmatist model for understanding how gardens make our food system more secure—a model inspired by John Dewey’s writings on school gardening, which I call the pragmatic pyramid. (shrink)

Fodor and Pylyshyn's critique of connectionism has posed a challenge to connectionists: Adequately explain such nomological regularities as systematicity and productivity without postulating a "language of thought" (LOT). Some connectionists like Smolensky took the challenge very seriously, and attempted to meet it by developing models that were supposed to be non-classical. At the core of these attempts lies the claim that connectionist models can provide a representational system with a combinatorial syntax and processes sensitive to syntactic structure. They (...) are not implementation models because, it is claimed, the way they obtain syntax and structure sensitivity is not "concatenative," hence "radically different" from the way classicists handle them. In this paper, I offer an analysis of what it is to physically satisfy/realize a formal system. In this context, I examine the minimal truth-conditions of LOT Hypothesis. From my analysis it will follow that concatenative realization of formal systems is irrelevant to LOTH since the very notion of LOT is indifferent to such an implementation level issue as concatenation. I will conclude that to the extent to which they can explain the law-like cognitive regularities, a certain class of connectionist models proposed as radical alternatives to the classical LOT paradigm will in fact turn out to be LOT models, even though new and potentially very exciting ones. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient (...) for identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

What is the most general common set of attributes that characterises something as intrinsically valuable and hence as subject to some moral respect, and without which something would rightly be considered intrinsically worthless or even positively unworthy and therefore rightly to be disrespected in itself? This paper develops and supports the thesis that the minimal condition of possibility of an entity's least intrinsic value is to be identified with its ontological status as an information object. All entities, even when (...) interpreted as only clusters of information, still have a minimal moral worth qua information objects and so may deserve to be respected. The paper is organised into four main sections. Section 1 models moral action as an information system using the object-oriented programming methodology (OOP). Section 2 addresses the question of what role the several components constituting the moral system can have in an ethical analysis. If they can play only an instrumental role, then Computer Ethics (CE) is probably bound to remain at most a practical, field-dependent, applied or professional ethics. However, Computer Ethics can give rise to a macroethical approach, namely Information Ethics (IE), if one can show that ethical concern should be extended to include not only human, animal or biological entities, but also information objects. The following two sections show how this minimalist level of analysis can be achieved. Section 3 provides an axiological analysis of information objects. It criticises the Kantian approach to the concept of intrinsic value and shows that it can be improved by using the methodology introduced in the first section. The solution of the Kantian problem prompts the reformulation of the key question concerning the moral worth of an entity: what is the intrinsic value of x qua an object constituted by its inherited attributes? In answering this question, it is argued that entities can share different observable properties depending on the level of abstraction adopted,and that it is still possible to speak of moral value even at the highest level of ontological abstraction represented by the informational analysis. Section 4 develops a minimalist axiology based on the concept of information object. It further supports IE's position by addressing five objections that may undermine its acceptability. (shrink)

There is converging evidence that high doses of hallucinogenic drugs can produce significant alterations of self-experience, described as the dissolution of the sense of self and the loss of boundaries between self and world. This article discusses the relevance of this phenomenon, known as “drug-induced ego dissolution (DIED)”, for cognitive neuroscience, psychology and philosophy of mind. Data from self-report questionnaires suggest that three neuropharmacological classes of drugs can induce ego dissolution: classical psychedelics, dissociative anesthetics and agonists of the kappa opioid (...) receptor (KOR). While these substances act on different neurotransmitter receptors, they all produce strong subjective effects that can be compared to the symptoms of acute psychosis, including ego dissolution. It has been suggested that neuroimaging of DIED can indirectly shed light on the neural correlates of the self. While this line of inquiry is promising, its results must be interpreted with caution. First, neural correlates of ego dissolution might reveal the necessary neurophysiological conditions for the maintenance of the sense of self, but it is more doubtful that this method can reveal its minimally sufficient conditions. Second, it is necessary to define the relevant notion of self at play in the phenomenon of DIED. This article suggests that DIED consists in the disruption of subpersonal processes underlying the “minimal” or “embodied” self, i.e., the basic experience of being a self rooted in multimodal integration of self-related stimuli. This hypothesis is consistent with Bayesian models of phenomenal selfhood, according to which the subjective structure of conscious experience ultimately results from the optimization of predictions in perception and action. Finally, it is argued that DIED is also of particular interest for philosophy of mind. On the one hand, it challenges theories according to which consciousness always involves self-awareness. On the other hand, it suggests that ordinary conscious experience might involve a minimal kind of self-awareness rooted in multisensory processing, which is what appears to fade away during DIED. (shrink)