Notre objectif est de montrer que la théorie de l’argumentation philosophique développée par Charles Taylor apporte une solution élégante, quoiqu’implicite, au problème de l’« historicisme transcendantal » dans la tradition herméneutique contemporaine (Heidegger, Gadamer, Ricoeur). Ce problème consiste à se demander comment il peut être possible à la fois (1) de désavouer l’existence de vérités « absolues » ou « anhistoriques » et (2) de reconnaître au discours philosophique sur l’« historicité » (Geschichtlichkeit) de la pensée tous ses droits, (...) puisque ce discours demeure de facto et de jure une pensée de l’a priori. En ce sens, mes analyses se concentre-ront sur la façon dont Taylor parvient à justifier la thèse – en apparence contradictoire – selon laquelle la réflexion philosophique peut parvenir à des conclusions « apodictiques et pourtant ouvertes à un débat sans fin ». Our aim is to show that Charles Taylor’s theory of philosophical argumentation proposes an elegant, albeit implicit, solution to the problem of “transcendental historicism” in contemporary hermeneutics (Heidegger, Gadamer, Ricoeur). This problem consists in asking how it is possible both to (1) disavow the existence of “absolute” or “anhistorical” truths and (2) fully acknowledge the status of philosophical discourses on “historicity” (Geschichtlichkeit), since those discourses remain de facto and de jure properly a priori. The following discussion focusses on how Taylor manages to justify the seemingly contradictory thesis that philosophical reflection can reach conclusions that are “apodictic and yet open to end-less debate.”. (shrink)

This paper argues that a major contribution to women’s under-representation and the gender pay gap in surgery is the interaction and aggregation of many small wrongs, or as they have come to be called in the literature, microinequities. Further, the paper argues that existing strategies do not adequately address the problems faced by women surgeons and cannot do so without an understanding of those wrongs as microinequities. Insights from the literature on ethics and microinequities are thought to be able to (...) inform new strategies.1 The study identifies four different kinds of gender bias: workplace discrimination, epistemic injustice, stereotyped roles and objectification. The different kinds of gender bias interact with one another and add up in ways that pose serious setbacks to the careers of women surgeons. In addition to being small wrongs, microinequities share other features. They are cumulative; they interact with one other; they are often invisible; and they are implicit or unintended. My comments are going to focus on the response to microinequities, …. (shrink)

Two decades ago, the introduction of the Implicit Association Test (IAT) sparked enthusiastic reactions. With implicit measures like the IAT, researchers hoped to finally be able to bridge the gap between self-reported attitudes on one hand and behavior on the other. Twenty years of research and several meta-analyses later, however, we have to conclude that neither the IAT nor its derivatives have fulfilled these expectations. Their predictive value for behavioral criteria is weak and their incremental validity over and (...) above self-report measures is negligible. In our review, we present an overview of explanations for these unsatisfactory findings and delineate promising ways forward. Over the years, several reasons for the IAT’s weak predictive validity have been proposed. They point to four potentially problematic features: First, the IAT is by no means a pure measure of individual differences in associations but suffers from extraneous influences like recoding. Hence, the predictive validity of IAT-scores should not be confused with the predictive validity of associations. Second, with the IAT, we usually aim to measure evaluation (“liking”) instead of motivation (“wanting”). Yet, behavior might be determined much more often by the latter than the former. Third, the IAT focuses on measuring associations instead of propositional beliefs and thus taps into a construct that might be too unspecific to account for behavior. Finally, studies on predictive validity are often characterized by a mismatch between predictor and criterion (e.g., while behavior is highly context-specific, the IAT usually takes into account neither situation nor domain). Recent research, however, also revealed advances addressing each of these problems, namely (1) procedural and analytical advances to control for recoding in the IAT, (2) measurement procedures to assess implicit wanting, (3) measurement procedures to assess implicit beliefs, and (4) approaches to increase the fit between implicit measures and behavioral criteria (e.g., by incorporating contextual information). Implicit measures like the IAT hold an enormous potential. In order to allow them to fulfill this potential, however, we have to refine our understanding of these measures, and we should incorporate recent conceptual and methodological advancements. This review provides specific recommendations on how to do so. (shrink)

It has been just over 100 years since the birth of Alan Turing and more than 65 years since he published in Mind his seminal paper, Computing Machinery and Intelligence. In the Mind paper, Turing asked a number of questions, including whether computers could ever be said to have the power of “thinking”. Turing also set up a number of criteria—including his imitation game—under which a human could judge whether a computer could be said to be “intelligent”. Turing’s paper, as (...) well as his important mathematical and computational insights of the 1930s and 1940s led to his popular acclaim as the “Father of Artificial Intelligence”. In the years since his paper was published, however, no computational system has fully satisfied Turing’s challenge. In this paper we focus on a different question, ignored in, but inspired by Turing’s work: How might the Artificial Intelligence practitioner implement “intelligence” on a computational device? Over the past 60 years, although the AI community has not produced a general-purpose computational intelligence, it has constructed a large number of important artifacts, as well as taken several philosophical stances able to shed light on the nature and implementation of intelligence. This paper contends that the construction of any human artifact includes an implicit epistemic stance. In AI this stance is found in commitments to particular knowledge representations and search strategies that lead to a product’s successes as well as its limitations. Finally, we suggest that computational and human intelligence are two different natural kinds, in the philosophical sense, and elaborate on this point in the conclusion. (shrink)

The paradox of analysis asks how a putative conceptual analysis can be both true and informative. If it is true then isn’t it analytic? And if it is analytic then how can it be informative? Our proposed solution rests on a distinction between explicit knowledge of meaning and implicit knowledge of meaning and on a correlative distinction between two kinds of conceptual competence. If one initially possesses only implicit knowledge of the meaning of a given concept and (...) the associated linguistic expression, then a conceptual analysis can be both analytic and informative. (shrink)

