If a proposition is typically true, given your evidence, then you should believe that proposition; or so I argue here. In particular, in this paper, I propose and defend a principle of rationality---call it the `Typical Principle'---which links rational belief to facts about what is typical. As I show, this principle avoids several problems that other, seemingly similar principles face. And as I show, in many cases, this principle implies the verdicts of the Principal Principle: so ultimately, the Typical Principle (...) may be the more fundamental of the two. (shrink)

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a 'typical' dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light --a different light-- on philosophical debates on the laws of (...) nature. In the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The conditions required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such conditions might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

We adjust the notion of typicality originated with Russell, which was introduced and studied in a previous paper for general first-order structures, to make it expressible in the language of set theory. The adopted definition of the class ${\rm NT}$ of nontypical sets comes out as a natural strengthening of Russell's initial definition, which employs properties of small (minority) extensions, when the latter are restricted to the various levels $V_\zeta$ of $V$. This strengthening leads to defining ${\rm NT}$ as (...) the class of sets that belong to some countable ordinal definable set. It follows that ${\rm OD}\subseteq {\rm NT}$ and hence ${\rm HOD}\subseteq {\rm HNT}$. It is proved that the class ${\rm HNT}$ of hereditarily nontypical sets is an inner model of ${\rm ZF}$. Moreover the (relative) consistency of $V\neq {\rm NT}$ is established, by showing that in many forcing extensions $M[G]$ the generic set $G$ is a typical element of $M[G]$, a fact which is fully in accord with the intuitive meaning of typicality. In particular it is consistent that there exist continuum many typical reals. In addition it follows from a result of Kanovei and Lyubetsky that ${\rm HOD}\neq {\rm HNT}$ is also relatively consistent. In particular it is consistent that ${\cal P}(\omega)\cap {\rm OD}\subsetneq{\cal P}(\omega)\cap {\rm NT}$. However many questions remain open, among them the consistency of ${\rm HOD}\neq {\rm HNT}\neq V$, ${\rm HOD}={\rm HNT}\neq V$ and ${\rm HOD}\neq {\rm HNT}= V$. (shrink)

Instances of the law of large numbers are used to model many different physical systems. In this paper, I argue for a particular interpretation, of those instances of that law, which appeals to typicality. As I argue, the content of that law, when used to model physical systems, is that the probability of an event typically—rather than probably—approximates the frequency with which that event occurs.

The recent use of typicality in statistical mechanics for foundational purposes has stirred an important debate involving both philosophers and physicists. While this debate customarily focuses on technical issues, in this paper I try to approach the problem from an epistemological angle. The discussion is driven by two questions: (1) What does typicality add to the concept of measure? (2) What kind of explanation, if any, does typicality yield? By distinguishing the notions of `typicality-as-vast-majority' and ` (...) class='Hi'>typicality-as-best-exemplar', I argue that the former goes beyond the concept of measure. Furthermore, I also argue that typicality aims at providing us with a form of causal explanation of equilibrium. (shrink)

According to the so-called Classical Theory, concepts are mentally represented by individually necessary and jointly sufficient application conditions. One of the principal empirical objections against this view stems from evidence that people judge some instances of a concept to be more typical than others. In this paper we present and discuss four empirical studies that investigate the extent to which this ‘typicality effect’ holds for the concept of basic needs. Through multiple operationalizations of typicality, our studies yielded evidence (...) for a strong effect of this kind: Participants tended to recall the same core examples of the concept in a free-listing task. They judged some basic needs to be more typical than others. The items that were judged to be more typical were listed more frequently in the free-listing task. These items were listed earlier on in the free-listing task. Typical basic needs, as well as non needs, were classified faster than atypical basic needs in a reaction time study. These findings suggest that the concept of basic needs may have a non-classical structure. If so, the quest for a simple and robust intensional analysis of the concept may be futile. (shrink)

