Philosophical intuition has become one of the most debated problems in recent years, largely due to the rise of the movement called experimental philosophy which challenged the conviction that philosophers have some special insight into abstract ideas such as being, knowledge, good and evil, intentional action, etc. In response to the challenge, some authors claim that there is a special cognitive faculty called philosophical intuition which delivers justification to philosophical theses, while some others deny it based on experimental results. A (...) relatively smaller group of researchers aim at clarifying what the alleged intuition is. I follow the latter path. In this paper I argue that philosophical intuition is in the first place the capacity enabling one to what I refer to as the recognition of one’s epistemic position. The latter means becoming aware of the seemingly trivial “fact” that the way in which the world manifests itself depends on the cognitive apparatus one has, thereby propelling one to draw a distinction between appearances and reality. The recognition at stake is a very specific capacity to approach the world solely as it is experienced. This capacity, I argue, is the core and the defining feature of philosophical intuition. As part of my argumentation I also distinguish between the intuition in question and its different manifestations; and then introduce a novel notion of erotetic intuition. My argument is called “old-fashion” to emphasize the fact that I draw mostly on four figures who were pivotal in the twentieth- century philosophy and whose influence on the current debate concerning philosophical intuition should be, I believe, stronger than it is; I mean Russell, Carnap, Wittgenstein, and Husserl. (shrink)

This chapter establishes the concept of a “symbolic system of representation“ to make clear how it is possible that humans use not only the language-based system of representation for cognitive contents but also a many layered non-linguistic system, a system which we probably share with other species. A symbolic system of representation denotes a general concept of a performance of which our language is only one single case, but which nevertheless is most easily explained through the case of (...) language. A system of representation should enable us to form and manipulate an idea of a state of affairs or of an event without having the appropriate intuition of it. We usually think that we do this only using linguistic expressions, but this is not the whole truth. Language is one system of representation, but we can in principle conceive of other systems of representation with the same performance. Husserl’s theory of meaning already reveals this possibility. A phenomenological analysis reveals that a non-linguistic system of representation is in fact still functioning in our own consciousness. We simultaneously use different means of representation, the most prominent of which are language, gestures, feelings and scenic images. It is especially fruitful to investigate the scenic mode of daydreaming as a central form of non-linguistic thinking. Through a close comparison of alternative systems of representation, the systematic difference of usual semantics in normal language systems based on convention and the more natural similarity semantics of some non-linguistic systems of representation is revealed. (shrink)

This article presents a theory of intuitive skill in terms of three constitutive elements: getting things right intuitively, not getting things wrong intuitively, and sceptical ability. The theory draws on work from a range of psychological approaches to intuition and expertise in various domains, including arts, business, science, and sport. It provides a general framework that will help to further integrate research on these topics, for example building bridges between practical and theoretical domains or between such apparently conflicting methodologies (...) as a heuristics and biases approach on the one hand and one based on naturalistic decision-making on the other. In addition, the theory provides a clearer and more precise account of relevant concepts, which will help to inspire new directions for future research. Intuitive skill is defined as a high level of intuitive ability, that is, the ability to make good use of intuition; specifically, a high level of ability at either getting things right intuitively, not getting things wrong intuitively, or sceptical ability, where the latter is the ability to detect instances of getting things wrong intuitively so as to avoid forming incorrect intuitive judgements, which may itself be partly intuitive. (shrink)

The aim of this paper is to argue that intuitive methods of moral decision making are objective tools on the grounds that they are reasons based. First, I will conduct a preliminary analysis in which I highlight the acceptance of methodological pluralism in the practice of medical ethics. Here, the point is to show the possibility of using intuitive methods given the pluralism framework. Second, I will argue that the best starting point of elaborating such methods is a (...) bottom-up perspective. Third, I will address the worry of subjectivism. Under the influence of certain rationalist positions and recent developments in cognitive science and moral psychology, one might think that intuitive methods of moral decision making are essentially subjective and emotion based. If moral intuitions are the result of emotional reactions and intuitive reasoning is emotionally driven, then there are reasons to believe intuitive methods are subjective and relative to particular psychological constitution. Against this picture, I will argue that intuitive methods of moral decision making are essentially reasons-based. A Wittgensteinian approach will show that intuitive methods of moral decision making are conceptually linked with criteria of morality. (shrink)

Armchair philosophers have questioned the significance of recent work in experimental philosophy by pointing out that experiments have been conducted on laypeople and undergraduate students. To challenge a practice that relies on expert intuitions, so the armchair objection goes, one needs to demonstrate that expert intuitions rather than those of ordinary people are sensitive to contingent facts such as cultural, linguistic, socio-economic, or educational background. This article does exactly that. Based on two empirical studies on populations of 573 and 203 (...) trained philosophers, respectively, it demonstrates that expert intuitions vary dramatically according to at least one contingent factor, namely, the linguistic background of the expert: philosophers make different intuitive judgments if their native language is English rather than Dutch, German, or Swedish. These findings cast doubt on the common armchair assumption that philosophical theories based on armchair intuitions are valid beyond the linguistic background against which they were developed. (shrink)

The hoary philosophical tradition of hedonism – the view that pleasure is the basic ethical or normative value – suggests that it is at least reasonably and roughly intuitive. But philosophers no longer treat hedonism that way. For the most part, they think that they know it to be obviously false on intuitive grounds, much more obviously false on such grounds than familiar competitors. I argue that this consensus is wrong. I defend the intuitive cogency of hedonism (...) relative to the dominant desire-based and objectivist conceptions of well-being and the good. I argue that hedonism is still a contender, and indeed that our current understanding of commonsense intuition on balance supports it. (shrink)

Language and thought share a unitary cognitive activity, addressed by an interpretative function. This interpretative effort reveals the assonance between the attribution of meaning to an utterance and the discovery of a solution via restructuring in insight problem solving. We suggest a view of complex integrated analytical thinking, which assumes that thinking processes information in different ways, depending on the characteristics of the tasks the subject has to solve, so that reasoning results in a stepwise, rule-based process or in (...) a widespread activity of search where implicit parallel processes are also involved. We investigated the interrelationship between language and thought in insight problem solving, in both its positive (Experiments 1 and 3) and its negative effects (Experiment 2). Our results are discussed in the light of the debate on dual processing theories. (shrink)