In this paper, I develop and defend a theory of what I call 'implicit goal-directedness', which is a purely causal or dynamical notion, and can be separated from the notion of 'explicit goal-directedness', which implies the representation of a goal-state. I describe the problems that plagued earlier attempts at analyzing goal-directedness in causal/dynamical terms, and then present my own novel solution. I argue that implicit goal-directedness, in the sense presented, plays an important conceptual role in biology and (...) cognitive science, and is distinct, not only from explicit goal-directedness, but also from the other major teleological notion familiar to philosophers of biology: evolutionary function. Indeed, an appreciation of this tripartite distinction is critical for understanding the structure of explanations of behavior in many scientific contexts. (shrink)

People are unable to report how they decide whether to move backwards or forwards to catch a ball. When asked to imagine how their angle of elevation of gaze would change when they caught a ball, most people are unable to describe what happens although their interception strategy is based on controlling changes in this angle. Just after catching a ball, many people are unable to recognise a description of how their angle of gaze changed during the catch. Some people (...) confidently choose incorrect descriptions that would guarantee failure of interception demonstrating unconscious knowledge co-existing with systematically different conscious beliefs. Where simple solutions to important evolutionary problems exist, unconscious perception needs to be impervious to conscious beliefs. (shrink)

I show that words with indefinite implicit complements occasion a dilemma for their model theory. There has been only two previous attempts to address this problem, one by Fodor and Fodor (1980) and one by Dowty (1981). Each requires that any word tolerating an implicit complement be treated as ambiguous between two different lexical entries and that a meaning postulate or lexical rule be given to constrain suitably the meanings of the various entries for the word. I show (...) that the positing of such an ambiguity runs counter to the facts and propose an alternative solution which does not appeal to ambiguity, meaning postulates or lexical rules. Indeed, I show that the dilemma posed by indefinite implicit complements is posed by all implicit complements and that a general solution to the problem of implicit complements follows from an independently motivated, single treatment of five other problems, that of subcategorization, that of phrasal projections of words, that of defining a model theoretic structure for phrase structure grammars, that of complement polyvalence and that of complement polyadicity. (shrink)

The author identifies selected implicit or not fully explicit assumptions made by Noam Chomsky in his theory of language. Through a careful examination of Chomsky's work, she aims to present the solutions this linguist proposes with respect to two fundamental questions: the question of methodology and the question of the ontological status of language. After reviewing the central theses of Chomsky's theory in the first part of the paper, she turns to the question that is mentioned in the title (...) of this paper, that is, the reservations regarding the assumptions underlying Chomsky's work. (shrink)

Epistemic logic with its possible worlds semantic model is a powerful framework that allows us to represent an agent’s information not only about propositional facts, but also about her own information. Nevertheless, agents represented in this framework are logically omniscient: their information is closed under logical consequence. This property, useful in some applications, is an unrealistic idealisation in some others. Many proposals to solve this problem focus on weakening the properties of the agent’s information, but some authors have argued that (...) solutions of this kind are not completely adequate because they do not look at the heart of the matter: the actions that allow the agent to reach such omniscient state. Recent works have explored how acts of observation, inference, consideration and forgetting affect an agent’s implicit and explicit knowledge; the present work focuses on acts that affect an agent’s implicit and explicit beliefs. It starts by proposing a framework in which these two notions can be represented, and then it looks into their dynamics, first by reviewing the existing notion of belief revision, and then by introducing a rich framework for representing diverse forms of inference that involve both knowledge and beliefs. (shrink)

Often machine learning programs inherit social patterns reflected in their training data without any directed effort by programmers to include such biases. Computer scientists call this algorithmic bias. This paper explores the relationship between machine bias and human cognitive bias. In it, I argue similarities between algorithmic and cognitive biases indicate a disconcerting sense in which sources of bias emerge out of seemingly innocuous patterns of information processing. The emergent nature of this bias obscures the existence of the bias itself, (...) making it difficult to identify, mitigate, or evaluate using standard resources in epistemology and ethics. I demonstrate these points in the case of mitigation techniques by presenting what I call ‘the Proxy Problem’. One reason biases resist revision is that they rely on proxy attributes, seemingly innocuous attributes that correlate with socially-sensitive attributes, serving as proxies for the socially-sensitive attributes themselves. I argue that in both human and algorithmic domains, this problem presents a common dilemma for mitigation: attempts to discourage reliance on proxy attributes risk a tradeoff with judgement accuracy. This problem, I contend, admits of no purely algorithmic solution. (shrink)

The concept of knowledge can be modelled in epistemic modal logic and, if modelled by using a standard modal operator, it is subject to the problem of logical omniscience. The classical solution to this problem is to distinguish between implicit and explicit knowledge and to construe the knowledge operator as capturing the concept of implicit knowledge. In addition, since a proposition is said to be implicitly known just in case it is derivable from the set of propositions (...) that are explicitly known by using a certain set of logical rules, the concept of implicit knowledge is definable on the basis of the concept of explicit knowledge. In any case, both implicit and explicit knowledge are typically characterized as factive, i.e. such that it is always the case that what is known is also true. The aim of the present paper is twofold: first, we will develop a dynamic system of explicit intersubjective knowledge that allows us to introduce the operator of implicit knowledge by definition; secondly, we will show that it is not possible to hold together the following two theses: (1) the concept of implicit knowledge is definable along the lines indicated above and (2) the concept of implicit knowledge is factive. (shrink)

This chapter is about micro-inequities and their connection to the problem of implicit bias. It begins by defining micro-inequities, goes on to discuss what makes them wrong and what solutions might be appropriate given the institutional context in which they occur.

