Les savoirs de sens commun sont solidement ancrés dans les usages, notamment grâce à l’habitude et à la sécurité ontologique qu’ils engendrent. Cet article examinera d’abord pourquoi les savoirs disciplinaires appris à l’école ne sont pas automatiquement réinvestis dans des contextes de nature extrascolaire et pourquoi les savoirs de sens commun résistent à leur déconstruction. La première partie de l’analyse sera marquée par le croisement de discours épistémologiques concernant la nature et la place des savoirs de sens commun dans les (...) conceptions familières de la science. Cet article explorera ensuite les dynamiques qui marquent les relations qu’entretiennent les savoirs disciplinaires scolaires et les savoirs de sens commun en contexte scolaire. Le langage propre à la seconde partie se rattachera davantage aux débats en éducation sur l’importance prépondérante des savoirs de sens commun dans l’apprentissage disciplinaire par concepts. Enfin, nous montrerons qu’il existe des stratégies d’enseignement qui peuvent optimiser l’appropriation intellectuelle des savoirs disciplinaires scolaires et leur transfert dans les interactions quotidiennes. (shrink)

Dans cet article, il sera fait un bref rappel du modèle traditionnel d’interprétation des lois, toujours prescrit dans la doctrine, sinon épousé verbalement dans les tribunaux canadiens. Il sera démontré que ce modèle ne peut pas représenter toute la réalité du travail d’interprétation des juristes canadiens, pour plusieurs raisons. L’herméneutique, la sociologie critique, l’analyse du discours, prenant pour objet les textes législatifs, les jugements rendus, les arguments pratiques entendus, ont montré l’étendue du comportement réflexif réel, l’étendue du champ interprétatif visant (...) les circonstances d’une cause. Les textes législatifs donnent de fait de plus en plus de place à l’interprétation des circonstances pertinentes à l’encadrement de l’action des justiciables. Sur un plan empirique, l’analyse des jugements, de même que les prises de position de juges lorsqu’ils s’expriment en dehors du forum judiciaire, mettent en évidence la variété des motifs effectivement pris en considération, l’espace considérable de délibération éthique impliquant de fait tous les interprètes, qu’ils soient simples citoyens d’une communauté, inspirés par l’un ou l’autre des ordres sociaux, ou acteurs spécialisés de l’ordre juridique. Cet article se propose d’examiner comment se produit actuellement, en droit canadien ou québécois, l’interprétation des juristes, dans des processus décisionnels réflexifs, en situations complexes, voire même dans la perspective du développement des institutions. (shrink)

Dans cette contribution, nous nous penchons sur la figure du bonheur paradoxal qui, dans les "Rêveries du promeneur solitaire" de Rousseau, se définit au sein d’un jeu de tensions multiples. Si le bonheur exige la solitude, il est toujours hanté par l’altérité ; si sa source est en soi-même, il ne cesse toutefois de dépendre de circonstances contingentes ; et si, enfin, il s’éprouve tout entier dans le sentiment, il s’agit pourtant d’un sentiment augmenté d’un caractère réfléchi ou, pour mieux (...) dire, redoublé dans le souvenir que retrace l’écriture. Dans tous les cas, ces antinomies du bonheur – sur lesquelles nous reviendrons longuement plus loin – s’enracinent dans une marqueterie de références dont l’hétérogénéité est l’expression d’un dialogue tendu au sein duquel, comme nous souhaiterions d’abord le montrer, la philosophie morale des Anciens se réinvente en adoptant le langage, éminemment moderne, du sentiment. (shrink)

According to the Theory of the Second Best, in non-ideal circumstances, approximating ideals might be suboptimal (with respect to a specific interpretation of what “approximating an ideal” means). In this paper, I argue that the formal model underlying the Theory can apply to problems in epistemology. Two applications are discussed: First, in some circumstances, second-best problems arise in Bayesian settings. Second, the division of epistemic labour can be subject to second-best problems. These results matter. They allow us to evaluate the (...) claim, made by many philosophers, that second-best problems have import in epistemology (and the specific conditions under which the Theory finds applications). They also allow us to see that talk of “approximating an ideal” is ambiguous, and to clarify the conditions in which approximating an epistemic ideal might be beneficial. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...) would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