language-theoretic attempt to ground a post-liberal theory of democracy on Kant's intuitions concerning subjective autonomy is flawed because it leaves unexamined the internally contradictory experiential content of the Cartesian subject's experience of self. This case is made through reference to aspects of Habermas’ reconstructions of Kant and Mead; iek's criticisms of Kant, Heidegger and Habermas; and Honneth's idea that autonomy, for the post-Cartesian self, involves the ability of the subject to come to terms with the experience of negativity. The (...) article concludes by arguing that a post-liberal account of democracy needs to leave behind the Kantian notion of autonomous subjectivity and base itself on a fundamentally different, post-individualist understanding of the self. Key Words: autonomy • critical theory • democratic theory • Jürgen Habermas • Axel Honneth • subjectivity • Slavojiek. (shrink)

This book is an introduction to and interpretation of the philosophy of language devised by Donald Davidson over the past 25 years. The guiding intuition is that Davidson's work is best understood as an ongoing attempt to purge semantics of theoretical reifications. Seen in this light the recent attack on the notion of language itself emerges as a natural development of his Quinian scepticism towards "meanings" and his rejections of reference-based semantic theories. Linguistic understanding is, for Davidson, essentially (...) dynamic, arising only through a continuous process of theory construction and reconstruction. The result is a conception of semantics in which the notion of interpretation and not the notion of knowing a language is fundamental. In the course of his book Bjorn Ramberg provides a critical discussion of reference-based semantic theories, challenging the standard accounts of the principle of charity and elucidating the notion of radical interpretation. The final chapter on incommensurability ties in with the discussions of Kuhn's work in the philosophy of science and suggests certain links between Davidson's analytic semantics and hermeneutic theory. (shrink)

A central and fundamental problem in moral philosophy is that of understanding how moral principles and theories can be justified. It involves finding rational solutions to both theoretical problems and to substantial moral questions . According to Moral Intuitionism, some normative judgments, usually called moral intuitions, justify moral principles and theories. Typically, moral intuitionists promise a method that is supposed to yield progress toward finding the answers to ethical disputes and controversies. ;I argue, first, that all versions of moral intuitionism (...) must assume that there are moral facts and that moral judgments are descriptions of these facts. Next, I consider whether these assumptions are defensible. I focus on an argument based on a claim that we have no reason to believe that any moral facts exist, because no such facts need to be postulated in our best explanations of anything. I analyze several recent replies to this line of attack, and I argue that none meets the challenge. ;Finally, I propose a reply which seems to meet a number of relevant theoretical requirements: it allows us to say that some moral judgments are true because they correspond to facts, and those judgments are sometimes justified. I argue, however, that even this version of moral realism has serious flaws. It implies that the content of moral language is community relative. That is, such sentences as 'Jews ought to be exterminated' have to be treated as ambiguous, expressing several different propositions, some true and some false. In consequence, when a Nazi issues such a judgment, he may be making a claim that is neither false nor unjustified. ;I conclude that Moral Intuitionism does not help to reach rational solutions to moral disputes and disagreements. Therefore, this view should be rejected, and we should look elsewhere for a method that would solve both theoretical and substantial problems of justification in ethics. (shrink)

We use formal semantic analysis based on new constructions to study abstract realizability, introduced by Läuchli in 1970, and expose its algebraic content. We claim realizability so conceived generates semantics-based intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.Well-known semantic formalisms have been defined by Kripke and Beth, but these have no formal concepts corresponding to constructions, and shed little intuitive light on the meanings of formulae. In particular, the completeness proofs for (...) these semantics do not generate confidence in the sufficiency of the Heyting Calculus, since we have no reason to believe that every intuitively constructive truth is valid in the formal semantics.Läuchli has proved completeness for a realizability semantics with formal concepts analogous to constructions. We argue in some detail that, in spite of a certain inherent inexactness of the analogy, every intuitively constructive truth is valid in Läuchli semantics, and therefore the Heyting Calculus is powerful enough to prove all constructive truths. Our argument is based on the postulate that a uniformly constructible object must be communicable in spite of imprecision in our language, and that the permutations in Läuchli's semantics represent conceivable imprecision in a language, while allowing a certain amount of freedom in choosing the particular structure of the language.We give a detailed generalization of Läuchli's proof of completeness for the propositional part of the Heyting Calculus, in order to make explicit constructive and algebraic content.In our treatment, we establish several new results about Läuchli models. We show how to extend the sconing and gluing constructions familiar from Kripke and Frame semantics and Topos theory, to Läuchli models, and use them to give an algebraic approach to countermodel construction. In particular, the Läuchli arguments are given without the restriction to the integers, Z, as a group of permutations, which makes much of the coding scheme used in Läuchli's original paper transparent.We also make use of a new propositions-as-types syntax for the Heyting calculus, with limited nondeterminism, in which validity of formulae can be decided without loop-detection. (shrink)

Based on the Mahlon Powell lectures given at Indiana University, this slim, well translated book is surprisingly rich and visionary in its pursuit of a metaphysics of language. Dufrenne, a phenomenologist, argues that positivistic and syntactical linguistics wrongly ignore the phenomenon of living speech, while formal logic, seeking to rid itself of its natural and intuitive origins, is necessarily rooted in them. What is needed is a phenomenology of human speech which would lead to a metaphysics of man's (...) spoken intercourse with the world. In the end, poetry has the last word.--A. B. D. (shrink)

This article addresses the question whether we can know on the basis of folk intuitions that we have character traits. I answer in the negative, arguing that on any of the primary theories of knowledge, our intuitions about traits do not amount to knowledge. For instance, because we would attribute traits to one another regardless of whether we actually possessed such metaphysically robust dispositions, Nozickian sensitivity theory disqualifies our intuitions about traits from being knowledge. Yet we do think we know (...) that we have traits, so I am advancing an error theory, which means that I owe an account of why we fall into error. Why do we feel so comfortable navigating the language of traits if we lack knowledge of them? To answer this question, I refer to a slew of heuristics and biases. Some, like the fundamental attribution error, the false consensus effect, and the power of construal, pertain directly to trait attributions. Others are more general cognitive heuristics and biases whose relevance to trait attributions requires explanation and can be classed under the headings of input heuristics and biases and processing heuristics and biases. Input heuristics and biases include selection bias, availability bias, availability cascade, and anchoring. Processing heuristics and biases include disregard of base rates, disregard of regression to the mean, and confirmation bias. (shrink)