In the present paper a new semantic framework for modelling the distinction between implicit and explicit belief is proposed and contrasted with the currently standard framework based on the idea that explicit belief can be construed as implicit belief accompanied by awareness. It is argued that within this new framework it is possible to get both a more intuitive interpretation of the aforementioned distinction and a straightforward solution to two critical problems to which the standard view is (...) subjected. A system of logic for belief is introduced and proved to be complete with respect to the class of all frames for implicit and explicit belief constructed in accord to the new view. (shrink)

In spite of our good intentions and explicit egalitarian convictions, we habitually disfavor the underprivileged. The rapidly growing literature on implicit bias – unconscious, automatic tendencies to associate negative traits with members of particular social groups – points towards explanations of this dissonance, although rarely towards generalizable solutions. In a recent paper, Jennifer Saul draws attention to the alarming epistemological problems that implicit bias carries with it; since our judgments about each other are likely influenced by implicit (...) bias, we have good reason to doubt their veracity. In this paper we explore a novel way to come to terms with the epistemological problem as it manifests itself in ranking situations, i.e. how we can know that the way in which we have ranked a group of people for a certain position, reflects their actual competence. On our approach, rather than attempting to make people less biased, we suggest that biased behavior can sometimes be corrected after the fact. In particular, the veracity of rankings can sometimes be improved by modifying the rankings directly. We investigate three methods that modify biased rankings, and argue that the last of these solves the epistemological problem that we are concerned with. (shrink)

Against those who argue that Hegel despaired of providing a solution to the problem of poverty, I argue, on the basis of key dialectical transitions in Hegel's Philosophy of Right, that he held at least the following: (1) that the chronic poverty endemic to industrial capitalism can be overcome only through changes that must include a transformation in practices of consumption, (2) that this transformation must lead to more *sittlich* and self-conscious practices of consumption, and (3) that the institution (...) best-suited to enable the development of these more *sittlich* and self-conscious practices of consumption is the *Korporation*. (shrink)

In his Quadratura, Paul of Venice considers a sophism involving time and tense which appears to show that there is a valid inference which is also invalid. His argument runs as follows: consider this inference concerning some proposition A: A will signify only that everything true will be false, so A will be false. Call this inference B. Then B is valid because the opposite of its conclusion is incompatible with its premise. In accordance with the standard doctrine of ampliation, (...) Paul takes A to be equivalent to 'Everything that is or will be true will be false'. But he proceeds to argue that it is possible that B's premise ('A will signify only that everything true will be false') could be true and its conclusion false, so B is not only valid but also invalid. Thus A and B are the basis of an insoluble. In his Logica Parva, a self-confessedly elementary text aimed at students and not necessarily representing his own view, and in the Quadratura, Paul follows the solution found in the Logica Oxoniensis, which posits an implicit assertion of its own truth in insolubles like B. However, in the treatise on insolubles in his Logica Magna, Paul develops and endorses Swyneshed's solution, which stood out against this ''multiple-meanings'' approach in offering a solution that took insolubles at face value, meaning no more than is explicit in what they say. On this account, insolubles imply their own falsity, and that is why, in so falsifying themselves, they are false. We consider how both types of solution apply to B and how they complement each other. On both, B is valid. But on one (following Swyneshed), B has true premises and false conclusion, and contradictories can be false together; on the other (following the Logica Oxoniensis), the counterexample is rejected. (shrink)

This thesis is concerned with explaining how a subject can acquire a priori knowledge of arithmetic. Every account for arithmetical, and in general mathematical knowledge faces Benacerraf's well-known challenge, i.e. how to reconcile the truths of mathematics with what can be known by ordinary human thinkers. I suggest four requirements that jointly make up this challenge and discuss and reject four distinct solutions to it. This will motivate a broadly Fregean approach to our knowledge of arithmetic and mathematics in general. (...) Pursuing this strategy appeals to the context principle which, it is proposed, underwrites a form of Platonism and explains how reference to and object-directed thought about abstract entities is, in principle, possible. I discuss this principle and defend it against different criticisms as put forth in recent literature. Moreover, I will offer a general framework for implicit definitions by means of which - without an appeal to a faculty of intuition or purely pragmatic considerations - a priori and non-inferential knowledge of basic mathematical principles can be acquired. In the course of this discussion, I will argue against various types of opposition to this general approach. Also, I will highlight crucial shortcomings in the explanation of how implicit definitions may underwrite a priori knowledge of basic principles in broadly similar conceptions. In the final part, I will offer a general account of how non-inferential mathematical knowledge resulting from implicit definitions is best conceived which avoids these shortcomings. (shrink)

Naïve realism is the view that veridical experiences are fundamentally relations of acquaintance to external objects and their features, and multidisjunctivism is the conjunction of naïve realism and the view that hallucinatory experiences don’t share a common fundamental kind. Multidisjunctivism allegedly removes the screening-off worry over naïve realism, and the relevant literature suggests that multidisjunctivism is one of the naïve realist responses to the worry. The present paper argues that the multidisjunctive solution is implicitly changing the subject, so the (...) impression that the multidisjunctivist is addressing the screening-off problem is illusory. (shrink)

A requirement on any theory of vagueness is that it solve the sorites paradox. It is generally agreed that there are two aspects to such a solution: one task is to locate the error in the sorites argument; the second task is to explain why the sorites reasoning is a paradox rather than a simple mistake. I argue for a further constraint on approaches to the second task: they should conform to the standard modus operandi in formal semantics, in (...) which the semantic theory one develops is taken to be implicit in the ordinary usage of competent speakers. Thus it should not turn out that one's explanation of why ordinary speakers react to the sorites reasoning in the way they do depends on speakers not thinking that the semantics of vague language is governed by the theory one is advocating. I then argue that, out of the current main contenders for a theory of vagueness, only theories that posit degrees of truth can meet this further constraint. (shrink)