Policy-makers must sometimes choose between an alternative which has somewhat lower expected value for each person, but which will substantially improve the outcomes of the worst off, or an alternative which has somewhat higher expected value for each person, but which will leave those who end up worst off substantially less well off. The popular ex ante Pareto principle requires the choice of the alternative with higher expected utility for each. We argue that ex ante Pareto ought to be rejected (...) because it conflicts with the requirement that, when possible, one ought to decide as one would with full information. We apply our argument in an analysis of US policy on screening for breast cancer. -/- . (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

What is the place of coherence, or structural rationality, in good first-personal deliberation? According to Kolodny (2005), considerations of coherence are irrelevant to good first-personal deliberation. When we deliberate, we should merely care about the reasons or evidence we have for our attitudes. So, considerations of coherence should not show up in deliberation. In response to this argument, Worsnip (2021) argues that considerations of coherence matter for how we structure deliberation. For him, we should treat incoherent combinations of attitudes as (...) off-limits in deliberation. Some important questions are left unanswered by both camps. What do we mean by considerations of coherence “showing up” in first-personal deliberation? How do we interpret the divide between reasons-responsiveness and coherence? How should we interpret cases in which considerations of coherence interact with other norms or requirements? In this paper, I show how Haack’s (1993) crossword puzzle analogy sheds light on these questions. Also, the crossword puzzle analogy allows us to evaluate Kolodny’s objection and identify promising avenues for future research. (shrink)

During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years after (...) his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

In this paper, I aim to show that agency-based accounts of moral status are more plausible than many have previously thought. I do this by developing a novel account of moral status that takes agency, understood as the capacity for intentional action, to be the necessary and sufficient condition for the possession of moral status. This account also suggests that the capacities required for sentience entail the possession of agency, and the capacities required for agency, entail the possession of sentience. (...) Thus on this account sentient beings possess agency and agents possess sentience. If this is correct, it will show that an Agency Account of moral status can offer a plausible defence of the moral status of all sentient beings, something that previous Agency Accounts have not succeeded in doing. What is more, this account could establish that all sentient animals are not just moral status holders per se, but that they are owed pro tanto obligations regarding continued existence and liberty, similar in kind, though not always in strength, to those owed to humans. (shrink)

Many philosophers have offered arguments in favor of the following three theses: A is epistemically permitted to believe P only if A is in a position to know that P, incoherent agents fail to satisfy the aforementioned knowledge norm of belief, and A’s apparent reasons are relevant to determining what A is blameworthy for believing. In this paper, I argue that the above three theses are jointly inconsistent. The main upshot of the paper is this: even if the knowledge norm (...) of belief is correct, it cannot explain some deontic requirements governing belief. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

Efforts to bridge emotion theory with neurobiology can be facilitated by dynamic systems (DS) modeling. DS principles stipulate higher-order wholes emerging from lower-order constituents through bidirectional causal processes cognition relations. I then present a psychological model based on this reconceptualization, identifying trigger, self-amplification, and self-stabilization phases of emotion-appraisal states, leading to consolidating traits. The article goes on to describe neural structures and functions involved in appraisal and emotion, as well as DS mechanisms of integration by which they interact. These mechanisms (...) include nested feedback interactions, global effects of neuromodulation, vertical integration, action-monitoring, and synaptic plasticity, and they are modeled in terms of both functional integration and temporal synchronization. I end by elaborating the psychological model of emotion–appraisal states with reference to neural processes. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

It is often thought that consciousness has a qualitative dimension that cannot be tracked by science. Recently, however, some philosophers have argued that this worry stems not from an elusive feature of the mind, but from the special nature of the concepts used to describe conscious states. Marc Champagne draws on the neglected branch of philosophy of signs or semiotics to develop a new take on this strategy. The term “semiotics” was introduced by John Locke in the modern period (...) – its etymology is ancient Greek, and its theoretical underpinnings are medieval. Charles Sanders Peirce made major advances in semiotics, so he can act as a pipeline for these forgotten ideas. Most philosophers know Peirce as the founder of American pragmatism, but few know that he also coined the term “qualia,” which is meant to capture the intrinsic feel of an experience. Since pragmatic verification and qualia are now seen as conflicting commitments, Champagne endeavors to understand how Peirce could (or thought he could) have it both ways. The key, he suggests, is to understand how humans can insert distinctions between features that are always bound. Recent attempts to take qualities seriously have resulted in versions of panpsychism, but Champagne outlines a more plausible way to achieve this. So, while semiotics has until now been the least known branch of philosophy ending in –ics, his book shows how a better understanding of that branch can move one of the liveliest debates in philosophy forward. (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)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

In the natural and social sciences, it is common to use toy models—extremely simple and highly idealized representations—to understand complex phenomena. Some of the simple surrogate models used to understand opaque machine learning (ML) models, such as rule lists and sparse decision trees, bear some resemblance to scientific toy models. They allow non-experts to understand how an opaque ML model works globally via a much simpler model that highlights the most relevant features of the input space and their effect on (...) the output. The obvious difference is that the common target of a toy and a full-scale model in the sciences is some phenomenon in the world, while the target of a surrogate model is another model. This essential difference makes toy surrogate models (TSMs) a new object of study for theories of understanding, one that is not easily accommodated under current analyses. This paper provides an account of what it means to understand an opaque ML model globally with the aid of such simple models. (shrink)

The idea that only complex brains can possess genuine representations is an important element in mainstream philosophical thinking. An alternative view, which I label ‘liberal representationalism’, holds that we should accept the existence of many more full-blown representations, from activity in retinal ganglion cells to the neural states produced by innate releasing mechanisms in cognitively unsophisticated organisms. A promising way of supporting liberal representationalism is to show it to be a consequence of our best naturalistic theories of representation. However, several (...) philosophers and scientists have recently argued against this strategy. In the paper I counter these objections in defense of liberal representationalism. (shrink)

The prevalent views of animal liberty among animal advocates suggest that liberty is merely instrumentally valuable and invasive paternalism is justified. In contrast to this popular view, I argue that liberty is intrinsically good for animals. I suggest that animal well-being is best accommodated by an Objective List Theory and that liberty is an irreducible component of animal well-being. As such, I argue that it is good for animals to possess liberty even if possessing liberty does not contribute towards their (...) subjective well-being, and even in some cases where it has a negative effect upon their subjective well-being. To establish this view I argue that if animals are agents, as I assume they are, then like humans they must be able to determine the course of their own lives (to some extent). Further, having the opportunity to self-determine one’s life just is the very same thing as liberty, and having the opportunity to determine the course of one’s life is intrinsically good. Thus liberty has intrinsic value for humans and animals. So, in addition to the instrumental harms of having one’s liberty restricted, I claim that restricting animals’ liberty in principle harms them because it undermines their capacity for self-determination and fails to acknowledge their authority as agents to make their own choices. (shrink)

The received view holds that there is a significant divide between full-blown representational states and so called ‘detectors’, which are mechanisms set off by specific stimuli that trigger a particular effect. The main goal of this paper is to defend the idea that many detectors are genuine representations, a view that I call ‘Strong Liberal Representationalism’. More precisely, I argue that ascribing semantic properties to them contributes to an explanation of behavior, guides research in useful ways and can accommodate misrepresentation.

The indeterminacy problem is one of the most prominent objections against naturalistic theories of content. In this essay I present this difficulty and argue that extant accounts are unable to solve it. Then, I develop a particular version of teleosemantics, which I call ’explanation-based teleosemantics’, and show how this outstanding problem can be addressed within the framework of a powerful naturalistic theory.

What is structural rationality? Specifically, what is the distinctive feature of structural requirements of rationality? Some philosophers have argued, roughly, that the distinctive feature of structural requirements is coherence. But what does coherence mean, exactly? Or, at least, what do structuralists about rationality have in mind when they claim that structural rationality is coherence? This issue matters for making progress in various active debates concerning rationality. In this paper, I analyze three strategies for figuring out what coherence means in the (...) debates on structural rationality. I argue that these strategies face problems. (shrink)

The debate on the notion of function has been historically dominated by dispositional and etiological accounts, but recently a third contender has gained prominence: the organizational account. This original theory of function is intended to offer an alternative account based on the notion of self-maintaining system. However, there is a set of cases where organizational accounts seem to generate counterintuitive results. These cases involve cross-generational traits, that is, traits that do not contribute in any relevant way to the self-maintenance of (...) the organism carrying them, but instead have very important effects on organisms that belong to the next generation. We argue that any plausible solution to the problem of cross-generational traits shows that the organizational account just is a version of the etiological theory and, furthermore, that it does not provide any substantive advantage over standard etiological theories of function. (shrink)

Naturalistic theories of representation seek to specify the conditions that must be met for an entity to represent another entity. Although these approaches have been relatively successful in certain areas, such as communication theory or genetics, many doubt that they can be employed to naturalize complex cognitive representations. In this essay I identify some of the difficulties for developing a teleosemantic theory of cognitive representations and provide a strategy for accommodating them: to look into models of signaling in evolutionary game (...) theory. I show how these models can be used to formulate teleosemantics and expand it in new directions. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

In a series of papers, Bence Nanay has recently put forward and defended a new theory of function, which he calls the ‘Modal Theory of Function’. In this article, I critically address this theory and argue that it fails to fulfill some key desiderata that a satisfactory theory of function must comply with. As a result, I conclude that, whatever property Nanay’s notion of function refers to, it is not the property having the function that is standardly attributed in science.

Although the definition of ‘signal’ has been controversial for some time within the life sciences, current approaches seem to be converging toward a common analysis. This powerful framework can satisfactorily accommodate many cases of signaling and captures some of its main features. This paper argues, however, that there is a central feature of signals that so far has been largely overlooked: its special causal role. More precisely, I argue that a distinctive feature of signals is that they are minimal causes. (...) I explain this notion, suggest some strategies for identifying its instances and defend its relevance by means of conceptual and empirical considerations. (shrink)

Street’s (Philos Stud 127(1):109–166, 2006) Darwinian Dilemma purports to show that evolutionary considerations are in tension with realist theories of value, which include moral realism. According to this argument, moral realism can only be defended by assuming an implausible tracking relation between moral attitudes and moral facts. In this essay, I argue that this tracking relation is not as implausible as most people have assumed by showing that the three main objections against it are flawed. Since this is a key (...) premise in the reasoning, I conclude that the Darwinian Dilemma against moral realism can be resisted. (shrink)

Sparrow argues that military robots capable of making their own decisions would be independent enough to allow us denial for their actions, yet too unlike us to be the targets of meaningful blame or praise—thereby fostering what Matthias has dubbed “the responsibility gap.” We agree with Sparrow that someone must be held responsible for all actions taken in a military conflict. That said, we think Sparrow overlooks the possibility of what we term “blank check” responsibility: A person of sufficiently high (...) standing could accept responsibility for the actions of autonomous robotic devices—even if that person could not be causally linked to those actions besides this prior agreement. The basic intuition behind our proposal is that humans can impute relations even when no other form of contact can be established. The missed alternative we want to highlight, then, would consist in an exchange: Social prestige in the occupation of a given office would come at the price of signing away part of one's freedoms to a contingent and unpredictable future guided by another agency. (shrink)

Deception has recently received a significant amount of attention. One of main reasons is that it lies at the intersection of various areas of research, such as the evolution of cooperation, animal communication, ethics or epistemology. This essay focuses on the biological approach to deception and argues that standard definitions put forward by most biologists and philosophers are inadequate. We provide a functional account of deception which solves the problems of extant accounts in virtue of two characteristics: deceptive states have (...) the function of causing a misinformative states and they do not necessarily provide direct benefits to the deceivers and losses to the targets. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

One of the main tenets of current teleosemantic theories is that simple representations are Pushmi-Pullyu states, i.e. they carry descriptive and imperative content at the same time. In the paper I present an argument that shows that if we add this claim to the core tenets of teleosemantics, then (1) it entails that, necessarily, all representations are Pushmi-Pullyu states and (2) it undermines one of the main motivations for the Pushmi-Pullyu account.

Uno de los principios éticos mencionados más frecuentemente en los lineamientos para el desarrollo de la inteligencia artificial (IA) es la transparencia algorítmica. Sin embargo, no existe una definición estándar de qué es un algoritmo transparente ni tampoco es evidente por qué la opacidad algorítmica representa un reto para el desarrollo ético de la IA. También se afirma a menudo que la transparencia algorítmica fomenta la confianza en la IA, pero esta aseveración es más una suposición a priori que una (...) tesis basada en evidencia empírica. Tampoco se discute mucho hasta qué punto es técnicamente posible volver transparente la caja negra de la IA a través de los métodos de explicabilidad. En este capítulo haré un análisis de la interrelación entre los conceptos de transparencia, explicabilidad y confianza. Inicialmente, analizaré los diferentes tipos de opacidad algorítmica para entender mejor cuál es el problema al que nos enfrentamos. En las secciones subsiguientes trazaré la relación entre explicabilidad y transparencia, y presentaré los límites de los métodos actuales de explicabilidad. En la sección final, examinaré la evidencia empírica acerca de la relación entre transparencia y confianza en las decisiones automatizadas basadas en sistemas de IA. (shrink)

Mendelovici (forthcoming) has recently argued that (1) tracking theories of mental representation (including teleosemantics) are incompatible with the possibility of reliable misrepresentation and that (2) this is an important difficulty for them. Furthermore, she argues that this problem commits teleosemantics to an unjustified a priori rejection of color eliminativism. In this paper I argue that (1) teleosemantics can accommodate most cases of reliable misrepresentation, (2) those cases the theory fails to account for are not objectionable and (3) teleosemantics is not (...) committed to any problematic view on the color realism-antirealism debate. (shrink)

I want to show that truth is an important concept, and that it can be explained. However, we must deal with what are called ‘deflationist’ concepts of truth first. Deflationism is the view that there is nothing more to be said about truth once a semantic theory for the truth-predicate (such as Tarski's) has been provided.

In this paper I discuss a recent theory on functions called Organizational Account. This theory seeks to provide a new definition of function that overcomes the distinction between etiological and dispositional accounts and that could be used in biology as well as in technology. I present a definition of function that I think captures the intuitions of Organizational Accounts and consider several objections.

In this paper I defend the idea that there is a sense in which it is meaningful and useful to talk about objective understanding, and that to characterize that notion it is necessary to formulate an account of explanation that makes reference to the beliefs and epistemic goals of the participants in a cognitive enterprise. Using the framework for belief revision developed by Isaac Levi, I analyze the conditions that information must fulfill to be both potentially explanatory and epistemically valuable (...) to an inquiring agent and to a scientific community. To be potentially explanatory, the information must state the relations of probabilistic relevance that the explanans bares to the explanandum. But a potential explanation con only be a bona fide explanation if it becomes part of inquiry, that is, if an agent or a group of agents can see any value in it for their cognitive purposes. I provide a way to evaluate the epistemic value of a potential explanation as a function of its credibility and its informational content. (shrink)

Ethological theories usually attribute semantic content to animal signals. To account for this fact, many biologists and philosophers appeal to some version of teleosemantics. However, this picture has recently came under attack: while mainstream teleosemantics assumes that representational systems must cooperate, some biologists and philosophers argue that in certain cases signaling can evolve within systems lacking common interest. In this paper I defend the standard view from this objection.