I pedagogically show that the momentum operator in quantum mechanics, in the position representation, commonly known to be a derivative with respect to a spatial x-coordinate, can be derived by identifying momentum as the generator of space translations.

Vehicle externalism maintains that the vehicles of our mental representations can be located outside of the head, that is, they need not be instantiated by neurons located inside the brain of the cogniser. But some disagree, insisting that ‘non-derived’, or ‘original’, content is the mark of the cognitive and that only biologically instantiated representational vehicles can have non-derived content, while the contents of all extra-neural representational vehicles are derived and thus lie outside the scope of the cognitive. (...) In this paper we develop one aspect of Menary’s vehicle externalist theory of cognitive integration—the process of enculturation—to respond to this longstanding objection. We offer examples of how expert mathematicians introduce new symbols to represent new mathematical possibilities that are not yet understood, and we argue that these new symbols have genuine non-derived content, that is, content that is not dependent on an act of interpretation by a cognitive agent and that does not derive from conventional associations, as many linguistic representations do. (shrink)

This dissertation argues that mental representation is identical to phenomenal consciousness, and everything else that appears to be both mental and a matter of representation is not genuine mental representation, but either in some way derived from mental representation, or a case of non-mental representation.

Although Hume appeals to the representational features of perceptions in many arguments in the Treatise, his theory of representation has traditionally been regarded as a weak link in his epistemology. In particular, it has proven difficult to reconcile Hume's use of representation as causal derivation and resemblance (the Copy Principle) with his use of representation in the context of impressions and abstract ideas. This paper offers a unified interpretation of representation in Hume that draws on the (...) resources of Berkeley's doctrine of signs. On this account, while the Copy Principle still occupies the core of Hume's "content empiricism," the manner in which any perception represents is understood as involving a relation of sign to thing signified. A sign/signified interpretation has the virtue of allowing Hume to remain within the strictures of his empiricism, while underwriting the various senses in which an impression or idea could possess content. Such an interpretation is not only adequate to account for the role that mental representations play in everyday behavior, but also for the purposes of elaborating the foundations of civil society that are Hume's concern in Book 3 of the Treatise. (shrink)

In some recent papers (G. ‘t Hooft and others), it has been argued that quantum mechanics can arise from classical cellular automata. Nonetheless, G. Shpenkov has proved that the classical wave equation makes it possible to derive a periodic table of elements, which is very close to Mendeleyev’s one, and describe also other phenomena related to the structure of molecules. Hence the classical wave equation complements Schrödinger’s equation, which implies the appearance of a cellular automaton molecular model starting from classical (...) wave equation. The other studies show that the microworld is constituted as a tessellation of primary topological balls. The tessellattice becomes the origin of a submicrospic mechanics in which a quantum system is subdivided to two subsystems: the particle and its inerton cloud, which appears due to the interaction of the moving particle with oncoming cells of the tessellattice. The particle and its inerton cloud periodically change the momentum and hence move like a wave. The new approach allows us to correlate the Klein-Gordon equation with the deformation coat that is formed in the tessellatice around the particle. The submicroscopic approach shows that the source of any type of wave movements including the Klein-Gordon, Schrödinger, and classical wave equations is hidden in the tessellattice and its basic exciations – inertons, carriers of mass and inert properies of matter. We also discuss possible correspondence with Konrad Zuse’s calculating space. (shrink)

Informational theories of semantic content have been recently gaining prominence in the debate on the notion of mental representation. In this paper we examine new-wave informational theories which have a special focus on cognitive science. In particular, we argue that these theories face four important difficulties: they do not fully solve the problem of error, fall prey to the wrong distality attribution problem, have serious difficulties accounting for ambiguous and redundant representations and fail to deliver a metasemantic theory of (...) representation. Furthermore, we argue that these difficulties derive from their exclusive reliance on the notion of information, so we suggest that pure informational accounts should be complemented with functional approaches. (shrink)

This paper explores the relationships between perception, representation and appetition in Leibniz's later metaphysics, and defends four theses. First, for Leibniz perceptions are not the carriers of content, but they are identical to representational content. Second, Leibniz's appetitions are the carriers of content and he should be taken at his word when he declares, "Thought consists in conatus". Third, while it is true that for Leibniz representational content is determined by a species of mapping or function from representation (...) to what is represented, this is not the only component that determines representational content for Leibniz. The correspondence in terms of which Leibniz characterizes representation includes an ontological component, namely a lineage or trace from representation to represented object via God's creation, and appetitions constitute this trace. Finally, Leibniz's account of how ideas represent and how perceptions represent are distinct, and derivation plays a key role in how ideas represent. (shrink)