An empirically sensitive formulation of the norms of transformative criticism must recognize that even public and shared standards of evaluation can be implemented in ways that unintentionally perpetuate and reproduce forms of social bias that are epistemically detrimental. Helen Longino’s theory can explain and redress such social bias by treating peer evaluations as hypotheses based on data and by requiring a kind of perspectival diversity that bears, not on the content of the community’s knowledge claims, but on the beliefs and (...) norms of the culture of the knowledge community itself. To illustrate how socializing cognition can bias evaluations, we focus on peer-review practices, with some discussion of peer-review practices in philosophy. Data include responses to surveys by editors from general philosophy journals, as well as analyses of reviews and editorial decisions for the 2007 Cognitive Science Society Conference. (shrink)

adr al-Dīn al-Dashtakī (d. 1498) has proposed a solution to the liar paradox according to which the liar sentence is a self-referential sentence in which the predicate ‘false’ is iterated. Discussing the conditions for the truth-aptness of the sentences with nested and iterated instances of the predicates ‘true’ and/or ‘false’, Dashtakī argued that the liar sentence is not truth-apt at all. In the tradition of Arabic logic, the central elements of Dashtakī's solution—the self-referentiality of the liar sentence and (...) the implicit iteration of the predicate ‘false’—were initially highlighted in two earlier solutions proposed by Naīr al-Dīn al-ūsī (d. 1274) and Shams al-Dīn al-Samarqandī (d. 1322), respectively. Here I investigate all three solutions and show that Dashtakī's solution can be taken as a synthesis of the other two. None of these solutions seems to be convincing at the end of the day. Nevertheless, all of them include significant logical and philosophical insights. In particular, although Dashtakī's solution is not itself compelling, it is only a few steps away from a promising solution. The appendix to this paper includes translations of the relevant passages. (shrink)

This paper focuses on the potential of “equitech”—AI technology that improves equity. Recently, interventions have been developed to reduce the harm of implicit bias, the automatic form of stereotype or prejudice that contributes to injustice. However, these interventions—some of which are assisted by AI-related technology—have significant limitations, including unintended negative consequences and general inefficacy. To overcome these limitations, we propose a two-dimensional framework to assess current AI-assisted interventions and explore promising new ones. We begin by using the case of (...) human resource recruitment as a focal point to show that existing approaches have exploited only a subset of the available solution space. We then demonstrate how our framework facilitates the discovery of new approaches. The first dimension of this framework helps us systematically consider the analytic information, intervention implementation, and modes of human-machine interaction made available by advancements in AI-related technology. The second dimension enables the identification and incorporation of insights from recent research on implicit bias intervention. We argue that a design strategy that combines complementary interventions can further enhance the effectiveness of interventions by targeting the various interacting cognitive systems that underlie implicit bias. We end with a discussion of how our cognitive interventions framework can have positive downstream effects for structural problems. (shrink)

This paper presents a theoretical framework of the circular shift network coding system through the study of nonmultiple clustered interval music performance style conversion and the analysis of music conversion by using circular shift topology, and a series of basic research results of circular shift network coding is obtained under this framework. It reveals the essential connection between scalar network coding based on finite domain and cyclic shift network coding, designs a solution construction algorithm for cyclic shift network coding (...) under multicast network, and portrays the multicast capacity of cyclic shift network coding. It overcomes the problem that the piano roll-curtain representation cannot distinguish between a single long note and multiple consecutive notes of the same pitch, describes musical information more comprehensively, extracts musical implicit style from the note matrix based on autoencoder, and better eliminates the potential influence of musical content on musical performance style. A two-way recurrent neural network based on the gated recurrent unit is used to extract a sequence of note feature vectors of different styles, and a one-dimensional convolutional neural network is used to predict the intensity of the extracted note feature vector sequence for a specific style, which better learns the intensity variation of different styles of MIDI music. (shrink)