Husserl’s theory of types is most often associated with his account of perception. Here, types operate as pre-predicative frames of experience that guide the perception of objects. In this paper, I will argue that Husserl’s theory of types is also central to his account of intersubjectivity. More specifically, I will show that a foundational kind of typical subjectivity is entailed by his discussion of the sphere of ownness. It is by way of this type that even a solitary subject can (...) tacitly anticipate the possibility of other subjects. It is also this type that is enriched through interactions between actual subjects. (shrink)

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a ‘typical’ dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light—a different light—on philosophical debates on the laws of nature. In (...) the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The constraints required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such constraints might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

This paper presents and evaluates the early Husserl’s account of typicality. In the Logical Investigations, Husserl holds that the meaning of ordinary language (common) names is sensitive to typicality: this meaning depends on typical examples which vary in different contexts and are more or less similar to one another. This seems to entail that meanings, which according to Husserl are concepts, are “fluctuating” (schwankend) and vague. Prima facie, such a claim contravenes his theory of ideal meanings, or concepts, (...) which are “fixed” (fest) and sharp. However, Husserl wants to save this theory. He claims that the fluctuation and vagueness in question are not to be found in the meaning itself, or the concept, but rather derive from the act of meaning. Thus, he apparently manages to make room for typicality in ordinary language while accepting only fixed and sharp meanings. After presenting Husserl’s theory, I evaluate it and ask whether he will still be committed, despite his own claims, to accepting prototype concepts to account for typicality in ordinary language. (shrink)

This paper is about the epistemology of quantum theory. We establish a new result about a limitation to knowledge of its central object---the quantum state of the universe. We show that, if the universal quantum state can be assumed to be a typical unit vector from a high-dimensional subspace of Hilbert space (such as the subspace defined by a low-entropy macro-state as prescribed by the Past Hypothesis), then no observation can determine (or even just narrow down significantly) which vector it (...) is. Typical state vectors, in other words, are observationally indistinguishable from each other. Our argument is based on a typicality theorem from quantum statistical mechanics. We also discuss how theoretical considerations that go beyond the empirical evidence might bear on this fact and on our knowledge of the universal quantum state. (shrink)

Generic statements play a crucial role in concept learning, communication and education. Despite many efforts, the semantics of generics remain a controversial issue, as they do not seem to fit our standard theories of meaning. In this article, we attempt to shed light on this problem by focusing on how these sentences function in reasoning. Drawing on a distinction between property and diagnostic generics, we defend three theses: First, property generics are not about facts but express relations between concepts. Second, (...) generics play an important role in everyday reasoning by interacting with our expectations about the world. Third, diagnostic generics emphasise properties that separate the category in the generics from other categories in the same contrast class. We use the theory of conceptual spaces to advance measures of typicality and diagnosticity capable of modelling different aspects of generics and apply them to the modifier effect and the inverse conjunction fallacy. Finally, we discuss the pragmatics of generics. (shrink)

Several physicists, among them Hawking, Page, Coule, and Carroll, have argued against the probabilistic intuitions underlying fine-tuning arguments in cosmology and instead propose that the canonical measure on the phase space of Friedman-Robertson-Walker space-times should be used to evaluate fine-tuning. They claim that flat space-times in this set are actually typical on this natural measure and that therefore the flatness problem is illusory. I argue that they misinterpret typicality in this phase space and, moreover, that no conclusion can be (...) drawn at all about the flatness problem by using the canonical measure alone. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics (...) for concept combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

This paper investigates the historical origin and ancestors of typicality, which is now a central concept in Boltzmannian Statistical Mechanics and Bohmian Mechanics. Although Ludwig Boltzmann did not use the word typicality, its main idea, namely, that something happens almost always or is valid for almost all cases, plays a crucial role for his explanation of how thermodynamic systems approach equilibrium. At the beginning of the 20th century, the focus on almost always or almost everywhere was fruitful for (...) developing measure theory and probability theory. It was apparently Hugh Everett III who first mentioned typicality in physics in 1957 while searching for a justification of the Born rule in his interpretation of quantum mechanics. The historically closest concept before these developments is moral certainty, which was invented by the medieval French theologian Jean Gerson, and it became a standard concept at least until the Age of Enlightenment, when Jakob Bernoulli proved the Law of Large numbers. (shrink)