Latimer & Stevens (1997) develop a useful framework for discussing issues surrounding the definition and explanation of perceptual gestalts. They use this framework to raise some doubts about the possibility of “holistic” perceptual processing. However, I suspect that these doubts ultimately stem from assumptions about the nature of representation and processing in the brain, rather than from an analysis of part/whole concepts. I attempt to spell out these assumptions, and sketch an alternative perspective (deriving from Gestalt theory) that has (...) the potential to make sense of holism in perception. (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)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...) expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

We challenge Bruineberg et al's view that Markov blankets are illicitly reified when used to describe organismic boundaries. We do this both on general methodological grounds, where we appeal to a form of structural realism derived from Bayesian cognitive science to dissolve the problem, and by rebutting specific arguments in the target article.

In this paper, I claim that extant empirical data do not support a radically embodied understanding of the mind but, instead, suggest (along with a variety of other results) a massively representational view. According to this massively representational view, the brain is rife with representations that possess overlapping and redundant content, and many of these represent other mental representations or derive their content from them. Moreover, many behavioral phenomena associated with attention and consciousness are best explained by the coordinated activity (...) of units with redundant content. I finish by arguing that this massively representational picture challenges the reliability of a priori theorizing about consciousness. (shrink)

While representation learning techniques have shown great promise in application to a number of different NLP tasks, they have had little impact on the problem of ontology matching. Unlike past work that has focused on feature engineering, we present a novel representation learning approach that is tailored to the ontology matching task. Our approach is based on embedding ontological terms in a high-dimensional Euclidean space. This embedding is derived on the basis of a novel phrase retrofitting strategy (...) through which semantic similarity information becomes inscribed onto fields of pre-trained word vectors. The resulting framework also incorporates a novel outlier detection mechanism based on a denoising autoencoder that is shown to improve performance. An ontology matching system derived using the proposed framework achieved an F-score of 94% on an alignment scenario involving the Adult Mouse Anatomical Dictionary and the Foundational Model of Anatomy ontology (FMA) as targets. This compares favorably with the best performing systems on the Ontology Alignment Evaluation Initiative anatomy challenge. We performed additional experiments on aligning FMA to NCI Thesaurus and to SNOMED CT based on a reference alignment extracted from the UMLS Metathesaurus. Our system obtained overall F-scores of 93.2% and 89.2% for these experiments, thus achieving state-of-the-art results. (shrink)

Perceptual experiences seem to in some sense have singular contents. For example, a perceptual experience of a dog as fluffy seems to represent some particular dog as being fluffy. There are important phenomenological, intuitive, and semantic considerations for thinking that perceptual experiences represent singular contents, but there are also important phenomenological, epistemic, and metaphysical considerations for thinking that they do not. This paper proposes a two-tier picture of the content of singular perceptual experiences that is based on phenomenal intentionality theories (...) of intentionality combined with self-ascriptivism about derived representation, a combination of views that allows mental states to have two types of contents: phenomenal contents and derived contents. On the proposed picture, singular perceptual experiences represent singular phenomenal contents, which do not involve worldly objects, as well as singular derived contents, which do involve worldly objects. This picture accommodates and reconciles the considerations for and against thinking that perceptual experiences have singular contents. (shrink)

Analogical reminding in humans and machines is a great source for chance discoveries because analogical reminding can produce representational change and thereby produce insights. Here, we present a new kind of representational change associated with analogical reminding called packing. We derived the algorithm in part from human data we have on packing. Here, we explain packing and its role in analogy making, and then present a computer model of packing in a micro-domain. We conclude that packing is likely used (...) in human chance discoveries, and is needed if our machines are to make their own chance discoveries. (shrink)

According to Lynne Rudder Baker’s Practical Realism, we know that we have beliefs, desires, and other propositional attitudes independent of any scientific investigation. Propositional attitudes are an indispensable part of our everyday conception of the world and not in need of scientific validation. This paper asks what is the nature of the attitudes such that we may know them so well from a commonsense perspective. I argue for a self-ascriptivist view, on which we have propositional attitudes in virtue of ascribing (...) them to ourselves. On this view, propositional attitudes are derived representational states, deriving their contents and their attitude types from our self-ascriptions. (shrink)