Kurt Gödel’s Incompleteness theorem is well known in Mathematics/Logic/Philosophy circles. Gödel was able to find a way for any given P (UTM), (read as, “P of UTM” for “Program of Universal Truth Machine”), actually to write down a complicated polynomial that has a solution iff (=if and only if), G is true, where G stands for a Gödel-sentence. So, if G’s truth is a necessary condition for the truth of a given polynomial, then P (UTM) has to answer first (...) that G is true in order to secure the truth of the said polynomial. But, interestingly, P (UTM) could never answer that G was true. This necessarily implies that there is at least one truth a P (UTM), however large it may be, cannot speak out. Daya Krishna and Karl Potter’s controversy regarding the construal of India’s Philosophies dates back to the time of Potter’s publication of “Presuppositions of India’s Philosophies” (1963, Englewood Cliffs Prentice-Hall Inc.) In attacking many of India’s philosophies, Daya Krishna appears to have unwittingly touched a crucial point: how can there be the knowledge of a ‘non-cognitive’ mokṣa? [‘mokṣa’ is the final state of existence of an individual away from Social Contract]—See this author’s Indian Social Contract and its Dissolution (2008) mokṣa does not permit the knowledge of one’s own self in the ordinary way with threefold distinction, i.e., subject–knowledge-object or knower–knowledge–known. But what is important is to demonstrate whether such ‘knowledge’ of non-cognitive mokṣa state can be logically shown, in a language, to be possible to attain, and that there is no contradiction involved in such demonstration, because, no one can possibly express the ‘experience-itself’ in language. Hence, if such ‘knowledge’ can be shown to be logically not impossible in language, then, not only Daya Krishna’s arguments against ‘non-cognitive mokṣa’ get refuted but also it would show the possibility of achieving ‘completeness’ in its truest sense, as opposed to Gödel’s ‘Incompleteness’. In such circumstances, man would himself become a Universal Truth Machine. This is because the final state of mokṣa is construed as the state of complete knowledge in Advaita. This possibility of ‘completeness’ is set in this paper in the backdrop of Śrī Śaṅkarācārya’s Advaitic (Non-dualistic) claim involved in the mahāvākyas (extra-ordinary propositions). (Mahāvākyas that Śaṅkara refers to are basically taken from different Upaniṣads. For example, “Aham Brahmāsmi” is from Bṛhadāraṇyaka Upanisad, and “Tattvamasi” is from Chāndogya Upaniṣad. Śrī Śaṅkarācārya has written extensively. His main works include his Commentary on Brahma-Sūtras, on major Upaniṣads, and on ŚrīmadBhagavadGītā, called Bhāṣyas of them, respectively. Almost all these works are available in English translation published by Advaita Ashrama, 5 Dehi Entally Road, Calcutta, 700014.) On the other hand, the ‘Incompleteness’ of Gödel is due to the intervening G-sentence, which has an adverse self-referential element. Gödel’s incompleteness theorem in its mathematical form with an elaborate introduction by R.W. Braithwaite can be found in Meltzer (Kurt Gödel: on formally undecidable propositions of principia mathematica and related systems. Oliver & Boyd, Edinburgh, 1962). The present author believes first that semantic content cannot be substituted by any amount of arithmoquining, (Arithmoquining or arithmatization means, as Braithwaite says,—“Gödel’s novel metamathematical method is that of attaching numbers to the signs, to the series of signs (formulae) and to the series of series of signs (“proof-schemata”) which occur in his formal system…Gödel invented what might be called co-ordinate metamathematics…”) Meltzer (1962 p. 7). In Antone (2006) it is said “The problem is that he (Gödel) tries to replace an abstract version of the number (which can exist) with the concept of a real number version of that abstract notion. We can state the abstraction of what the number needs to be, [the arithmoquining of a number cannot be a proof-pair and an arithmoquine] but that is a concept that cannot be turned into a specific number, because by definition no such number can exist.”.), especially so where first-hand personal experience is called for. Therefore, what ultimately rules is the semanticity as in a first-hand experience. Similar points are voiced, albeit implicitly, in Antone (Who understands Gödel’s incompleteness theorem, 2006). (“…it is so important to understand that Gödel’s theorem only is true with respect to formal systems—which is the exact opposite of the analogous UTM (Antone (2006) webpage 2. And galatomic says in the same discussion chain that “saying” that it ((is)) only true for formal systems is more significant… We only know the world through “formal” categories of understanding… If the world as it is in itself has no incompleteness problem, which I am sure is true, it does not mean much, because that is not the world of time and space that we experience. So it is more significant that formal systems are incomplete than the inexperiencable ‘World in Itself’ has no such problem.—galatomic”) Antone (2006) webpage 2. Nevertheless galatomic certainly, but unwittingly succeeds in highlighting the possibility of experiencing the ‘completeness’ Second, even if any formal system including the system of Advaita of Śaṅkara is to be subsumed or interpreted under Gödel’s theorem, or Tarski’s semantic unprovability theses, the ultimate appeal would lie to the point of human involvement in realizing completeness since any formal system is ‘Incomplete’ always by its very nature as ‘objectual’, and fails to comprehend the ‘subject’ within its fold. (shrink)

Recently, David Boonin has put forward several objections to Carlos S. Nino's 'Consensual Theory of Punishment'. In this paper I will defend Nino against the 'explicit denial objection'. I will discuss whether Boonin's interpretation of Nino as a tacit consent theorist is right. I will argue that the offender's consent is neither tacit nor express, but a special category of implicit consent. Further, for Nino the legal-normative consequences of an act (of crime) are 'irrevocable', i.e. one cannot (expressly and (...) successfully) deny liability to them. I will suggest an explanation for Nino's irrevocability claim. (shrink)

Politics is rife with motivated cognition. People do not dispassionately engage with the evidence when they form political beliefs; they interpret it selectively, generating justifications for their desired conclusions and reasons why contrary evidence should be ignored. Moreover, research shows that epistemic ability (e.g. intelligence and familiarity with evidence) is correlated with motivated cognition. Bjørn Hallsson has pointed out that this raises a puzzle for the epistemology of disagreement. On the one hand, we typically think that epistemic ability in an (...) interlocutor gives us reason to downgrade our belief upon learning that we disagree. On the other hand, if our interlocutor is under the sway of motivated cognition, then we have reason to discount his opinion. In this paper, I argue that Hallsson's puzzle is solved by adopting a Bayesian approach to disagreement. If an interlocutor is under the sway of motivated cognition, his disagreement should not affect our beliefs--no matter his ability. Because we implicitly and to high accuracy know his beliefs before he reveals them to us, disagreement provides us with no new information on which to conditionalize. I advance a model which accommodates the motivated cognition dynamic and other key epistemic features of disagreement. (shrink)

Minimalism is the view that our concept of truth is constituted by our disposition to accept instances of the truth schema ‘The proposition that p is true if and only if p’. The generalisation problem is the challenge to account for universal generalisations concerning logical truths such as ‘Every proposition of the form 〈if p, then p〉 is true’. This paper argues that such generalisations can be deduced using a single example of the logical truth in question and a single (...) corresponding instance of the truth schema, employing the logical method of reasoning with arbitrary instances of universal and existential generalisations. Suggesting an inferentialist construal of Minimalism, the paper introduces conditional and general acceptance dispositions, distinguishes inferential meaning constitution from implicit definition, highlights the inferential nature of acceptance of instances of the truth schema, sketches a suitable account of structured propositions, compares higher-order with first-order means of quantification, and argues that the conception of truth Minimalism attributes to ordinary speakers is essentially inferential. It finally applies the deductive strategy to generalisations concerning logical validity as well as more complex logical truths. (shrink)

This article develops a fresh approach to Jørgensen's Dilemma on the basis of Paul Horwich's “minimalist” view that our notion of truth is implicitly defined by the instances of the equivalence schema “The proposition that p is true if and only if p.” The “deflationary” claim that the truth predicate, far from referring to any deep property of propositions, merely plays the logical function of enabling us to take certain attitudes (e.g., acceptance or rejection) towards propositions the content of which (...) we are not completely acquainted with or do not want to state openly is argued to lend powerful support to the claim that normative reasoning is concerned with the “transmission” of truth and falsity in the very sense in which descriptive reasoning is commonly taken to be. This result is all the more valuable since the “minimal” sense in which normative propositions are ascribed the capability of being either true or false involves no questionable ontological commitment to the existence of a “world of norms” as opposed to the familiar world of objects and their properties. (shrink)

St. Thomas’s Third Way to prove the existence of God, “Of Possibility and Necessity” (ST 1, q.2, art. 3, response) is one of the most controverted passages in the entire Thomistic corpus. The central point of dispute is that if there were only possible beings, each at some time would cease to exist and, therefore, at some point in time nothing would exist, and because something cannot come from nothing, in such an eventuality, nothing would exist now—a reductio ad absurdum (...) conclusion. Therefore, at least one necessary being must exist. Generations of critics and defenders have contended over St. Thomas’s proof. This article argues that the principle of pros hen analogy is implicit in the Third Way and that once identified explains the ontological dependency of possible beings, as secondary analogates, on the first necessary being, as primary analogate. Thus, without the necessary being as primary analogate, possible beings simply could not exist. The fact that they do exist is evidence for the existence of the necessary being. St. Thomas makes synthesizes the principle of pros hen analogy, as found in Aristotle’s Metaphysics, with the Neoplatonic principle of participation. Aristotle develops pros hen analogy in contradistinction to univocal and equivocal predication as well as to genus in Metaphysics 4.2, 11.3, 12.3-5. Since Scotus and re-enforced by modern analytic logic, philosophers have almost universally regarded any kind of analogical predication as a sub-category of equivocal predication and, thus, implicitly occlude the possibility of considering pros hen analogy in their readings of the Third Way. Distinction of per se and per accidens infinite regress and of radical and natural contingency are also central to understanding the Third Way. While resolving apparent problems in the Third Way, the article also seeks to rehabilitate the doctrine of pros hen analogy as a basic principle in Thomistic and, indeed, Aristotelian metaphysics. (shrink)

Insight experiences are sudden, persuasive, and can accompany valuable new ideas in science and art. In this preregistered experiment, we aim to validate a novel visceral and continuous measure of insight problem solving and to test whether real-time and embodied feelings of insight can predict correct solutions. We report several findings. Consistent with recent work, we find a strong positive relationship between Aha moments and accuracy for problems that demand implicit processing. We also found that the intensity of the (...) insight experience further predicted the accuracy of solutions and participants naturally embodied the intensity of their insight experiences by squeezing the dynamometer more tightly. Intriguingly, this unintentional embodiment further predicted the accuracy of solutions. We suggest that the dynamometer complements previous measures by (1) simultaneously capturing both process and feeling in real-time, (2) highlights the value of measuring Aha moments on a continuum of intensity, and (3) firmly establishes that the impulsive feeling of Aha can carry information about the veracity of an idea. We discuss the findings in light of a recent theoretical account of how feelings of insight may act as a heuristic to select ideas from the stream of consciousness. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations of the surprise notion, (...) crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also (...) propose a model of implicit knowledge, which is the collection of a possible agent's explicit beliefs which are related through a derivation system mastered by the agent. A derivation system consists of beliefs and derivation rules by means of which the agent may derive beliefs different from the beliefs she is actually related to. Conditions imposed on the set of base beliefs and the set of rules capture the limitations of the agent's deriving capabilities. (shrink)

Women’s underrepresentation in science, technology, engineering, and mathematics (STEM) is related to the hierarchical social structure of gender relations in these fields. However, interventions to increase women’s participation have focused primarily on women’s interests rather than on STEM managers’ hiring practices. In this research, we examine STEM hiring practices, explore the implicit bias in criteria used by STEM managers, and suggest possible corrective solutions. Using an experimental design with 213 men and women STEM managers, we show that when evaluating (...) a female candidate, women and men STEM managers apply differential selection criteria, with men demonstrating implicit in-group gender favoritism in their hiring decisions. Specifically, the ability to work long hours was a more important criterion for male managers when evaluating a female candidate, forming an implicit gender bias, whereas female managers gave greater importance to problem-solving ability, a more gender-equal criterion. Adding a personal note to the curriculum vitae stating that the candidate had hired a full-time nanny was useful in decreasing the importance of the ability to work long hours criterion for men managers. We suggest individual and institutional interventions to reduce this bias, as a path to increasing women’s participation in STEM. (shrink)

How can we solve the paradox of false-belief understanding: if infants pass the implicit false belief task by nonverbal behavioural responses why do they nonetheless typically fail the explicit FBT till they are 4 years old? Starting with the divide between situational and cognitive accounts of the development of false-belief understanding, we argue that we need to consider both situational and internal cognitive factors together and describe their interaction to adequately explain the development of children’s Theory of Mind ability. (...) We then argue that a further challenge is raised for existing accounts by helping behaviour versions of the FBT. We argue that the common two-stage accounts are inadequate: we need to allow for three central stages in a continuous development. Furthermore, drawing on Perner et al.’s and Perner and Leahy’s : 491–508, 2016) recent mental files account, we provide a new account of the development of these three stages of ToM ability by describing the changes of the structure and organisation of mental files including the systematic triggering role of types of situations. Thereby we aim to establish a situational mental file account as a new and adequate solution to the paradox of false-belief understanding. (shrink)