Philosophical enquiry stands to benefit from the inclusion of methods from the digital humanities to study language use. Empirical studies using the methods of the digital humanities have the potential to contribute to both conceptual analysis and intuition-based enquiry, two important approaches in contemporary philosophy. Empirical studies using the methods of the digital humanities can also provide valuable metaphilosophical insights into the nature of philosophical methods themselves. The use of methods from the digital humanities in philosophy should be expected (...) to follow a similar trajectory to another attempt to introduce empirical methods in philosophy. Experimental philosophers use empirical methods from the cognitive sciences to bear on philosophical questions. At first, we should expect the main contribution of methods from the digital humanities in philosophy to be at the metaphilosophical level. Then, given the right impetus and support, we are optimistic that methods from the digital humanities can make important and sustained contributions to first-order philosophical enquiry. This chapter gives two case studies of recent studies in which methods from the digital humanities are used to address metaphilosophical questions about the use of the word ‘intuition’ and the methods of philosophy and physics. It gives three examples of contemporary first-order philosophical debates to which methods fromthe digital humanities could make an important contribution in epistemology, metaphysics and philosophy of language. The chapter discusses some methodological challenges and limitations which are of particular importance when considering the application of methods from the digital humanities in philosophy, including concerns about the demographic representativeness of widely available corpora. (shrink)

Mental representations remain the central posits of psychology after many decades of scrutiny. However, there is no consensus about the representational format(s) of biological cognition. This paper provides a survey of evidence from computational cognitive psychology, perceptual psychology, developmental psychology, comparative psychology, and social psychology, and concludes that one type of format that routinely crops up is the language-of-thought (LoT). We outline six core properties of LoTs: (i) discrete constituents; (ii) role-filler independence; (iii) predicate–argument structure; (iv) logical operators; (v) (...) inferential promiscuity; and (vi) abstract content. These properties cluster together throughout cognitive science. Bayesian computational modeling, compositional features of object perception, complex infant and animal reasoning, and automatic, intuitive cognition in adults all implicate LoT-like structures. Instead of regarding LoT as a relic of the previous century, researchers in cognitive science and philosophy-of-mind must take seriously the explanatory breadth of LoT-based architectures. We grant that the mind may harbor many formats and architectures, including iconic and associative structures as well as deep-neural-network-like architectures. However, as computational/representational approaches to the mind continue to advance, classical compositional symbolic structures – that is, LoTs – only prove more flexible and well-supported over time. (shrink)

Each of us bears a unique name given to us at birth. When people use your name, they typically refer to you. But what is the linkage that ties a name to a person and hence allows it to refer? Li's book approaches this question of reference empirically through the medium of referential intuitions. Building on the literature on philosophical and linguistic intuitions, she proposes a linguistic-competence-based account of referential intuitions. Subsequently, using a series of novel experiments, she investigates the (...) variation of referential intuitions across different cultures, as well as the developmental trajectory and the underlying causes of the observed cultural differences. What she finds is that the cultural patterns of referential intuitions are already in place around age seven, and the differences are largely attributable to the distinct perspective taking strategies favoured by easterners and westerners, rather than the moral valence of actions involved in the experimental materials. These results are taken to better support referential pluralism (in particular, the ambiguous view) than referential monism. By undertaking this fascinating research, Li's book provides new insights into the cognitive mechanisms underlying people's referential usage of names. It will be valuable to students and scholars of linguistics, philosophy of language and experimental philosophy, and in particular, to those who research into semantic intuitions and theories of reference. (shrink)

This book is an introduction to and interpretation of the philosophy of language devised by Donald Davidson over the past 25 years. The guiding intuition is that Davidson's work is best understood as an ongoing attempt to purge semantics of theoretical reifications. Seen in this light the recent attack on the notion of language itself emerges as a natural development of his Quinian scepticism towards "meanings" and his rejections of reference-based semantic theories. Linguistic understanding is, for Davidson, essentially (...) dynamic, arising only through a continuous process of theory construction and reconstruction. The result is a conception of semantics in which the notion of interpretation and not the notion of knowing a language is fundamental. In the course of his book Bjorn Ramberg provides a critical discussion of reference-based semantic theories, challenging the standard accounts of the principle of charity and elucidating the notion of radical interpretation. The final chapter on incommensurability ties in with the discussions of Kuhn's work in the philosophy of science and suggests certain links between Davidson's analytic semantics and hermeneutic theory. (shrink)

This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics, see Gabbay (1990)) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, i.e. the basic syntactic types, by (...) formulas of the second. Modelling such a combined logic is less trivial than one might expect. The direct application of the fibred semantics method where a combined atomic formula like np (num: sg & pers: 3rd) denotes those strings which have the indicated property and the categorial operators denote the usual left- and right-residuals of these string sets, does not match the intuitive, unification-based proof theory. Unification implements a global bookkeeping with respect to a proof whereas the direct fibring method restricts its view to the atoms of the grammar logic. The solution is to interpret the (embedded) feature terms as global feature constraints while maintaining the same kind of fibred structures. For this adjusted semantics, the anticipated proof system is sound and complete. (shrink)