Schervish (1985b) showed that every forecasting system is noncalibrated for uncountably many data sequences that it might see. This result is strengthened here: from a topological point of view, failure of calibration is typical and calibration rare. Meanwhile, Bayesian forecasters are certain that they are calibrated---this invites worries about the connection between Bayesianism and rationality.

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by (...) class='Hi'>typicality inclusions of the form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.

This paper aims to analyse the relationship that exists between state capture, party patronage, and the conduct of electoral processes in the settings of post-communist countries, of which Albania is one. A characteristic of the political developments of the transition period in many post-communist countries has been the phenomenon of state capture, which has occurred mainly through the endemic party patronage and politicization of state institutions. The phenomenon of state capture by the ruling political parties has had a negative conditional (...) impact on the conduct of competitive, free and fair elections in these countries, leading to distrust regarding the credibility and integrity of the process. This study argues that phenomena such as state capture and extensive party patronage as informal practices/mechanisms in the hands of the ruling political parties affect the creation of a skewed playing field and the production of hyper-incumbency advantages in holding electoral contests between political parties, making the possibility of political power rotations difficult. Albania, in the case of its last parliamentary elections, held on 25th April 2021, constitutes the case study (Section IV) to which the theoretical framework of the paper is applied, by identifying the informal practices and methods through state capture that the ruling political party used to provide structural, institutional, and financial advantages in its favour regarding elections. (shrink)

Theories of function are conventionally divided up into historical and ahistorical ones. Proponents of ahistorical theories often cite the ahistoricity of their accounts as a major virtue. Here, I argue that none of the mainstream “ahistorical” accounts are actually ahistorical. All of them embed, implicitly or explicitly, an appeal to history. In Boorse’s goal-contribution account, history is latent in the idea of statistical-typicality. In the propensity theory, history is implicit in the idea of a species’ natural habitat. In the (...) causal role theory, history is required for making sense of dysfunction. I elaborate some consequences for the functions debate. (shrink)

Leading cosmological theories engender a controversial puzzle which has prompted philosophers to propose competing epistemological solutions and physicists to propose methodological changes to cosmology. The puzzle arises from the prediction that every brain on Earth will eventually be vastly outnumbered by physical duplicates formed by random collisions of particles in outer space. Supposing that this prediction is correct, shouldn't you believe that your brain is probably one of these vastly more typical extraterrestrial brains, since you cannot infer your brain's origin (...) from your experiential state? But supposing that your brain is one of these extraterrestrial brains, why be confident in the cosmological theories, since you never actually received testimony supporting these theories? Proposals in the literature either deny the rationality of believing theories that make the prediction or deny the typicality of your brain among its duplicates. This paper argues that these proposals are not entirely satisfactory. Instead, one should be confident in theories making the prediction on the supposition that your brain is one of the extraterrestrial brains. The upshots include that it may be rational to believe that your brain is probably an extraterrestrial brain and that cosmologists should not alter their methodology in response to the puzzle. (shrink)

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which (...) extended causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

Over the past few decades, cognitive science has identified several forms of reasoning that make essential use of conceptual knowledge. Despite significant theoretical and empirical progress, there is still no unified framework for understanding how concepts are used in reasoning. This paper argues that the theory of conceptual spaces is capable of filling this gap. Our strategy is to demonstrate how various inference mechanisms which clearly rely on conceptual information—including similarity, typicality, and diagnosticity-based reasoning—can be modeled using principles derived (...) from conceptual spaces. Our first topic analyzes the role of expectations in inductive reasoning and their relation to the structure of our concepts. We examine the relationship between using generic expressions in natural language and common-sense reasoning as a second topic. We propose that the strength of a generic can be described by distances between properties and prototypes in conceptual spaces. Our third topic is category-based induction. We demonstrate that the theory of conceptual spaces can serve as a comprehensive model for this type of reasoning. The final topic is analogy. We review some proposals in this area, present a taxonomy of analogical relations, and show how to model them in terms of distances in conceptual spaces. We also briefly discuss the implications of the model for reasoning with concepts in artificial systems. (shrink)