We formalise a notion of dynamic rationality in terms of a logic of conditional beliefs on (doxastic) plausibility models. Similarly to other epistemic statements (e.g. negations of Moore sentences and of Muddy Children announcements), dynamic rationality changes its meaning after every act of learning, and it may become true after players learn it is false. Applying this to extensive games, we “simulate” the play of a game as a succession of dynamic updates of the original plausibility model: the epistemic situation (...) when a given node is reached can be thought of as the result of a joint act of learning (via public announcements) that the node is reached. We then use the notion of “stable belief”, i.e. belief that is preserved during the play of the game, in order to give an epistemic condition for backward induction: rationality and common knowledge of stable belief in rationality. This condition is weaker than Aumann’s and compatible with the implicit assumptions (the “epistemic openness of the future”) underlying Stalnaker’s criticism of Aumann’s proof. The “dynamic” nature of our concept of rationality explains why our condition avoids the apparent circularity of the “backward induction paradox”: it is consistent to (continue to) believe in a player’s rationality after updating with his irrationality. (shrink)

By introducing a name ‘one meter’ and stipulating that it refers to the length of stick S, the stipulator appears to be in a position to gain immediate knowledge of a mind- and language-independent fact-the fact that the length of stick S is one meter. It appears that other users of the name can gain this knowledge only through empirical enquiry. I argue that this presents a paradox. After clarifying the nature of the paradox, I offer a solution by (...) arguing that, contrary to appearances, other users of ‘one meter’ implicitly knew that the length of stick S is one meter before learning the name, as did the stipulator prior to introducing the name. There is some distinct knowledge that other users of the name can only gain empirically, but the stipulator cannot gain this knowledge without empirical enquiry either. (shrink)