According to recent work in experimental philosophy, folk intuitions concerning various metaphysical issues are heavily teleological. The experiments in question, which belong to a broader research program in psychology about ‘promiscuous teleology’, have featured prominently in debates about the methodology of metaphysics, with some authors claiming that the folk’s teleological bias debunks everyday intuitions concerning composition, persistence, and organisms. The present paper argues for a possibility that is very rarely discussed in that debate, namely the idea that the folk’s intuitions (...) could be veridical. Our argument is based on an emerging naturalistic theory of biological functions called “the organismic view”. The gist of the organismic view is that biological systems are characterized by a special circular causal regime where each part of the system contributes to the boundary conditions of some other parts, as well as of the whole. We argue that teleological folk intuitions are veridical in the biological domain under such a view, and they are veridical in the social and artefactual domains under coherent extensions of the organismic view. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Colin Falck STRUCTURE AND INTUITION I KANT'S ANSWER, in his Critique ofPure Reason, to the Humean problem that there seemed to be no way of explaining the principle of our experiential unity, of what it is that holds us together as experiencing selves or consciousnesses, was to argue that it was language itselfwhich underlay the whole possibility of our self-consciousness and of our consciousness of a world of (...) objects around us. Experience would not be possible without a unified consciousness, and a unified consciousness is only possible for us because of the use which we make of certain concepts of"the objects of experience." ' Kant argues at some length that there can be no perceptual experience without conceptual language, and in particular without our use of what he calls the a priori "categories" or "pure concepts of understanding " (CPR, B. 102 et seq.). (A similar, but more sophisticated, argument about the necessary dependence of perceptual experience on conceptual language was developed later by Wittgenstein.) Saussure, in his Course in General Linguistics,2 though never it seems in a fully aware or explicit way, founds his entire argument on this Kantian conclusion when he remarks that the notion "that ready-made ideas exist before words" is "open to criticism at several points" (p. 65), and goes on to elaborate a view of linguistic meanings as based in the relationships which hold between linguistic terms or units themselves rather than in any kind of "namingprocess " or "correspondence" between individual words and the things that they name (pp. 65, 111-18). A difficulty which faces, and which (unless certain amendments are made) must ultimately invalidate, the account of experience and language which Kant sets out in the Critique of Pure Reason is that the Kantian experiencing self, even though it is a concept-using and therefore perhaps 184 Colin Falck185 logically plausible subject, is at the same time also a disembodied subject. To that extent it is open to some of the same objections that can be brought against Descartes's conception of the thinking subject, or ego, as the foundation of all our experiencing. The problem which Kant did not recognize is that there could be no way for us to know about the existence of other experiencing agents, or therefore to have any awareness of the distinction between ourselves and other selves, if we could not in fact see the putative other person as an experiencing and thinking consciousness. To see another person in this way it must be possible to see him as, and it must be essential to his identity that he should really be, an embodied consciousness, rather than merely a Cartesian disembodied ego or (since the same arguments must apply) a Kantian disembodied concept-using self. (Without being embodied or located, there is no way for the Kantian self to be a perceiving agent with an identity which endures through time: the mere "unity of self-consciousness" which Kant offers us does not in fact give us any solution to Hume's problem at all.) The body, we might say, is that realm in which, or through which, we have our contact with, and therefore our awareness of, other consciousnesses — and at the same time, by contrast, our awareness of our own selfhood or consciousness as well.3 We cannot see another person only as "external" behavior, but must necessarily see his behavior as already inhabited by mind or spirit. Were this not so, there would be no way, to use the Kantian or "transcendental" turn of argument, for us to have the kind of experience which we indisputably do have. Ultimately therefore, if we reflect on the deficiencies of the Kantian position in the "disembodied" form in which Kant himself sets it out, we shall be obliged to recognize that the only kind of concept which will make the required connections between the "inside" and the "outside" of human behavior — a logical gap which seems all too easily to open up beneath us in this area — will be some kind of concept oí sympathy, or of preconscious imitative identification, which, by bridging the divide between "internally experienced" consciousness and "externally observable" movement, makes it... (shrink)

In this paper, I want to deal with the problem of how to find an adequate context of interpretation for indexical sentences that enables one to account for the intuitive truth-conditional content which some apparently puzzling indexical sentences like “I am not here now” as well as other such sentences contextually have. In this respect, I will pursue a fictionalist line. This line allows for shifts in interpretation contexts and urges that such shifts are governed by pretense, which has (...) to be understood in terms of socially shared make-believe games. By appealing to pretense so conceived, I will show that the fictionalist perspective is halfway between an intentionalist perspective, according to which the above indexical sentences have to be interpreted in a shifted intended context, (this perspective is primarily defined by Predelli 1998, Analysis 58, 107; Mind and Language 13, 400) and a conventionalist perspective, according to which indexical reference shifts in accordance with a conventional setting. (For this perspective, cf. Corazza et al. 2002, Philosophical Studies 107, See also Corazza 2004, Reflecting the Mind: Indexicality and Quasi-Indexicality, Oxford University Press). Finally, I will claim that the fictionalist analysis of cases of non-ordinary uses of indexicals like “here” and “now” can be retained in face of a new alternative analysis of those cases in terms of an ‘unbound anaphora’ – theory (cf. Corazza 2004, Synthese 138, 145). (shrink)

The paper discusses properties of 4QL, a DATALOG⌉⌉-like query language, originally outlined by Maluszyński and Szalas (Maluszyński & Szalas, 2011). 4QL allows one to use rules with negation in heads and bodies of rules. It is based on a simple and intuitive semantics and provides uniform tools for “lightweight” versions of known forms of nonmonotonic reasoning. Negated literals in heads of rules may naturally lead to inconsistencies. On the other hand, rules do not have to attach meaning to (...) some literals. Therefore 4QL is founded on a four-valued semantics, employing the logic introduced in (Maluszyński et al., 2008; Vitória et al., 2009) with truth values: ‘true’, ‘false’, ‘inconsistent’ and ‘unknown’. In addition, 4QL is tractable w.r.t. data complexity and captures PTIME queries. Even though DATALOG⌉⌉ is known as a concept for the last 30 years, to our best knowledge no existing approach enjoys these properties.In the current paper we:investigate properties of well-supported models of 4QLprove the correctness of the algorithm for computing well-supported modelsshow that 4QL has PTIME data complexity and captures PTIME. (shrink)

An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, (...) some results are reported on operations on bases that are closed under material implication. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input (...) set of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

This article contributes to the debate around the abilities of large language models such as GPT-3, dealing with: firstly, evaluating how well GPT does in the Turing Test, secondly the limits of such models, especially their tendency to generate falsehoods, and thirdly the social consequences of the problems these models have with truth-telling. We start by formalising the recently proposed notion of reversible questions, which Floridi & Chiriatti propose allow one to ‘identify the nature of the source of their (...) answers’, as a probabilistic measure based on Item Response Theory from psychometrics. Following a critical assessment of the methodology which led previous scholars to dismiss GPT’s abilities, we argue against claims that GPT-3 completely lacks semantic ability. Using ideas of compression, priming, distributional semantics and semantic webs we offer our own theory of the limits of large language models like GPT-3, and argue that GPT can competently engage in various semantic tasks. The real reason GPT’s answers seem senseless being that truth-telling is not amongst them. We claim that these kinds of models cannot be forced into producing only true continuation, but rather to maximise their objective function they strategize to be plausible instead of truthful. This, we moreover claim, can hijack our intuitive capacity to evaluate the accuracy of its outputs. Finally, we show how this analysis predicts that a widespread adoption of language generators as tools for writing could result in permanent pollution of our informational ecosystem with massive amounts of very plausible but often untrue texts. (shrink)