The adequacy of similarity to prototype as an account of categorization in natural concepts was assessed by analyzing the monotonicity of the relation between typicality of an item in a category and the probability of a positive categorization response using data from McCloskey and Glucksberg (1978). The analysis revealed a strong underlying similarity-based threshold curve, with systematic deviations. Further data collection showed that deviations from the curve could be attributed to the effects of unfamiliarity and non-categorial associations on (...) class='Hi'>typicality judgments, as well as differences between the perceptual appearance of an item (which tended to boost typicality) and its underlying nature (which tended to boost categorization). The results are discussed in terms of the different presuppositions and task constraints involved in rating typicality as opposed to performing a categorization. (shrink)

Christopher Boorse’s Biostatistical Theory of Health has been the main contender among naturalistic accounts of health for the last 40 years. Yet, a recent criticism of this theory, presented by Elselijn Kingma, identifies a dilemma resulting from the BST’s conceptual linking of health and statistical typicality. Kingma argues that the BST either cannot accommodate the situation- specificity of many normal functions or cannot account for many situation-specific diseases. In this article, we expand upon with Daniel Hausman’s response to Kingma’s (...) dilemma. We propose that recalling Boorse’s specification that health is an intrinsic property of its bearers and explicating this intrinsic property in relation to the concept of homeostasis can illuminate how proponents of naturalistic accounts of health should deal with the situation- specificity of normal functions. We argue that beyond what Boorse and Hausman have delineated, the situation- specificity of normal function cannot be fully captured in a simple dichotomy between normal and abnormal environment or between relevant and irrelevant situations. By bringing homeostasis to the fore of the analysis of health, we set out a richer picture of what the various situations that affect living organisms’ functional performance can be. Accordingly, we provide a broader classification of these various situations which, we contend, better accounts for the main intuitions that philosophers of medicine have sought to accommodate than previous naturalistic theories of health. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

The paper introduces an extension of the proposal according to which conceptual representations in cognitive agents should be intended as heterogeneous proxytypes. The main contribution of this paper is in that it details how to reconcile, under a heterogeneous representational perspective, different theories of typicality about conceptual representation and reasoning. In particular, it provides a novel theoretical hypothesis - as well as a novel categorization algorithm called DELTA - showing how to integrate the representational and reasoning assumptions of the (...) theory-theory of concepts with the those ascribed to the prototype and exemplars-based theories. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis [Lieto 2014]. Such hypothesis allows integrating exemplars and prototype theories of categorization as well as theory-theory [Lieto 2019] and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization [Lieto, 2021]. As argued in [Lieto et al., 2018b] a pivotal role in this respect is (...) played by the use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this paper, we present TCL (typicality-based compositional logic): a probabilistic, non monotonic extension of standard Description Logics of typicality, and will show how this framework is able to endow artificial systems of a human-like, commonsense based, concept composition procedure that allows its employment in a number of applications (ranging from computational creativity to goal-based reasoning to recommender systems (...) and affective computing). -/- The framework relies on 3 main ingredients: a non monotonic extension of standard Description Logics (allowing to reason on exceptions to inheritance in standard knowledge bases) a probabilistic extension coming from the field of logic programming (the DISPONTE semantics) a cognitive heuristics known ad HEAD-Modifier determining preference rules for the inheritance mechanisms of the novel concepts to be generated via commonsense rules. -/- We report the obtained results and the lessons learned of this research path in the context of model-based AI applications. -/- . (shrink)