By introducing a name ‘one meter’ and stipulating that it refers to the length of stick S, the stipulator appears to be in a position to gain immediate (and arguably a priori) knowledge of a mind- and language-independent fact-the fact that the length of stick S is one meter. It appears that other users of the name can gain this knowledge only through empirical enquiry. I argue that this presents a paradox. After clarifying the nature of the paradox, I offer (...) a solution by arguing that, contrary to appearances, other users of ‘one meter’ implicitly knew that the length of stick S is one meter before learning the name, as did the stipulator prior to introducing the name. There is some distinct knowledge that other users of the name can only gain empirically, but the stipulator cannot gain this knowledge without empirical enquiry either. (shrink)

I argue that Deutsch’s model for the behavior of systems traveling around closed timelike curves relies implicitly on a substantive metaphysical assumption. Deutsch is employing a version of quantum theory with a significantly supplemented ontology of parallel existent worlds, which differ in kind from the many worlds of the Everett interpretation. Standard Everett does not support the existence of multiple identical copies of the world, which the D-CTC model requires. This has been obscured because he often refers to the branching (...) structure of Everett as a “multiverse”, and describes quantum interference by reference to parallel interacting definite worlds. But he admits that this is only an approximation to Everett. The D-CTC model, however, relies crucially on the existence of a multiverse of parallel interacting worlds. Since his model is supplemented by structures that go significantly beyond quantum theory, and play an ineliminable role in its predictions and explanations, it does not represent a quantum solution to the paradoxes of time travel. (shrink)

We formalise a notion of dynamic rationality in terms of a logic of conditional beliefs on plausibility models. Similarly to other epistemic statements, dynamic rationality changes its meaning after every act of learning, and it may become true after players learn it is false. Applying this to extensive games, we "simulate" the play of a game as a succession of dynamic updates of the original plausibility model: the epistemic situation when a given node is reached can be thought of as (...) the result of a joint act of learning that the node is reached. We then use the notion of "stable belief, i.e. belief that is preserved during the play of the game, in order to give an epistemic condition for backward induction: rationality and common knowledge of stable belief in rationality. This condition is weaker than Aumann's and compatible with the implicit assumptions underlying Stalnaker's criticism of Aumann's proof. The "dynamic" nature of our concept of rationality explains why our condition avoids the apparent circularity of the "backward induction paradox": it is consistent to believe in a player's rationality after updating with his irrationality. (shrink)

I present the traditional debate about the so called explanation of Russell’s paradox and propose a new way to solve the contradiction that arises in Frege’s system. I briefly examine two alternative explanatory proposals—the Predicativist explanation and the Cantorian one—presupposed by almost all the proposed solutions of Russell’s Paradox. From the discussion about these proposals a controversial conclusion emerges. Then, I examine some particular zig zag solutions and I propose a third explanation, presupposed by them, in which I emphasise the (...) role of an implicit premise in the derivation of the paradox. In conclusion, I propose a different zig zag solution obtained by the adoption of a negative free logic. (shrink)

Implicit in C. I. Lewis's conceptual pragmatism is an account of how our ideas undergo a process of social development. Lewis's account of that process resolves a problem with Josiah Royce's theory of ideas. Royce holds that there are both sensuous and symbolic ideas. It is, however, possible for someone to have only a sensuous idea of how middle C sounds and for another person to have only the symbolic idea that middle C is 261.63 Hz. In what sense, (...) if at all, can these two persons have the same idea, namely, the idea of middle C? On Lewis's account, while ideas in individual minds are typically constituted of both sensory correlates and pure concepts, ideas are also social products that individuals inherit through education and language acquisition. For two people to have the same idea is for them both to be heirs to the social development of the idea. (shrink)

I present the traditional debate about the so called explanation of Russell’s paradox and propose a new way to solve the contradiction that arises in Frege’s system. I briefly examine two alternative explanatory proposals—the Predicativist explanation and the Cantorian one—presupposed by almost all the proposed solutions of Russell’s Paradox. From the discussion about these proposals a controversial conclusion emerges. Then, I examine some particular zig zag solutions and I propose a third explanation, presupposed by them, in which I emphasise the (...) role of an implicit premise in the derivation of the paradox. In conclusion, I propose a different zig zag solution obtained by the adoption of a negative free logic. (shrink)