Abstract In slogan form, the thesis of this paper is that beliefs are self-verifying fictions: We make them up, but in so doing, they come to exist, and so the fiction of belief is in fact true. This picture of belief emerges from a combination of three independently motivated views: (1) a phenomenal intentionalist picture of intentionality, on which phenomenal consciousness is the basis of intentionality; (2) what I will call a “self-ascriptivist” picture of derived representation, on which (...) non-fundamental representational features are a matter of our ascribing contents to ourselves or our mental states or contents; and (3) a representationalist picture of the attitudes, on which the attitude components of mental states (e.g., the “belief” bit of a belief that P) are represented contents. This paper outlines and motivates the view of beliefs as self-verifying fictions, compares the view to alternative views of belief, and contrasts beliefs on the resulting picture to other belief-like mental states. (shrink)

In this essay, we draw on John Haugeland’s work in order to argue that Burge is wrong to think that exercises of perceptual constancy mechanisms suffice for perceptual representation. Although Haugeland did not live to read or respond to Burge’s Origins of Objectivity, we think that his work contains resources that can be developed into a critique of the very foundation of Burge’s approach. Specifically, we identify two related problems for Burge. First, if (what Burge calls) mere sensory responses (...) are not representational, then neither are exercises of constancy mechanisms, since the differences between them do not suffice to imply that one is representational and the other is not. Second, taken by themselves, exercises of constancy mechanisms are only derivatively representational, so merely understanding how they work is not sufficient for understanding what is required for something, in itself, to be representational (and thereby provide a full solution to the problem of perceptual representation). (shrink)

The Theistic Argument from Intentionality (TAI) is a venerable argument for the existence of God from the existence of eternal truths. The argument relies, inter alia, on the premises that (i) truth requires representation, and that (ii) non-derivative representation is a function of, and only of, minds. If propositions are the fundamental bearers of truth and falsity, then these premises entail that propositions (or at least their representational properties) depend on minds. Although it is widely thought that psychologism—the (...) view that the fundamental truth-bearers are mind-dependent—was refuted by Frege, a psychologistic view of propositions has been undergoing a revival. However, this new psychologism suffers from a problem of scarcity—finite minds cannot generate enough thoughts to play the role of fundamental truth-bearers. This objection paves the way for a revised version of the TAI: only an infinite mind can furnish enough thoughts to play the role of propositions. (shrink)

According to some philosophers, we are “cognitively closed” to the answers to certain problems. McGinn has taken the next step and offered a list of examples: the mind/body problem, the problem of the self and the problem of free will. There are naturalistic, scientific answers to these problems, he argues, but we cannot reach them because of our cognitive limitations. In this paper, we take issue with McGinn's thesis as the most well-developed and systematic one among the so-called “new mysterians”. (...) McGinn aims to establish a strong, representational notion of cognitive closure: a principled inaccessibility of a true theory of certain properties of the world, but he offers arguments that only bear on difficulties with psychologically grasping the correct answers. The latter we label psychological closure. We argue that representational closure does not follow from psychological closure, and that McGinn's case therefore falters. We could very well be able to represent the correct answer to some question, even without being able to grasp that answer psychologically. McGinn's mistake in deriving representational closure from psychological closure rests on a fallacy of equivocation relating to the concept of ‘understanding’. By making this distinction explicit, we hope to improve our thinking about the limits of science in particular and human knowledge in general. (shrink)

Angela Mendelovici’s book The Phenomenal Basis of Intentionality is a paradigm-establishing monograph within the phenomenal intentionality research program. Mendelovici argues that extant theories of intentionality that do not appeal to consciousness are both empirically and metaphysically inadequate, and a coherent, consciousness-based alternative can adequately explain (or explain away) all alleged cases of intentionality. While I count myself a fellow traveler, I discuss four choice-points where Mendelovici has taken, I believe, the wrong fork. (1) The explanatory relation that holds between intentional (...) and phenomenal properties is not identity but realization. (2) The mechanism that generates derivatively representational states is not content self-ascription but neural re-wiring. (3) The source of semantic structure within phenomenal-intentional states is not external structure and/or second-order co-instantiation but primitive phenomenal ascription. (4) The mode of presence of contents within phenomenal-intentional states is not being part of a superficial characterization, but being monadically present as an intentional object. (shrink)