Rationale, aims and objectives : Evidence-based medicine (EBM) claims to be based on 'evidence', rather than 'intuition'. However, EBM's fundamental distinction between quantitative 'evidence' and qualitative 'intuition' is not self-evident. The meaning of 'evidence' is unclear and no studies of quality exist to demonstrate the superiority of EBM in health care settings. This paper argues that, despite itself, EBM holds out only the illusion of conclusive scientific rigour for clinical decision making, and that EBM ultimately is unable to fulfil its (...) own structural criteria for 'evidence'. Methods : Our deconstructive analysis of EBM draws on the work of the French philosopher, Jacques Derrida. Deconstruction works in the name of justice to lay bare, to expose what has been hidden from view. In plain language, we deconstruct EBM's paradigm of 'evidence', the randomized controlled trial (RCT), to demonstrate that there cannot be incontrovertible evidence for EBM as such. We argue that EBM therefore 'auto-deconstructs' its own paradigm, and that medical practitioners, policymakers and patients alike ought to be aware of this failure within EBM itself. Results : EBM's strict distinction between admissible evidence (based on RCTs) and other supposedly inadmissible evidence is not itself based on evidence, but rather, on intuition. In other words, according to EBM's own logic, there can be no 'evidentiary' basis for its distinction between admissible and inadmissible evidence. Ultimately, to uphold this fundamental distinction, EBM must seek recourse in (bio)political ideology and an epistemology akin to faith. (shrink)

Predicates such as tall or to know Latin, which intuitively denote permanent properties, are called individual-level predicates. Many peculiar properties of this class of predicates have been noted in the literature. One such property is that we cannot say #John is sometimes tall. Here is a way to account for this property: this sentence sounds odd because it triggers the scalar implicature that the alternative John is always tall is false, which cannot be, given that, if John is sometimes tall, (...) then he always is. This intuition faces two challenges. First: this scalar implicature has a weird nature, since it must be surprisingly robust (otherwise, it could be cancelled and the sentence rescued) and furthermore blind to the common knowledge that tallness is a permanent property (since this piece of common knowledge makes the two alternatives equivalent). Second: it is not clear how this intuition could be extended to other, more complicated properties of individual-level predicates. The goal of this paper is to defend the idea of an implicature-based theory of individual-level predicates by facing these two challenges. In the first part of the paper, I try to make sense of the weird nature of these special mismatching implicatures within the recent grammatical framework for scalar implicatures of Chierchia (Structures and beyond, 2004) and Fox (2007). In the second part of the paper, I show how this implicature-based line of reasoning can be extended to more complicated properties of individual-level predicates, such as restrictions on the interpretation of their bare plural subjects, noted in Carlson (Reference to kinds in English. Doctoral dissertation, University of Massachusetts at Amherst, 1977), Milsark (Linguistic Analysis 3.1: 1–29, 1977), and Fox (Natural Language Semantics 3: 283–341, 1995); restrictions on German word order, noted in Diesing (Indefinites, 1992); and restrictions on Q-adverbs, noted in Kratzer (The Generic Book, ed. Carlson and Pelletier, 125–175, 1995). (shrink)

We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form If ∼A, then A, should not hold, since the conditional’s antecedent ∼A contradicts its consequent A. Our approach covers this intuition by observing that for an event A the only coherent probability assessment on the conditional event A|~A is p(A|~A)=0 . Moreover, connexive logics aim to capture the intuition that conditionals should express (...) some “connection” between the antecedent and the consequent or, in terms of inferences, validity should require some connection between the premise set and the conclusion. This intuition is covered by a number of principles, a selection of which we analyze in our contribution. We present two approaches to connexivity within coherence-based probability logic. Specifically, we analyze connections between antecedents and consequents firstly, in terms of probabilistic constraints on conditional events (in the sense of defaults, or negated defaults) and secondly, in terms of constraints on compounds of conditionals and iterated conditionals. After developing different notions of negations and notions of validity, we analyze the following connexive principles within both approaches: Aristotle’s Theses, Aristotle’s Second Thesis, Abelard’s First Principle and selected versions of Boethius’ Theses. We conclude by remarking that coherence-based probability logic offers a rich language to investigate the validity of various connexive principles. (shrink)

The past eighteen years witnessed the rapid development of experimental philosophy of language. Adopting a bibliometric approach, this study examines the research trends and status quo of this burgeoning field based on a corpus of 237 publications retrieved from PhilPapers. It is observed that experimental philosophy of language has undergone three stages, the initiation stage, the development stage, and the extension stage, across which there is a clear upward trend in the annual number of publications. Michael Devitt, Edouard (...) Machery, John Turri, Nat Hansen, et al., are found to be the most productive philosophers, testifying their leading positions in this field. Journals, instead of books, are the major homes of works in this area. The analysis also yields a list of influential works, including the seminal work “Semantics, Cross-cultural Style” and other significant publications on the semantics of various types of expressions. Relatedly, the major research themes are found to include not only intuitions about the reference of proper names, but also a wide array of philosophically and linguistically interesting issues like the meaning of color adjectives, epistemic modals, and predicates of personal taste, the norms of assertions and the essence of lies, etc. These findings showcase that experimental philosophy of language has broadened the research territory and offered deep insights into central issues of philosophy of language that are beyond the reach of the conventional armchair methodology. (shrink)

Mathematical models are an important tool in the development ofsoftware technology, including programming languages and algorithms.During the last few years, a new class of such models has beendeveloped based on the notion of a mathematical game that isespecially well-suited to address the interactions between thecomponents of a system. This paper gives an introduction to thesegame-semantical models of programming languages, concentrating onmotivating the basic intuitions and putting them into context.

In Sect. 1 it is argued that systems of logic are exceptional, but not a priori necessary. Logics are exceptional because they can neither be demonstrated as valid nor be confirmed by observation without entering a circle, and their motivation based on intuition is unreliable. On the other hand, logics do not express a priori necessities of thinking because alternative non-classical logics have been developed. Section 2 reflects the controversies about four major kinds of non-classical logics—multi-valued, intuitionistic, paraconsistent and quantum (...) logics. Its purpose is to show that there is no particular domain or reason that demands the use of a non-classical logic; the particular reasons given for the non-classical logic can also be handled within classical logic. The result of Sect. 2 is substantiated in Sect. 3, where it is shown (referring to other work) that all four kinds of non-classical logics can be translated into classical logic in a meaning-preserving way. Based on this fact a justification of classical logic is developed in Sect. 4 that is based on its representational optimality. It is pointed out that not many but a few non-classical logics can be likewise representationally optimal. However, the situation is not symmetric: classical logic has ceteris paribus advantages as a unifying metalogic, while non-classical logics can have local simplicity advantages. (shrink)