By introducing a name ‘one meter’ and stipulating that it refers to the length of stick S, the stipulator appears to be in a position to gain immediate (and arguably a priori) knowledge of a mind‐ and language‐independent fact—the fact that the length of stick S is one meter. It appears that other users of the name can gain this knowledge only through empirical enquiry. I argue that this presents a paradox. After clarifying the nature of the paradox, I offer (...) a solution by arguing that, contrary to appearances, other users of ‘one meter’ implicitly knew that the length of stick S is one meter before learning the name, as did the stipulator prior to introducing the name. There is some distinct knowledge that other users of the name can only gain empirically, but the stipulator cannot gain this knowledge without empirical enquiry either. (shrink)

An important strand in philosophy of science takes scientific explanation to consist in the conveyance of some kind of information. Here I argue that this idea is also implicit in some core arguments of mechanists, some of whom are proponents of an ontic conception of explanation that might be thought inconsistent with it. However, informational accounts seem to conflict with some lay and scientific commonsense judgments and a central goal of the theory of explanation, because information is relative to (...) the background knowledge of agents. Sometimes we make lay judgments about whether a model is an explanation simpliciter, not just an explanation relative to some particular agent. And as philosophers of explanation, we would like a philosophical account to tell us when a model is an explanation simpliciter, not just when a model is an explanation relative to some particular agent. Thus, even if one’s account of explanation is not concerned with explanation qua communicative or speech act, the account’s reliance on the concept of information generates a prima facie conflict between the claims that 1) explanation is the conveyance of information, 2) information is relative to the background knowledge of an agent, and 3) some models are explanations not relative to the background knowledge of any particular agent. I sketch a solution to this puzzle by distinguishing informationally what I call “explanation simpliciter” from what I call “explanation-to,” relativizing the latter to an individual’s background knowledge and the former to what I call “total scientific background knowledge”. (shrink)

In this article we analyze the claim that a probabilistic interpretation of the infinite epistemic regress problem leads to a unique solution, the so called “completion” of the regress. This claim is implicitly based on the assumption that the standard Kolmogorov axioms of probability theory are suitable for describing epistemic probability. This assumption, however, has been challenged in the literature, by various authors. One of the alternatives that have been suggested to replace the Kolmogorov axioms in case of an (...) epistemic interpretation of probability, are belief functions, introduced by Shafer in 1976. We show that when one uses belief functions to describe the infinite epistemic regress problem, it is no longer the case that the solution is unique. We also argue that this complies with common sense. (shrink)

The articles examines the teleofunctional solution to the problem of mental causation, presented by Dmitry Volkov in his recently published book Free Will. An Illusion or an Opportunity. D.B. Volkov proposes solutions to three big metaphysical problems – mental causation, personal identity, and free will. Solving the first problem, Volkov creatively combines the advantages of Dennett’s teleofunctional model and Vasilyev’s local interactionism. Volkov’s teleofunctional model of mental causation seeks to prove the causal relevance of mental properties as non-local higher (...) order properties. In my view, its substantiation is based on three points: (a) critics of the exclusion problem and Kim’s model of mental causation, (b) “Library of first editions” argument, (c) reduction of the causal trajectories argument (CTA 1) by Vasilyev to the counterpart argument (CTA 2) by Volkov. Each of these points faces objections. Kim’s criticism is based on an implicit confusion of two types of reduction – reduction from supervenience and from multiple realizability. The latter type does not threaten Kim’s ideas, but Volkov uses this very type in his criticism. The “Library of first editions” argument does not achieve its goal due to compositional features and because non-local relational properties are a type of external properties that cannot be causally relevant. The reduction of CTA 1 to CTA 2 is unsuccessful since, in the case of this reduction, important features of CTA 1 are lost – these are local mental properties, due to which the influence of non-local physical factors occurs. My main objection is that the concept of causally relevant non-local properties is incompatible with the very concept of cause. The set of causally relevant properties of cause can only be local. (shrink)

In recent years, scholars have become increasingly interested in reconstructing a Buddhist stance on the free will problem. Since then, Buddhism has been variously described as implicitly hard determinist, paleo-compatibilist, neo-compatibilist and libertarian. Some scholars, however, question the legitimacy of Buddhist free will theorizing, arguing that Buddhism does not share sufficiently many presuppositions required to articulate the problem. This paper argues that, though Buddhist and Western versions of the free will problem are not perfectly isomorphic, a problem analogous to that (...) expressed in Western philosophy emerges within the Buddhist framework. This analogous problem concerns the difficulty of explaining karmic responsibility in a world governed by dependent origination. This paper seeks to reconstruct an approach to free will consistent with Madhyamaka philosophy and, in so doing, to demonstrate that the mutual exclusivity of positions such as hard determinism and libertarianism is, from the Madhyamaka perspective, merely superficial. By building on the perspectivalist theory advanced by Daniel Breyer, it is clear that a Madhyamaka stance on free will demands the wholesale abandonment of perspectives, such that the idea of any one solution as definitive is disavowed. Taken to its logical conclusion, therefore, perspectivalism entails the relative truth of perspectivalism itself. (shrink)

Modelling that exploits visual elements and information visualisation are important areas that have contributed immensely to understanding and the computerisation advancements in many domains and yet remain unexplored for the benefit of the law and legal practice. This paper investigates the challenge of modelling and expressing structures and processes in legislation and the law by using visual modelling and information visualisation (InfoVis) to assist accessibility of legal knowledge, practice and knowledge formalisation as a basis for legal AI. The paper uses (...) a subset of the well-defined Unified Modelling Language (UML) to visually express the structure and process of the legislation and the law to create visual flow diagrams called lawmaps, which form the basis of further formalisation. A lawmap development methodology is presented and evaluated by creating a set of lawmaps for the practice of conveyancing and the Landlords and Tenants Act 1954 of the United Kingdom. This paper is the first of a new breed of preliminary solutions capable of application across all aspects, from legislation to practice; and capable of accelerating development of legal AI. (shrink)