My dissertation is about Bayesian rationality for non-ideal agents. I show how to derive subjective probabilities from preferences using much weaker rationality assumptions than other standard representation theorems. I argue that non-ideal agents might be uncertain about how they will update on new information and consider two consequences of this uncertainty: such agents should sometimes reject free information and make choices which, taken together, yield sure loss. The upshot is that Bayesian rationality for non-ideal agents makes very different normative (...) demands than ideal Bayesian rationality. (shrink)

We study the representation of sets of desirable gambles by sets of probability mass functions. Sets of desirable gambles are a very general uncertainty model, that may be non-Archimedean, and therefore not representable by a set of probability mass functions. Recently, Cozman (2018) has shown that imposing the additional requirement of even convexity on sets of desirable gambles guarantees that they are representable by a set of probability mass functions. Already more that 20 years earlier, Seidenfeld et al. (1995) (...) gave an axiomatisation of binary preferences—on horse lotteries, rather than on gambles—that also leads to a unique representation in terms of sets of probability mass functions. To reach this goal, they use two devices, which we will call ‘SSK–Archimedeanity’ and ‘SSK–extension’. In this paper, we will make the arguments of Seidenfeld et al. (1995) explicit in the language of gambles, and show how their ideas imply even convexity and allow for conservative reasoning with evenly convex sets of desirable gambles, by deriving an equivalence between the SSK–Archimedean natural extension, the SSK–extension, and the evenly convex natural extension. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists (...) in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a classical-particle (...) version of the Higgs mechanism. (shrink)

An important theme running through D.H. Mellor’s work is his realism, or as I shall call it, his objectivism: the idea that reality as such is how it is, regardless of the way we represent it, and that philosophical error often arises from confusing aspects of our subjective representation of the world with aspects of the world itself. Thus central to Mellor’s work on time has been the claim that the temporal A-series (previously called ‘tense’) is unreal while the (...) B-series (the series of ‘dates’) is real. The A-series is something which is a product of our representation of the world, but not a feature of reality itself. And in other, less central, areas of his work, this kind of theme has been repeated: ‘Objective decision making’ (1980) argues that the right way to understand decision theory is as a theory of what is the objectively correct decision, the one that will actually as a matter of fact achieve your intended goal, rather than the one that is justified purely in terms of what you believe, regardless of whether the belief is true or false. ‘I and now’ (1989) argues against a substantial subjective conception of the self, using analogies between subjective and objective ways of thinking about time and subjective and objective ways of thinking about the self. And in the paper which shall be the focus of my attention here, ‘Nothing like experience’ (1992), Mellor contests arguments which try and derive anti-physicalist conclusions from reflections on the subjective character of experience. A common injunction is detectable: when doing metaphysics, keep the subjective where it belongs: inside the subject’s representation of the world. (shrink)

In traditional formal semantics the notions of reference, truth and satisfaction are basic and that of representation is derivative and dispensable. If a level of representation is included in the formal presentation of the theory, it is included as a heuristic. Semantics in the traditional sense has no bearing on any form of mental processing. When reference is understood within this framework, cognitive neuroscience cannot possibly provide any insights into the nature of reference. Traditional semantics, however, has numerous (...) shortcomings that render it inadequate as an account of natural language. Dynamic semantic theories, such as discourse representation theory (DRT), treat ever­growing, revisable mental representations as the basic semantic entities. Within this framework, there are two central notions of reference. New information may refer back to previously introduced discourse referents and discourse referents may refer to worldly entities. Because DRT treats mental representations as indispensable elements of the theory, evidence from neuroscience, particularly the recording of electroencephalograms (EEG) and its derivative event-­related potentials (ERPs), can reasonably be thought to shed light on meaning and reference within this framework. In this chapter I first review the advantages of DRT in accommodating linguistic data and then review data from neuroscience that seem to support it. Finally, I consider some methodological concerns that have been raised about the neuroscientific approach to semantics. (shrink)

In this paper, we review a general technique for converting the standard Lagrangian description of a classical system into a formulation that puts time on an equal footing with the system's degrees of freedom. We show how the resulting framework anticipates key features of special relativity, including the signature of the Minkowski metric tensor and the special role played by theories that are invariant under a generalized notion of Lorentz transformations. We then use this technique to revisit a classification of (...) classical particle-types that mirrors Wigner's classification of quantum particle-types in terms of irreducible representations of the Poincaré group, including the cases of massive particles, massless particles, and tachyons. Along the way, we see gauge invariance naturally emerge in the context of classical massless particles with nonzero spin, as well as study the massless limit of a massive particle and derive a classical-particle version of the Higgs mechanism. (shrink)