Many pragmaticians have distinguished three levels of meaning involved in the comprehension of utterances, and there is an ongoing debate about how to characterize the intermediate level. Recanati has called it the level of 'what is said' and has opposed the idea that it can be determined semantically - a position that he labels 'pragmatic minimalism lo this end he has offered two chief arguments: semantic underdeterminacy and the Availability Principle. This paper exposes a tension between both arguments, relating this (...) discussion with Carruthers's cognitive view of language, according to which some thoughts are, literally, sentences of our natural language. First we explain how this view entails minimalism, and we construct an argument based on semantic underdeterminacy that shows that natural language sentences do not have the compositional properties required to constitute thoughts. Then we analyze the example of a subject's overhearing a sentence without an interpretive context, arguing that in the light of the Availability Principle the corresponding thought can be regarded as a natural language sentence. Thus, semantic underdeterminacy and availability pull in different directions, and we claim that there is no characterization of the latter that can relieve this tension. We contend that Recanati's availability shares with Carruthers's introspectivism an overreliance on intuitions about what appears consciously in one's mmd. We conclude, therefore, that the Availability Principle ought to be abandoned. (shrink)

Many pragmaticians have distinguished three levels of meaning involved in the comprehension of utterances, and there is an ongoing debate about how to characterize the intermediate level. Recanati has called it the level of `what is said' and has opposed the idea that it can be determined semantically — a position that he labels `pragmatic minimalism'. To this end he has offered two chief arguments: semantic underdeterminacy and the Availability Principle. This paper exposes a tension between both arguments, relating this (...) discussion with Carruthers's cognitive view of language, according to which some thoughts are, literally, sentences of our natural language. First we explain how this view entails minimalism, and we construct an argument based on semantic underdeterminacy that shows that natural language sentences do not have the compositional properties required to constitute thoughts. Then we analyze the example of a subject's overhearing a sentence without an interpretive context, arguing that in the light of the Availability Principle the corresponding thought can be regarded as a natural language sentence. Thus, semantic underdeterminacy and availability pull in different directions, and we claim that there is no characterization of the latter that can relieve this tension. We contend that Recanati's availability shares with Carruthers's introspectivism an overreliance on intuitions about what appears consciously in one's mind. We conclude, therefore, that the Availability Principle ought to be abandoned. (shrink)

Semantic paradoxes pose a real threat to logics that attempt to be capable of expressing their own semantic concepts. Particularly, Curry paradoxes seem to show that many solutions must change our intuitive concepts of truth or validity or impose limits on certain inferences that are intuitively valid. In this way, the logic of a universal language would have serious problems. In this paper, we explore a different solution that tries to avoid both limitations as much as possible. Thus, (...) we argue that it is possible to capture the naive concepts of truth and validity without losing any of the valid inferences of classical logic. This approach is called the Buenos Aires plan. We present the logic of truth and validity, $$\mathsf {STTV}_{\omega }$$ based on the hierarchy of logics $$\textsf{ST}_{\omega }$$, whose validity predicate has the same semantic conditions as the material conditional. We argue that $$\mathsf {STTV}_{\omega }$$ is capable of blocking the problematic results while keeping the deductive power of classical logic as much as possible and offering an adequate semantic theory. On the other hand, one could object that it is not possible to reason with $$\mathsf {STTV}_{\omega }$$ because it is not closed under its logical principles. We respond to this objection and argue that the local characterization of validity shows how to make inferences using the logic $$\textsf{ST}_{\omega }$$. (shrink)

This paper takes up the critique of armchair philosophy drawn by some experimental philosophers from survey results. It also takes up a more recent development with increased methodological sophistication. The argument based on disagreement among respondents suggests a much more serious problem for armchair philosophy and puts in question the standing of our would-be discipline.

Philosophy is an abstract theoretical discipline. However, a new trend that develops experimental methods in philosophical research has recently been gaining popularity extending to the fields of philosophical research that have not seen experimental methods earlier. This article addresses the question of whether it is possible to investigate philosophical questions with empirical methods. Two areas of research are considered – philosophy of language and semantics and epistemology. In these subfields of philosophy, the application of experimental methods has recently lead (...) to a noticeable progress. Empirical methods are justified in those disciplines in which arguments in favor of a particular theory are based on the study of our intuitions. Experiments only serve to obtain more objective representations of our intuitions, and philosophical argumentation is built further based on these intuitions. The authors argue that the use of experimental methods in semantics is compatible with anti-psychologism about meaning. The latter point is particularly controversial because linguistic intuitions or intuitions about the meaning have often been viewed as something that speakers have clear cognitive access to. However, when experimental research (even when it is a collection of controlled judgments) shows results that are different from what the field has been previously assuming, a revision is called for. The authors review several cases of such refutations calling for further revisions and argue that such experimental work helps arguments in philosophy of language and epistemology gain more sound ground with respect to the empirical data that they build on. In philosophy of language and theoretical linguistics, the cases explored in this article relate to the differences between languages with and without articles and to the predictions about the availability of certain interpretations of such expressions or lack thereof. It is further shown how a similar method of identifying the existent or non-existent interpretations was used in the studies of the meaning of “most”. In epistemology, the article discusses the results of some recent experimental work relating to the knowledge ascriptions. The speakers’ intuitions about the famous Barn-examples have recently been shown to diverge from what philosophers have claimed, building their far-reaching arguments on the data that was arguably incorrect. (shrink)

Kuhn claimed that several algorithms can be defended to select the best theory based on epistemic values such as simplicity, accuracy, and fruitfulness. In a recent paper, Okasha :83–115, 2011) argued that no theory choice algorithm exists which satisfies a set of intuitively compelling conditions that Arrow had proposed for a consistent aggregation of individual preference orderings. In this paper, we put forward a solution to avoid this impossibility result. Based on previous work by Gaertner and Xu, we suggest to (...) view the theory choice problem in a cardinal context and to use a general scoring function defined over a set of qualitative verdicts for every epistemic value. This aggregation method yields a complete and transitive ranking and the rule satisfies all Arrovian conditions appropriately reformulated within a cardinal setting. We also propose methods that capture the aggregation across different scientists. (shrink)