In this work we present an explainable system for emotion attribution and recommendation (called DEGARI (Dynamic Emotion Generator And ReclassIfier) relying on a recently introduced probabilistic commonsense reasoning framework (i.e. the TCL logic, see Lieto & Pozzato 2020) which is based on a human-like procedure for the automatic generation of novel concepts in a Description Logics knowledge base (see also Lieto et al. 2019, Chiodino et al. 2020 for other applications). In particular, in order to model human-like forms of concept (...) combinations, the TCL logic combines a probabilistic description logics of typicality with the HEAD-MODIFIER heuristics coming from cognitive semantics. In the context of our application of such framework, our system exploits the logic TCL to automatically generate novel commonsense semantic representations of compound emotions (e.g. Love as derived from the combination of Joy and Trust according to Plutchik’s theory of emotions, see Plutchik 2001). The generated emotions corresponds to prototypes, i.e. commonsense representations of given concepts, and have been used to reclassify emotion-related contents in a variety of artistic domains. We have tested our system in the context of the H2020 EU project SPICE for providing artistic recommendations of museum items in the Galleria di Arte Moderna (GAM) of Turin. The obtained results (reported in Lieto et al, 2021 and Lieto at al., to appear) show promising results for what concerns both the acceptance of the provided affective recommendation and the explainability associated to each suggestion made by the users. Here we discuss, the open problems and the lessons learned. -/- . (shrink)

The paper presents the heterogeneous proxytypes hypothesis as a cognitively-inspired computational framework able to reconcile, in both natural and artificial systems, different theories of typicality about conceptual representation and reasoning that have been traditionally seen as incompatible. In particular, through the Dual PECCS system and its evolution, it shows how prototypes, exemplars and theory-theory like conceptual representations can be integrated in a cognitive artificial agent (thus extending its categorization capabilities) and, in addition, can provide useful insights in the context (...) of a computationally grounded science of the mind. (shrink)

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis. Such hypothesis allows integrating exemplars and prototype theories of categorization and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization. As argued in [Chella et al., 2017] [Lieto et al., 2018b] [Lieto et al., 2018a] a pivotal role in this respect is played by (...) the use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

I will review the main problems concerning commonsense reasoning in machines and I will present resent two different applications - namaly: the Dual PECCS linguistic categorization system and the TCL reasoning framework that have been developed to address, respectively, the problem of typicality effects and the one of commonsense compositionality, in a way that is integrated or compliant with different cognitive architectures thus extending their knowledge processing capabilities In doing so I will show how such aspects are better dealt (...) with at different levels of representation and will discuss how the adoption of a cognitively inspired approach be useful in the design and implementation of the next generation AI systems mastering commonsense. (shrink)

In this paper we present a framework for the dynamic and automatic generation of novel knowledge obtained through a process of commonsense reasoning based on typicality-based concept combination. We exploit a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts in order to generate new prototypical concepts and deal with problem like the PET FISH (Osherson and Smith, 1981; Lieto & Pozzato, 2019). Intuitively, in the context of our application of this (...) logic, the overall pipeline of our system works as follows: given a goal expressed as a set of properties, if the knowledge base does not contain a concept able to fulfill all these properties, then our system looks for two concepts to recombine in order to extend the original knowledge based satisfy the goal. (shrink)

I will present two different applications - Dual PECCS and the TCL reasoning framework - addressing some crucial aspects of commonsense reasoning (namely: dealing with typicality effects and with the problem of commonsense compositionality) in a way that is integrated or compliant with different cognitive architectures. In doing so I will show how such aspects are better dealt with at different levels of representation and will discuss the adopted solution to integrate such representational layers.

Dynamic conceptual reframing represents a crucial mechanism employed by humans, and partially by other animal species, to generate novel knowledge used to solve complex goals. In this talk, I will present a reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion [1]. The proposed approach has been tested both in the task of goal-driven concept invention (...) [2,3] and has additionally applied within the context of serendipity-based recommendation systems [4]. I will present the obtained results, the lessons learned, and the road ahead of this research path. -/- . (shrink)

Inventing novel knowledge to solve problems is a crucial, creative, mechanism employed by humans, to extend their range of action. In this talk, I will show how commonsense reasoning plays a crucial role in this respect. In particular, I will present a cognitively inspired reasoning framework for knowledge invention and creative problem solving exploiting TCL: a non-monotonic extension of a Description Logic (DL) of typicality able to combine prototypical (commonsense) descriptions of concepts in a human-like fashion. The proposed approach (...) has been tested both in the task of goal-driven concept invention and has additionally applied within the context of serendipity-based recommendation systems. I will present the obtained results, the lessons learned, and the road ahead of this research path. (shrink)

Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem regarding (...) Knowledge Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the coexistence of multiple reasoning processes involving the different levels of representation. (shrink)

I discuss the formal implementation, interpretation, and justification of likelihood attributions in cosmology. I show that likelihood arguments in cosmology suffer from significant conceptual and formal problems that undermine their applicability in this context.

Realism about quantum theory naturally leads to realism about the quantum state of the universe. It leaves open whether it is a pure state represented by a wave function, or an impure (mixed) one represented by a density matrix. I characterize and elaborate on Density Matrix Realism, the thesis that the universal quantum state is objective but can be impure. To clarify the thesis, I compare it with Wave Function Realism, explain the conditions under which they are empirically equivalent, consider (...) two generalizations of Density Matrix Realism, and answer some frequently asked questions. I end by highlighting an implication for scientific realism. (shrink)

It is now increasingly accepted that many existing biological and medical ontologies can be improved by adopting tools and methods that bring a greater degree of logical and ontological rigor. In this chapter we will focus on the merits of a logically sound approach to ontologies from a methodological point of view. As we shall see, one crucial feature of a logically sound approach is that we have clear and functional definitions of the relational expressions such as ‘is a’ and (...) ‘part of ’. (shrink)

This doctoral dissertation investigates the notion of physical necessity. Specifically, it studies whether it is possible to account for non-accidental regularities without the standard assumption of a pre-existent set of governing laws. Thus, it takes side with the so called deflationist accounts of laws of nature, like the humean or the antirealist. The specific aim is to complement such accounts by providing a missing explanation of the appearance of physical necessity. In order to provide an explanation, I recur to fields (...) that have not been appealed to so far in discussions about the metaphysics of laws. Namely, I recur to complex systems’ theory, and to the foundations of statistical mechanics. The explanation proposed is inspired by how complex systems’ theory has elucidated the way patterns emerge, and by the probabilistic explanations of the 2nd law of thermodynamics. More specifically, this thesis studies how some constraints that make no direct reference to the dynamics can be a sufficient condition for obtaining in the long run, with high probability, stable regular behavior. I hope to show how certain metaphysical accounts of laws might benefit from the insights achieved in these other fields. According to the proposal studied in this thesis, some regularities are not accidental not in virtue of an underlying physical necessity. The non-accidental character of certain regular behavior is only due to its overwhelming stability. Thus, from this point of view the goal becomes to explain the stability of temporal patterns without assuming a set of pre-existent guiding laws. It is argued that the stability can be the result of a process of convergence to simpler and stable regularities from a more complex lower level. According to this project, if successful, there would be no need to postulate a (mysterious) intermediate category between logical necessity and pure contingency. Similarly, there would be no need to postulate a (mysterious) set of pre-existent governing laws. Part I of the thesis motivates part II, mostly by arguing why further explanation of the notions of physical necessity and governing laws should be welcomed (chapter 1), and by studying the plausibility of a lawless fundamental level (chapters 2 and 3). Given so, part II develops the explanation of formation of simpler and stable behavior from a more complex underlying level. (shrink)

Any adequate semantics of generic sentences (e.g., “Philosophers evaluate arguments”) must accommodate both what we call the positive data and the negative data. The positive data consists of observations about what felicitous interpretations of generic sentences are available. Conversely, the negative data consists of observations about which interpretations of generic sentences are unavailable. Nguyen argues that only his pragmatic neo-Gricean account and Sterken’s indexical account can accommodate the positive data. Lee and Nguyen have advanced the debate by arguing that the (...) negative data is a problem for both Nguyen’s and Sterken’s accounts; these two accounts seem to incorrectly predict that generics have felicitous interpretations that they, in fact, fail to have. In this paper, we advance this debate—and, more generally, the task of developing an adequate formal semantics of generics—by arguing that a neglected class of theories are compatible with both the positive data and the negative data. Specifically, we argue that treating the generic operator GEN as a relative gradable expression with a positive, upper- and lower- bounded scale helps accommodate the positive data and the negative data. While developing this view, we show how several previously developed semantics of generics may systematically accommodate both sets of data. One broad contribution of this paper is to show that, while they generate important desiderata, the positive and negative data cannot determine a unique semantics for generics. A further contribution of this paper is to highlight previously unnoted ways in which degree semantics may inform semantic theories of generic meaning. (shrink)

Within-category induction is the projection of a generic property from a class to a subtype of that class. The modifier effect refers to the discovery reported by Connolly et al., that the subtype statement tends to be judged less likely to be true than the original unmodified sentence. The effect was replicated and shown to be moderated by the typicality of the modifier. Likelihood judgements were also found to correlate between modified and unmodified versions of sentences. Experiment 2 elicited (...) justifications, which suggested three types of reason for the effect-pragmatics, knowledge-based reasoning, and uncertainty about attribute inheritance. It is argued that the results provide clear evidence for the default inheritance of prototypical attributes in modified concepts, although a full account of the effect remains to be given. (shrink)

Some arguments against David Lewis’s modal realism seek to exploit apparent inconsistencies between it and anthropic reasoning. A recent argument, in particular, seeks to exploit an inconsistency between modal realism and typicality anthropic premises, premises common in the literature on physical multiverses, to the effect that observers who are like human observers in certain respects must be typical in the relevant multiverse. Here I argue that typicality premises are not applicable to the description of Lewis’s metaphysical multiverse, where (...) the proportions of metaphysically possible observers possessing the pertinent properties can be independently established by metaphysical reasoning. However, other kinds of reasonable anthropic premises can be seen to be consistent with and usable within modal realism. (shrink)

This paper examines the account of ordinary language semantics developed by Franz Brentano and his pupil Anton Marty. Long before the interest in ordinary language in the analytic tradition, Brentanian philosophers were exploring our everyday use of words, as opposed to the scientific use of language. Brentano and Marty were especially interested in the semantics of (common) names in ordinary language. They claimed that these names are vague, and that this is due to the structure of the concepts that constitute (...) their meaning: concepts expressed by such names are themselves vague, based on typicality, and have more or less similar items within their extension. After presenting the views of Brentano and Marty, this paper compares them to later accounts of meaning and concepts, notably Wittgenstein’s theory of family resemblances and the prototype theory of concepts, and emphasizes the originality of the Brentanian position. (shrink)

Philosophers now seem to agree that frequentism is an untenable strategy to explain the meaning of probabilities. Nevertheless, I want to revive frequentism, and I will do so by grounding probabilities on typicality in the same way as the thermodynamic arrow of time can be grounded on typicality within statistical mechanics. This account, which I will call typicality frequentism, will evade the major criticisms raised against previous forms of frequentism. In this theory, probabilities arise within a physical (...) theory from statistical behavior of almost all initial conditions. The main advantage of typicality frequentism is that it shows which kinds of probabilities (that also have empirical relevance) can be derived from physics. Although one cannot recover all probability talk in this account, this is rather a virtue than a vice, because it shows which types of probabilities can in fact arise from physics and which types need to be explained in different ways, thereby opening the path for a pluralistic account of probabilities. (shrink)

Typical analyses of belief in conspiracy theories have it that identifying as a conspiracy theorist is irrational. However, given that we know conspiracies occur, and theories about said conspiracies can be warranted, should we really be scared of the locution 'I'm a conspiracy theorist...'?

In typical monotransitive verbs, such as "to touch," the patient is a passive recipient of action. In this paper, I discuss a special class of monotransitive verbs in which the patient is not, and cannot be, just a passive recipient of action. These verbs, such as "to educate," hinge on intersubjective experience. This intersubjectivity throws a wrench into classical descriptions of grammatical transitivity, transforming the recipient of action from a passive patient receiving the action into an active agent accepting the (...) action. As such, light is thrown on other "intertransitive" verbs and the experiences they describe, with special attention paid to education. (shrink)