The orthodox theory of instrumental rationality, expected utility (EU) theory, severely restricts the way in which risk-considerations can figure into a rational individual's preferences. It is argued here that this is because EU theory neglects an important component of instrumental rationality. This paper presents a more general theory of decision-making, risk-weighted expected utility (REU) theory, of which expected utility maximization is a special case. According to REU theory, the weight that each outcome gets in decision-making is not the subjective probability (...) of that outcome; rather, the weight each outcome gets depends on both its subjective probability and its position in the gamble. Furthermore, the individual's utility function, her subjective probability function, and a function that measures her attitude towards risk can be separately derived from her preferences via a Representation Theorem. This theorem illuminates the role that each of these entities plays in preferences, and shows how REU theory explicates the components of instrumental rationality. (shrink)

[This is an earlier (1997), much longer and more detailed version of my entry on LOTH in the _Stanford Encyclopedia of Philosophy_] The Language of Thought Hypothesis (LOTH) is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation (...) that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

This paper develops and explores a new framework for theorizing about the measurement and aggregation of well-being. It is a qualitative variation on the framework of social welfare functionals developed by Amartya Sen. In Sen’s framework, a social or overall betterness ordering is assigned to each profile of real-valued utility functions. In the qualitative framework developed here, numerical utilities are replaced by the properties they are supposed to represent. This makes it possible to characterize the measurability and interpersonal comparability of (...) well-being directly, without the use of invariance conditions, and to distinguish between real changes in well-being and merely representational changes in the unit of measurement. The qualitative framework is shown to have important implications for a range of issues in axiology and social choice theory, including the characterization of welfarism, axiomatic derivations of utilitarianism, the meaningfulness of prioritarianism, the informational requirements of variable-population ethics, the impossibility theorems of Arrow and others, and the metaphysics of value. (shrink)

Recent research on infant and animal imitation and on mirror neuron systems has
brought imitation back in focus in psychology and cognitive science. This topic has
always been important for philosophical hermeneutics as well, focusing on theory and
method of understanding. Unfortunately, relations between the scientific and the
hermeneutic approaches to imitation and understanding have scarcely been investigated,
to the loss of both disciplines. In contrast to the cognitive scientific emphasis on
sharing and convergence of representations, the hermeneutic analysis emphasizes the
indeterminacy and openness of action understanding (...) due to preunderstanding, action
configuration, and the processual nature of understanding. This article discusses empirical
evidence in support of these aspects and concludes that hermeneutics can
contribute to the scientific investigation of imitation and understanding. Since, conversely,
some grounding—and constraining—aspects of hermeneutics may be derived
from cognitive science, both should be integrated in a multilevel explanation of
imitation and understanding. This holds also for explanations that are largely based on
mirror neuron systems, since these appear to be sensitive to developmental and
experiential factors, too. (shrink)

This paper aims to meet an objection that has been raised against structural empiricism known as the “loss of reality objection.” I argue that an inferential approach to scientific representation allows the structural empiricist to account for the representation of phenomena by data models and ensures that such a representation is not arbitrary. By the notions of immersion, derivation, and interpretation, I show how data models are able to represent phenomena in a non-arbitrary manner. I conclude this (...) paper with a programmatic outline of a view that arises from the theses defended throughout the article and that I would like to call “semantic structuralism.”. (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)

This paper presents a new argument to defend the normativity of meaning, specifically the thesis that there are no meanings without norms. The argument starts from the observation inferentialists have emphasized that incompatibility relations between sentences are a necessary part of meaning as it is understood. We motivate this approach by showing that the standard normativist strategy in the literature, which is developed in terms of veridical reference that may swing free from the speaker’s understanding, violates the ought-implies-can principle, but (...) ours does not. In addition, our approach is superior because, unlike the representationalist approach, it can be extended from declarative sentences to non-representational uses of language. In this paper, however, we only formulate the argument for the base case that involves incompatibility relations between declarative sentences. The goal is not to derive norms from something that is not normative, but to explicate the distinctive type of normativity that is built into meaning as it is understood by language-users. The explication proceeds in two steps. (1) For any sentence s a speaker understands, there is an incompatible sentence s’ the speaker understands to be incompatible with s. (2) In virtue of understanding this incompatibility of meanings, she ought not to be committed to both s and s’. This prohibition is not derived from instrumental practical reason, nor is it based on representational correctness, but its source is the incompatibility of meanings. (shrink)