Nat Hansen builds a new argument for subjectivism about the semantics of color language, based on a potential kind of intersubjective disagreements about comparative color statements. In reply, I note that the disagreements of this kind are merely hypothetical, probably few if actual, and not evidently relevant as test cases for a semantic theory. Furthermore, even if they turned out to be actual and semantically relevant, they would be intuitively unusable by the subjectivist.

O objetivo do artigo é examinar como Habermas, orientado pela intuição normativa do uso público da razão, reconstrói uma concepção procedimental de democracia deliberativa, que, sem desconsiderar da dimensão estratégica e instrumental da esfera pública e da política, reformula a dimensão epistêmica da democracia: a aceitabilidade racional dos acordos políticos. Inicialmente, apresento brevemente a análise sociológica e histórica do conceito de esfera pública crítica, realizada em Mudança Estrutural da Esfera Pública (1962), para, em seguida, expor duas linhas de argumentação sobre (...) o conceito de esfera pública e de política deliberativa, em Direito e Democracia (1992): a que se refere ao princípio de legitimação baseado na razão pública como uma reconstrução intersubjetiva e política do conceito kantiano de autonomia; e a que concerne aos aspectos essenciais da teoria crítica da sociedade fundada na distinção entre mundo da vida e sistema e a "tradução" sociológica e institucional do uso público da razão, nos conceitos de sociedade civil e esfera pública. The objective of this article is to examine how Habermas, guided by a normative intuition of the public use of reason, reconstructs a procedural conception of deliberative democracy which, without disregarding the strategic and instrumental dimensions of the public sphere and of politics, reconstructs the epistemic dimension of democracy: the rational acceptability of political agreements. First, I briefly present a historical and sociological analysis of the concept of the public sphere in The Structural Transformation of the Public Sphere (1962). I then present two lines of argumentation regarding the concept of the public sphere and deliberative democracy in Between Facts and Norms (1992): one refers to the principle of justification based on public reason as an intersubjective and political reconstruction of the Kantian concept of autonomy; the other refers to the essential aspects of the critical theory of society based on the distinction between lifeworld and system, and on the sociological and institutional "translation" of the public use of reason in the concepts of civil society and public sphere. (shrink)

This work is an attempt to lay foundations for a theory of interactive computation and bring logic and theory of computing closer together. It semantically introduces a logic of computability and sets a program for studying various aspects of that logic. The intuitive notion of computational problems is formalized as a certain new, procedural-rule-free sort of games between the machine and the environment, and computability is understood as existence of an interactive Turing machine that wins the game against any (...) possible environment. The formalism used as a specification language for computational problems, called the universal language, is a non-disjoint union of the formalisms of classical, intuitionistic and linear logics, with logical operators interpreted as certain—most basic and natural—operations on problems. Validity of a formula is understood as being “always computable”, and the set of all valid formulas is called the universal logic. The name “universal” is related to the potential of this logic to integrate, on the basis of one semantics, classical, intuitionistic and linear logics, with their seemingly unrelated or even antagonistic philosophies. In particular, the classical notion of truth turns out to be nothing but computability restricted to the formulas of the classical fragment of the universal language, which makes classical logic a natural syntactic fragment of the universal logic. The same appears to be the case for intuitionistic and linear logics . Unlike classical logic, these two do not have a good concept of truth, and the notion of computability restricted to the corresponding two fragments of the universal language, based on the intuitions that it formalizes, can well qualify as “intuitionistic truth” and “linear-logic truth”. The paper also provides illustrations of potential applications of the universal logic in knowledgebase, resourcebase and planning systems, as well as constructive applied theories. The author has tried to make this article easy to read. It is fully self-contained and can be understood without any specialized knowledge of any particular subfield of logic or computer science. (shrink)

Objectives: Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard provides an intuitive triple-based representation, it is semantically weak. Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they are often (...) misinterpreted to encode all kinds of statements, including those which are not ontological. Method: We distinguish four kinds of statements needed to comprehensively represent domain knowledge: universal statements, terminological statements, statements about particulars and contingent statements. We argue that the task of formal ontologies is solely to represent universal statements, while the non-ontological kinds of statements can nevertheless be connected with ontological representations. To illustrate these four types of representations, we use a running example from parasitology. Results: We finally formulate recommendations for semantically adequate ontologies that can efficiently be used as a stable framework for more context-dependent biomedical knowledge representation and reasoning applications like clinical decision support systems. (shrink)

The article develops a critique of John Deely’s ontological realism, specifically in its relevance for the project of global semiotics. Deely, whose theorizations rely heavily on the pre-modern philosophical systems of Thomas Aquinas and the Latin scholastics, has made the most sustained attempt to give philosophical grounding to Charles Peirce’s famous intuition that “all this universe is perfused with signs, if it is not composed exclusively of signs”. The critique developsalong two main lines. Firstly, I contend that Deely’s account of (...) onto logical relations is unsatisfactory, for it assumes the very fact it promises to demonstrate: the identity between patterns of physical events, on one hand, and patt erns of thought, on the other. As it is never adequately explained what it means for the former to be identical with the latter, the mediating term – “ontological relation” – remains highly problematic. Secondly, I argue that even if this ontological paradigm is allowed to stand as proposed, it still fails to bridge the gap between the so-called “natural” signs and human-specific, language-based signification; for, as it posits a unity between the stipulable and the non-stipulable sign, the argument falls into a performative contradiction. (shrink)

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. This book characterizes a notion of type that covers both linguistic and non-linguistic action, and lays the foundations for a theory of action based on a Theory of Types with Records (TTR). Robin Cooper argues that a theory of language (...) based on action allows the adoption of a perspective on linguistic content that is centred on interaction in dialogue; this approach is crucially different to the traditional view of natural languages as essentially similar to formal languages such as logics developed by philosophers or mathematicians. At the same time, he claims that the substantial technical advantages made by the formal language view of semantics can be incorporated into the action-based view, and that this can lead to important improvements in both intuitive understanding and empirical coverage. This enterprise uses types rather than possible worlds as commonly employed in studies of the semantics of natural language. Types are more tractable than possible worlds and offer greater potential for understanding the implementation of semantics both on machines and in biological brains. (shrink)