This paper explores the critical conditions of such semiotic realism that is commonly presumed in the so-called Copenhagen interpretation of biosemiotics. The central task is to make basic biosemiotic concepts as clear as possible by applying C.S. Peirce’s pragmaticist methodology to his own concepts, especially to those that have had a strong influence on the Copenhagian biosemiotics. It appears essential to study what kinds of observation the basic semiotic concepts are derived from. Peirce had two different derivations to the (...) concept of sign, both having a strong logical character. Therefore, it is discussed at length what Peirce’s conception of logic consists of and how logical concepts relate to the concepts of other sciences. It is shown that Peirce had two different perspectives toward sign, the ‘transcendental’ one and the objective one, and only the latter one is executable in biosemiotic applications. Although Peirce’ theory of signs seems to appear as twofold (if not even manifold), it is concluded that the ore conception has been stable. The apparent differences are presumably due to the different perspectives of consideration. Severe limitations for the application of Peirce’s semiotic concepts follow from this analysis that should be taken into account in biosemiotics relying on its Copenhagen interpretation. The first one concerns the ‘interpreter’ of a suggested biosemiotic sign — whether it is ‘we’ (as a ‘meta-agent’) or some genuine biosemiotic ‘object-agent’. Only if the latter one is determinable, some real biosemiotic sign-action may occur. The second one concerns the application of the concept of the object of sign — its use is limited so that a sign has an object if and only if it seeks a true conception about it. This conclusion has drastic further consequences. Most of the genuinely biosemiotic sign-processes do not tend toward truth about anything but toward various practical ends. Therefore, the logical concept of sign, e.g. the one of Peirce’s semeiotic, is an insufficient concept for biosemiotics. In order to establish a sufficient one, Peircean theoretical ethics and esthetics are introduced. It is concluded that they involve simpler and more general but still normative concept of sign — the concept of anticipative or constructive representation that does not represent any object at all. Instead, it is a completely future-oriented representation that guides action. Objective ethics provides the suitable concept of representation, but it appeals to objective esthetics that provides a theory of (local) natural self-normativity. The concepts of objective logic form the special species of objective ethics. The conclusion is that biosemiotics should be based on applied objective ethics and esthetics rather than on (Peircean semeiotic) logic and its metaphysical application. Finally, the physiosemiotic over-generalization of the concept of sign is shortly discussed. It is suggested that it would be more appropriate to rename such controversial generalizations than to adhere to semiotic terminology. Here, again, Peirce appears as a healthy role model with his ‘ethics of terminology’. (shrink)

The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses recently introduced infinite and infinitesimal numbers being in accordance with the principle ‘The part is less than the whole’ observed in the physical world around us. These numbers have a strong practical advantage with respect to traditional approaches: they are representable at a new kind (...) of a computer – the Infinity Computer – able to work numerically with all of them. An introduction to the theory of physical and mathematical continuity and differentiation (including subdifferentials) for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains is developed in the paper. This theory allows one to work with derivatives that can assume not only finite but infinite and infinitesimal values, as well. It is emphasized that the newly introduced notion of the physical continuity allows one to see the same mathematical object as a continuous or a discrete one, in dependence on the wish of the researcher, i.e., as it happens in the physical world where the same object can be viewed as a continuous or a discrete in dependence on the instrument of the observation used by the researcher. Connections between pure mathematical concepts and their computational realizations are continuously emphasized through the text. Numerous examples are given. (shrink)

Jenny Saville is a leading contemporary painter of female nudes. This paper explores her work in light of theories of gender and embodied agency. Recent work on the phenomenology of embodiment draws a distinction between the body image and the body schema. The body image is your representation of your own body, including your visual image of it and your emotional attitudes towards it. The body schema is comprised of your proprioceptive knowledge, your corporeally encoded memories, and your corporeal (...) proficiency with respect to various environments and activities. Saville is concerned with body image issues, and I discuss how she reconfigures representational practices with respect to feminine body images. However, the most exciting potential for feminist analysis of the state of the female nude derives from the concept of the body schema, for this concept endows the human body with subjectivity and agency. My key question, then, is by what pictorial means and to what extent Saville succeeds in representing agentic womanhood. I argue that interpreting Saville’s paintings from the standpoint of the body schema demonstrates the radicality of her remaking of the female nude and the rapport between her imagery and feminist values. (shrink)

Huckleberry Finn believes that by helping Miss Watson’s slave Jim escape to freedom, he is doing something wrong. But Huck does it anyway—and many want to give him moral credit for this choice. If Huck is to be worthy of such moral esteem, however, it seems there must be some implicit way of appreciating and responding to considerations as moral reasons that does not involve explicitly believing that those considerations are moral reasons. This chapter argues that an agent like Huck (...) can implicitly appreciate a consideration as a moral reason to φ by presenting it under the light of a particular phenomenologically-mediated mode of presentation: one that presents that consideration via the light of a felt directive force “pointing” towards φ-ing—lending weight to it, or soliciting it—in a particular authoritative way. Thus, I suggest, Huck may be understood on analogy with a young jazz piano virtuoso. As she may appreciate that the G-seventh chord having been played just so constitutes an aesthetic reason for her to ease into the C-major-seventh chord just so by virtue of experiencing the former as pointing or directing her to the latter, so also, I propose, Huck may appreciate the considerations speaking in favor of helping Jim as moral reasons to help Jim by virtue of experiencing them as pointing or directing him to help Jim. The chapter also examines and rejects four alternative proposals for how to account for implicit reasons-appreciation: first, a de re account of appreciation and then three additional accounts of appreciation derived from major theories of mental representation (inferentialist, causal tracking, and functionalist theories). (shrink)

I consider the first part of Marty’s Raum und Zeit, which treats of both the nature of space and spatial perception. I begin by sketching two charges that Marty raises against Kantian and Brentanian conceptions of space (and spatial perception) respectively, before detailing what I take to be a characteristically Martyan picture of space perception, though set against the backdrop of contemporary philosophy of perception. Marty has it that spatial relations are non-real but existent, causally inert relations that are grounded (...) in space, which is itself non-real but existent. Objects do not inhere in space in the way properties inhere in substances. Rather, there is a ‘non-real’ relation of ‘fulfillment’ (Erfüllung) that holds between objects and places in space, which itself subsists. I consider whether any contemporary philosophy of perception is equipped to make sense of Martyan space perception and I suggest that the most promising conception is Naïve Realism. I then outline a difficulty for this theoretical translation. Naïve Realism is a direct theory of perception whereby S is said to perceive O just in case S stands in a psychological relation of acquaintance with O, where this relation is both non-representational and explanatorily primitive. For Marty however, all relations are non-real and, insofar as they are grounded, are neither fundamental, nor brute or primitive in an explanatory sense. I close by detailing what I thereby take a distinctively Martyan form of Naïve Realism to involve. The central theoretical tenet that phenomenal character is fundamentally constituted by worldly objects is preserved; but the manifestly relational structure of the acquaintance relation, construed in particular as a relation of awareness, is treated as derivative. I make headway in spelling out the latter claim by bringing Marty into fleeting conversation with another Thomist - G.E.M. Anscombe. (shrink)

Humans are cognitive entities. Our ongoing interactions with the environment are threaded with creations and usages of meaningful information. Animal life is also populated with meaningful information related to survival constraints. Information managed by artificial agents can also be considered as having meanings, as derived from the designer. Such perspective brings us to propose an evolutionary approach to cognition based on meaningful information management. We use a systemic tool, the Meaning Generator System (MGS), and apply it consecutively to animals, (...) humans and artificial agents [1, 2]. The MGS receives information from its environment and compares it with its constraint. The generated meaning is the connection existing between the received information and the constraint. It triggers an action aimed at satisfying the constraint. The action modifies the environment and the generated meaning. Meaning generation links agents to their environments. The MGS is a system: a set of elements linked by a set of relations. Any system submitted to a constraint and capable of receiving information can lead to a MGS. Animals, humans and robots are agents containing MGSs dealing with different constraints. Similar MGSs carrying different constraints will generate different meanings. Cognition is system dependent. Contrary to approaches on meaning generation based on psychology or linguistics, the MGS approach is not based on human mind. We want to avoid the circularity of taking human mind as a starting point. Free will and self-consciousness participate to the management of human meanings. They do not exist for animals or robots. Staying alive is a constraint that we share with animals. Robots ignore that constraint. We first use the MGS for animals with “stay alive” and “group life” constraints. The analysis of meaning and cognition in animals is however limited by our un-complete understanding of the nature of life (the question of final causes). Extending the analysis of meaning generation and cognition to humans is complex and has some true limitations as the nature of human mind is a mystery for today science and philosophy. The natures of our feelings, free will or self-consciousness are unknown. Approaches to identify human constraints are however possible, where the MGS can highlight some openings [3, 4]. Modeling meaning management in artificial agents is rather straightforward with the MGS. We, the designers, know the agents and the constraints. The derived nature of constraints, meaning and cognition is however to be highlighted. We define a meaningful representation of an item for an agent as being the networks of meanings relative to the item for the agent, with the action scenarios involving the item. Such meaningful representations embed the agents in their environments and are far from the GOFAI type of representations. Cognition, meanings and representations exist by and for the agents. We finish by summarizing the points presented here and highlight possible continuations . [1] “Information and Meaning” [2] “Introduction to a systemic theory of meaning” [3] “Computation on Information, Meaning and Representations. An Evolutionary Approach” [4] “Proposal for a shared evolutionary nature of language and consciousness”. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...) also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