Elijah Chudnoff’s case for irreducible cognitive phenomenology hinges on seeming to see the truth of a mathematical proposition (Chudnoff 2015). In the following, I develop an augmented version of Chudnoff’s case, not based on seeming to see, or intuition, but based on being in a state with presentational phenomenology of high-level content. In contrast to other cases for cognitive phenomenology, those based on Strawson’s case (Strawson 2011), I argue that the case presented here is able to withstand counterarguments, which attempt (...) to reduce cognitive phenomenology to sensory phenomenology. To support my argument, I present findings from Bowden and Jung-Beeman’s experiments with the Aha! Experience (Bowden & Jung-Beeman 2004), and argue that the Aha! Experience is a species of the experience of understanding presented here. I interpret the results of these experiments to provide further evidence for irreducible cognitive phenomenology. (shrink)

Among Leibniz’s contributions to the philosophy of mind, two topics bear relevance to contemporary discussions in cognitive sciences: the mind-body problem, and the universal language. Leibniz’s deterministic view rejects inter-substance causality between mental and bodily states, as well as between mental or bodily states of different individuals. In addition, Leibniz believed in the need to enhance communication through a universal language based on symbolic representations. Here I reconsider Leibniz’s ideas in the light of experimental evidence coming from mirror (...) neurons. These recently discovered brain cells, responsive to both action execution and observation, are thought to enable the interpretation of the action performer’s intentions through their representation in the observer’s own brain, thus storing embodied shared representations. I propose that mirror neurons’ cross-modal responsiveness, whereby seeing an action being performed by somebody else triggers similar neural response to that of performing that action oneself, can be interpreted as an instantiation of intersubstance causality. I suggest that mirror neurons’ properties speak not only to the non-dualistic equation, supported by brain science in general, whereby in a given individual, mental states arise from bodily states but also introduce the possibility that bodily states may arise from someone else’s bodily states. In addition, I propose that this automatic embodied flow of information between individuals (from performer to observer) bears relevance to Leibniz’s intuitions on symbols. Specifically, I suggest that the shared representations stored in mirror neurons, thought to enable the interpretation of the action performer’s intentions, may be seen as a biological instantiation of Leibniz’s planned, but never realized, universal characteristic. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In (...) recent times, Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

The intuitive notion of evidence has both semantic and syntactic features. In this paper, we develop an evidence logic for epistemic agents faced with possibly contradictory evidence from different sources. The logic is based on a neighborhood semantics, where a neighborhood N indicates that the agent has reason to believe that the true state of the world lies in N. Further notions of relative plausibility between worlds and beliefs based on the latter ordering are then defined in terms of (...) this evidence structure, yielding our intended models for evidence-based beliefs. In addition, we also consider a second more general flavor, where belief and plausibility are modeled using additional primitive relations, and we prove a representation theorem showing that each such general model is a p-morphic image of an intended one. This semantics invites a number of natural special cases, depending on how uniform we make the evidence sets, and how coherent their total structure. We give a structural study of the resulting ‘uniform’ and ‘flat’ models. Our main result are sound and complete axiomatizations for the logics of all four major model classes with respect to the modal language of evidence, belief and safe belief. We conclude with an outlook toward logics for the dynamics of changing evidence, and the resulting language extensions and connections with logics of plausibility change. (shrink)

Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as ‘informational entropy’), due, e.g. to perceptual, evidential or linguistic limits. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptually, the present paper proposes graph-based frames as a formal framework suitable for generalising Pawlak's rough set theory to a setting in which inherent limits to knowability exist and need to be considered. Technically, the present paper (...) establishes systematic connections between the first-order correspondents of Sahlqvist modal reduction principles on Kripke frames, and on the more general relational environments of graph-based and polarity-based frames. This work is part of a research line aiming at: (a) comparing and inter-relating the various (first-order) conditions corresponding to a given (modal) axiom in different relational semantics; (b) recognising when first-order sentences in the frame-correspondence languages of different relational structures encode the same ‘modal content’; (c) meaningfully transferring relational properties across different semantic contexts. The present paper develops these results for the graph-based semantics, polarity-based semantics, and all Sahlqvist modal reduction principles. As an application, we study well known modal axioms in rough set theory (such as those corresponding to seriality, reflexivity, and transitivity) on graph-based frames and show that, although these axioms correspond to different first-order conditions on graph-based frames, their intuitive meaning is retained. This allows us to introduce the notion of hyperconstructivist approximation spaces as the subclass of graph-based frames defined by the first-order conditions corresponding to the same modal axioms defining classical generalised approximation spaces, and to transfer the properties and the intuitive understanding of different approximation spaces to the more general framework of graph-based frames. The approach presented in this paper provides a base for systematically comparing and connecting various formal frameworks in rough set theory, and for the transfer of insights across different frameworks. (shrink)

Stereotypes shape inferences in philosophical thought, political discourse, and everyday life. These inferences are routinely made when thinkers engage in language comprehension or production: We make them whenever we hear, read, or formulate stories, reports, philosophical case-descriptions, or premises of arguments – on virtually any topic. These inferences are largely automatic: largely unconscious, non-intentional, and effortless. Accordingly, they shape our thought in ways we can properly understand only by complementing traditional forms of philosophical analysis with experimental methods from psycholinguistics. (...) This paper seeks, first, to bring out the wider philosophical relevance of stereotypical inference, well beyond familiar topics like gender and race. Second, we wish to provide philosophers with a toolkit to experimentally study these ubiquitous inferences and what intuitions they may generate. This paper explains what stereotypes are, and why they matter to current and traditional concerns in philosophy – experimental, analytic, and applied. It then assembles a psycholinguistic toolkit and demonstrates through two studies how potentially questionnaire-based measures can be combined with process measures to garner evidence for specific stereotypical inferences and study when they ‘go through’ and influence our thinking. (shrink)

Intuitively, the accuracy of initial word-referent mappings should be positively correlated with the outcome of learning. Yet recent evidence suggests an inverse effect of initial accuracy in adults, whereby greater accuracy of initial mappings is associated with poorer outcomes in a cross-situational learning task. Here, we examine the impact of initial accuracy on 4-year-olds, 10-year-olds, and adults. For half of the participants most word-referent mappings were initially correct and for the other half most mappings were initially incorrect. Initial accuracy was (...) positively related to learning outcomes in 4-year-olds, had no effect on 10-year-olds' learning, and was inversely related to learning outcomes in adults. Examination of item learning patterns revealed item interdependence for adults and 4-year-olds but not 10-year-olds. These findings point to a qualitative change in language learning processes over development. (shrink)