Normative discourse includes statements which appear to be truth-apt expressions of normative beliefs. But normative oughts do not seem to fit cleanly amongst the natural facts. This makes many naturalistically inclined philosophers sympathetic to some form of expressivist view that normative statements get their meaning from how they express desire-like attitudes. However, there are a serious semantic challenges for expressivism, which lead others to accept the idea that normative statements are representational of reality after all. This paper presents another option (...) that derives from the general program in the theory of meaning to emphasize the commissive role of language over any descriptive or expressive roles. Here this emphasis is used to sketch a version of metaethical inferentialism and contrast it with expressivism. I conclude with some observations about new perspectives this view offers on three other issues in metaethics. (shrink)

In artificial intelligence, recent research has demonstrated the remarkable potential of Deep Convolutional Neural Networks (DCNNs), which seem to exceed state-of-the-art performance in new domains weekly, especially on the sorts of very difficult perceptual discrimination tasks that skeptics thought would remain beyond the reach of artificial intelligence. However, it has proven difficult to explain why DCNNs perform so well. In philosophy of mind, empiricists have long suggested that complex cognition is based on information derived from sensory experience, often appealing (...) to a faculty of abstraction. Rationalists have frequently complained, however, that empiricists never adequately explained how this faculty of abstraction actually works. In this paper, I tie these two questions together, to the mutual benefit of both disciplines. I argue that the architectural features that distinguish DCNNs from earlier neural networks allow them to implement a form of hierarchical processing that I call “transformational abstraction”. Transformational abstraction iteratively converts sensory-based representations of category exemplars into new formats that are increasingly tolerant to “nuisance variation” in input. Reflecting upon the way that DCNNs leverage a combination of linear and non-linear processing to efficiently accomplish this feat allows us to understand how the brain is capable of bi-directional travel between exemplars and abstractions, addressing longstanding problems in empiricist philosophy of mind. I end by considering the prospects for future research on DCNNs, arguing that rather than simply implementing 80s connectionism with more brute-force computation, transformational abstraction counts as a qualitatively distinct form of processing ripe with philosophical and psychological significance, because it is significantly better suited to depict the generic mechanism responsible for this important kind of psychological processing in the brain. (shrink)

How come we can represent Bigfoot even though Bigfoot does not exist, given that representing something involves bearing a relation to it and we cannot bear relations to what does not exist? This is the problem of intentional inexistence. This paper develops a two-step solution to this problem, involving an adverbial account of conscious representation, or phenomenal intentionality, and the thesis that all representation derives from conscious representation. The solution is correspondingly two-part: we can consciously represent Bigfoot (...) because consciously representing Bigfoot does not involve bearing a relation to Bigfoot, but rather instantiating a certain non-relational property of representing Bigfoot-wise; and we can non-consciously represent Bigfoot because non-consciously representing Bigfoot does not involve bearing a relation to Bigfoot, but rather bearing a relation to conscious representations of Bigfoot. (shrink)

A prominent view holds that perception and memory are distinguished at least partly by their temporal orientation: Perception functions to represent the present, while memory functions to represent the past. Call this view perceptual presentism. This chapter critically examines perceptual presentism in light of contemporary perception science. I adduce evidence for three forms of perceptual sensitivity to the past: (i) shaping perception by past stimulus exposure, (ii) recruitment of mnemonic representations in perceptual processing, and (iii) perceptual representation of present (...) objects as possessing past properties. I argue that forms (i) and (ii) are consistent with perceptual presentism, while form (iii) poses a genuine threat to the view. While the empirical case for form (iii) remains inconclusive, I suggest that the most serious challenges to perceptual presentism derive from representations that integrate mnemonic and present-tensed elements in the performance of canonical perceptual functions, such as perceiving object continuity over time. (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)

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)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)