Utterances of explicit performatives, such as “I order you to close the door,” have the forces named by the appearing verbs; here, the utterance has the force of ordering. These utterances utilize declarative sentences, which usually indicate the force of statements, rather than of any verbs contained in them. This leads many to theorize that explicit performatives are statements that cause their hearers to infer the forces they name. This article argues against this account on the grounds that (...) it is based on the false premise that hearers can unconsciously recognize illocutionary forces. Instead, I put forward the account that explicit performatives are nothing but the acts with the forces that they name. (shrink)

This paper contributes to the study of explicit performative utterances in the following ways. First, it presents arguments that support Austin’s view that these utterances are not assertions. In doing so, it offers an original explanation of why they cannot be true or false. Second, it puts forward a new analysis of explicit performatives as cases of showing performing, rather than of instances of asserting or declaring that one is performing a particular act. Finally, it develops a new (...) account of the role of the performative prefix in signalling performative intentions that shows how the prefix can play a special role in the interpretation of performatives utterances. (shrink)

The present paper examines the relationship between explicit and implicit memory and ultimate attainment in the native language. Two groups of native speakers of English with different levels of academic attainment (i.e., high vs. low) took part in three language tasks which assessed grammar, vocabulary and collocational knowledge, as well as phonological short-term memory (assessed using a forward digit-span task), explicit associative memory (assessed using a paired-associates task) and implicit memory (assessed using a deterministic serial reaction time task). (...) Results revealed strong relationships between phonological short-term memory and explicit associative memory on the one hand and the three language tasks on the other hand, and no relation between linguistic performance and implicit memory. Taken together, these results cast doubts on the common assumption that L1 grammar learning depends almost entirely on implicit memory and align with the claims of usage-based models of language acquisition that grammatical and lexical knowledge depend on the same cognitive mechanisms. (shrink)

This article summarily presents the explicitation interview with some examples of interviews. In the first part, referring to three excerpts from protocols, we consider some of the techniques used to guide a subject into an introspective posture. We show how these techniques create conditions conducive to access to pre-reflective knowledge, knowledge stemming from a moment of action experienced by the subject, of which the subject has no knowledge in the mode of reflective consciousness. Some of this knowledge is in fact (...) surprising both for the interviewer and for the interviewee. The experience or the expertise of the subject interviewed is invariably increased as a result. In the second part, we provide a brief insight into the fields of application of the explicitation interview, with reference to three case studies, which are presented in a vivid and detailed way . We conclude with a very brief panorama of the various known fields of application of the explicitation interview. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that implicitism (...) faces serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

The goal of this paper is to explore forms of metacognition that have rarely been discussed in the extensive psychological and philosophical literatures on the topic. These would comprise explicit instances of meta-representation of some set of mental states or processes in oneself, but without those representations being embedded in anything remotely resembling a theory of mind, and independent of deployment of any sort of concept-like representation of the mental. Following a critique of some extant suggestions made by Nicholas (...) Shea, the paper argues that appraisals of the value of cognitive effort involve the most plausible instances of this kind of metacognition. (shrink)

Research in psychology clearly shows that implicit biases contribute significantly to our behaviour. What is less clear, however, is whether we are responsible for our implicit biases in the same way that we are responsible for our explicit beliefs. Neil Levy has argued recently that explicit beliefs are special with regard to the responsibility we have for them, because they unify the agent. In this paper we point out multiple ways in which implicit biases also unify the agent. (...) We then examine Levy’s claim that the assertibility of explicit beliefs means that they have a unique way of unifying the agent by being available for syntactical operations. We accept that syntactical operations are important, but worry that they are less straightforwardly connected to the unification of agents than Levy claims. (shrink)

What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. (...) Where accounts of the relation between language and mind have traditionally rested on the concept of representation, this book sets out an alternate approach based on inference, and on a conception of certain kinds of implicit assessment that become explicit in language. Making It Explicit is the first attempt to work out in detail a theory that renders linguistic meaning in terms of use--in short, to explain how semantic content can be conferred on expressions and attitudes that are suitably caught up in social practices. -/- At the center of this enterprise is a notion of discursive commitment. Being able to talk--and so in the fullest sense being able to think--is a matter of mastering the practices that govern such commitments, being able to keep track of one’s own commitments and those of others. Assessing the pragmatic significance of speech acts is a matter of explaining the explicit in terms of the implicit. As he traces the inferential structure of the social practices within which things can be made conceptually explicit, the author defines the distinctively expressive role of logical vocabulary. This expressive account of language, mind, and logic is, finally, an account of who we are. (shrink)

Explicitness has usually been approached from two points of view, labelled by Kirsh the structural and the process view, that hold opposite assumptions to determine when information is explicit. In this paper, we offer an intermediate view that retains intuitions from both of them. We establish three conditions for explicit information that preserve a structural requirement, and a notion of explicitness as a continuous dimension. A problem with the former accounts was their disconnection with psychological work on the (...) issue. We review studies by Karmiloff-Smith, and Shanks and St. John to show that the proposed conditions have psychological grounds. Finally, we examine the problem of explicit rules in connectionist systems in the light of our framework. (shrink)

This paper studies systems of explicit mathematics as introduced by Feferman [9, 11]. In particular, we propose weak explicit type systems with a restricted form of elementary comprehension whose provably terminating operations coincide with the functions on binary words that are computable in polynomial time. The systems considered are natural extensions of the first-order applicative theories introduced in Strahm [19, 20].

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

Much of traditional AI exemplifies the explicit representation paradigm, and during the late 1980''s a heated debate arose between the classical and connectionist camps as to whether beliefs and rules receive an explicit or implicit representation in human cognition. In a recent paper, Kirsh (1990) questions the coherence of the fundamental distinction underlying this debate. He argues that our basic intuitions concerning explicit and implicit representations are not only confused but inconsistent. Ultimately, Kirsh proposes a new formulation (...) of the distinction, based upon the criterion ofconstant time processing.The present paper examines Kirsh''s claims. It is argued that Kirsh fails to demonstrate that our usage of explicit and implicit is seriously confused or inconsistent. Furthermore, it is argued that Kirsh''s new formulation of the explicit-implicit distinction is excessively stringent, in that it banishes virtually all sentences of natural language from the realm of explicit representation. By contrast, the present paper proposes definitions for explicit and implicit which preserve most of our strong intuitions concerning straightforward uses of these terms. It is also argued that the distinction delineated here sustains the meaningfulness of the abovementioned debate between classicists and connectionists. (shrink)

The role of feedback was investigated with respect to conscious and unconscious knowledge acquired during artificial grammar learning . After incidental learning of training sequences, participants classified further sequences in terms of grammaticality and reported their decision strategy with or without explicit veridical feedback. Sequences that disobeyed the learning structure conformed to an alternative structure. Feedback led to an increase in the amount of reported conscious knowledge of structure but did not increase its accuracy. Conversely, feedback maintained the accuracy (...) of unconscious knowledge of structure which otherwise degraded. Results support a dual-process account of AGL. They suggest that implicit learning of the to-be-rejected structure at test contaminates familiarity-based classifications whereas feedback allows competing familiarity signals to be contextualised, which is incompatible with theories that consider familiarity context-insensitive. (shrink)

A current issue in psycholinguistic research is whether the language difficulties exhibited by children with developmental language disorder [DLD, previously labeled specific language impairment ] are due to deficits in their abilities to pick up patterns in the sensory environment, an ability known as statistical learning, and the extent to which explicit learning mechanisms can be used to compensate for those deficits. Studies designed to test the compensatory role of explicit learning mechanisms in children with DLD are, however, (...) scarce, and the few conducted so far have led to inconsistent results. This work aimed to provide new insights into the role that explicit learning mechanisms might play on implicit learning deficits in children with DLD by resorting to a new approach. This approach involved not only the collection of event-related potentials, while preschool children with DLD [relative to typical language developmental controls] were exposed to a continuous auditory stream made of the repetition of three-syllable nonsense words but, importantly, the collection of ERPs when the same children performed analogous versions of the same auditory SL task first under incidental and afterward under intentional conditions. In each of these tasks, the level of predictability of the three-syllable nonsense words embedded in the speech streams was also manipulated to mimic natural languages closely. At the end of both tasks’ exposure phase, children performed a two-alternative forced-choice task from which behavioral evidence of SL was obtained. Results from the 2-AFC tasks failed to show reliable signs of SL in both groups of children. The ERPs data showed, however, significant modulations in the N100 and N400 components, taken as neural signatures of word segmentation in the brain, even though a detailed analysis of the neural responses revealed that only children from the TLD group seem to have taken advantage of the previous knowledge to enhance SL functioning. These results suggest that children with DLD showed deficits both in implicit and explicit learning mechanisms, casting doubts on the efficiency of the interventions relying on explicit instructions to help children with DLD to overcome their language difficulties. (shrink)

The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical (...) structure and the technology of explicit substitutions. This is in contrast to the λσ-calculus where the explicit substitutions are independent of the underlying logical structure. (shrink)

The paper discusses the conceptual and methodological challenges of developing measures of stereotypes and prejudice for use in Slovakia. Developing these measures was the first step in a research project aimed at testing the effectiveness of direct and indirect contact interventions to reduce prejudice against stigmatized minorities, particularly the Roma. The first major problem in this kind of research relates to measuring the impact of interventions, as standardized instruments for measuring prejudice have yet to be developed in Slovak. The second (...) problem concerns the risk that the interventions will fail to reduce anti-Roma prejudice, because of the strong stigmatization of the Roma minority in Slovakia. The paper also reviews existing measures of stereotypes and prejudice in social psychology and discusses their applicability for measuring anti-Roma prejudice in Slovakia. It is argued that measures of stereotypes and prejudice should be designed and used in a sensitive manner and that in the process of measuring various forms of social bias we should avoid reproducing its cognitive, emotional and behavioural manifestations. (shrink)

Background:: Over the past few years, research ethics committees have increasingly demanded explicit consent before archival tissue samples can be used in research projects. Current UK guidance in this area requires an assessment of whether it is “practical” to obtain explicit consent. Ethics committees have little experience or evidence to help them to judge what is “practical” in this context.Methods:: We attempted to obtain general consent for research use of surplus tissue from renal transplant biopsies from the entire (...) patient population of the renal transplant unit in Leicester. The nature of this patient population would be expected to facilitate this task.Results:: A total of 495 letters were sent. Attempts were made to contact non-responders when they attended the outpatient clinic. One year after the initiation of the project, the opinions of 26% of the patients had still not been ascertained.Conclusions:: The results confirm that the vast majority of patients are happy for “surplus” biopsy material to be used for research; the situation does not parallel the use of autopsy tissue. A requirement to obtain explicit consent for the study of archival tissue is likely, however, to block or at least seriously delay research, which is contrary to the public interest and specifically may harm the interests of the patients concerned. In the UK, the problem of tissue being used against the wishes of the donor has now been largely replaced by the problem of prohibition of tissue use against the wishes of the donor. (shrink)

This paper continues investigations of the monotone fixed point principle in the context of Feferman's explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the new axiom (...) not merely postulates the existence of a least solution, but, by adjoining a new constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. Let T 0 + UMID denote this extension of explicit mathematics. [14] gave lower bounds for the strength of two subtheories of T 0 + UMID in relating them to fragments of second order arithmetic based on Π 1 2 comprehension. [14] showed that T $_0 \upharpoonright$ + UMID and T $_0 \upharpoonright$ + IND N + UMID have at least the strength of (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. Here we are concerned with the exact reversals. Let UMID N be the monotone fixed-point principle for subclassifications of the natural numbers. Among other results, it is shown that T $_0 \upharpoonright$ + UMID N and T $_0 \upharpoonright$ + IND N + UMID N have the same strength as (Π 1 2 - CA) $\upharpoonright$ and (Π 1 2 - CA), respectively. The results are achieved by constructing set-theoretic models for the aforementioned systems of explicit mathematics in certain extensions of Kripke-Platek set theory and subsequently relating these set theories to subsystems of second arithmetic. (shrink)

The purpose of this article is to provide a non‐contradictory interpretation of sentences such as “Smith's murderer might not have murdered Smith”. An anti‐actualist, two‐dimensional framework including partial functions provides the basis for my solution. I argue for two claims. The modal profile of the proposition expressed by “The F might not have been an F” is complex: at any world where there is a unique F the proposition is true; at any world without a unique F the proposition has (...) no truth‐value; hence, at no world is it false. It remains an open semantic and epistemological question which of the first two kinds of world the actual world is. The semantic method should be based on explicit intensionalization in lieu of actualism. Actualism accords a privileged role to the actual world. Explicit intensionalization places all possible worlds, including the actual one, on an equal footing. Syntactically, a lambda‐bound world variable replaces the actual‐world constant or operator, while the other world variable is existentially bound. (shrink)

The following essay contains a more general philosophical reflection on the significance and some main elements of pre-modern Confucian learning. The topic is developed by presenting some essential elements in the whole range from explicit (linguistically expressible) knowledge to symbolic aspects as well as the (philosophical) problem of ineffable knowing. The essay starts with the general conception of man which underlies the mainstream of Confucian learning. On that basis, the more explicit contents and easily explicable subjects or branches (...) of classical Confucian learning are mapped out. This becomes the starting point to move on to reflect on a more symbolic layer of Confucian learning. Finally, the core level of Confucian learning is addressed. This presents us with the problem of ineffability. The reference points of the present essay are restricted to some important classical passages as well as the thought of Wang Yangming 王陽明 (1472–1529). (shrink)

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryski.

It is well established that language production and comprehension are influenced by information status, for example, whether information is given, new, topical, or predictable, and many scholars suggest that an important component of information status is keeping track of what information is in common ground, and what is not. Information status affects both speakers' choices and how listeners interpret the speaker's meaning. Although there is a wealth of scholarly work on information status, there is no consensus on the mechanisms by (...) which it is used, and in fact relatively little discussion of the underlying representations and psycholinguistic mechanisms. Moreover, a major challenge to understanding information status is that its effects are notoriously variable. This study considers existing proposals about information status, focusing on two questions: how is it represented; and by what mechanisms is it used? I propose that it is important to consider whether representations and mechanisms can be classified as either explicit or emergent. Based on a review of existing evidence, I argue that information status representations are most likely emergent, but the mechanisms by which they are used are both explicit and emergent. This review provides one of the first considerations of information status processing across multiple domains. (shrink)

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Dienes' & Perner's proposals are discussed in relation to the distinction between explicit and implicit systems of thinking. Evans and Over (1996) propose that explicit processing resources are required for hypothetical thinking, in which mental models of possible world states are constructed. Such thinking requires representations in which the individuals' propositional attitudes including relevant beliefs and goals are made fully explicit.

Period-tracking software applications or ‘menstruapps’ have witnessed a surge in popularity in recent years. At the same time, many of them are a part of the adtech industry, using business models that create revenue by selling users’ personal and intimate data. This exploratory article brings menstruapps into a feminist legal debate. It investigates the supranational European legal standards on intimate and sensitive data processing, particularly the General Data Protection Regulation. Scrutinising explicit consent according to GDPR Article 9, this paper, (...) through empirical examples, claims that current legal standards are not enforced. The standards are, furthermore, theoretically insufficient to fully safeguard data subjects’ integrity and autonomy. Instead of abandoning the concept, the article reimagines consent, using a contextual and communicative model where power relations are taken into consideration, building on the feminist concept of freedom to negotiate. (shrink)

At present, the prevailing Connectionist methodology forrepresenting rules is toimplicitly embody rules in neurally-wired networks. That is, the methodology adopts the stance that rules must either be hard-wired or trained into neural structures, rather than represented via explicit symbolic structures. Even recent attempts to implementproduction systems within connectionist networks have assumed that condition-action rules (or rule schema) are to be embodied in thestructure of individual networks. Such networks must be grown or trained over a significant span of time. However, (...) arguments are presented herein that humanssometimes follow rules which arevery rapidly assignedexplicit internal representations, and that humans possessgeneral mechanisms capable of interpreting and following such rules. In particular, arguments are presented that thespeed with which humans are able to follow rules ofnovel structure demonstrates the existence of general-purpose rule following mechanisms. It is further argued that the existence of general-purpose rule following mechanisms strongly indicates that explicit rule following is not anisolated phenomenon, but may well be a common and important aspect of cognition. The relationship of the foregoing conclusions to Smolensky''s view of explicit rule following is also explored. The arguments presented here are pragmatic in nature, and are contrasted with thekind of arguments developed by Fodor and Pylyshyn in their recent, influential paper. (shrink)

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.

In Spain before the 1990s there was no clear and explicit comprehensive training for future engineers with regard to social responsibility and social commitment. Following the Spanish university curricular reform, which began in the early 1990s, a number of optional subjects became available to students, concerning science, technology and society (STS), international cooperation, the environment and sustainability. The latest redefinition of the Spanish curriculum in line with the Bologna agreements has reduced the number of non-obligatory subjects, but could lead (...) to improving preparation for social responsibility due to the requirement that the design of curricula and the assessment of students should be based on competencies, some of which include human values and attitudes. (shrink)

Explicitness has usually been approached from two points of view, labelled by Kirsh the structural and the process view, that hold opposite assumptions to determine when information is explicit. In this paper, we offer an intermediate view that retains intuitions from both of them. We establish three conditions for explicit information that preserve a structural requirement, and a notion of explicitness as a continuous dimension. A problem with the former accounts was their disconnection with psychological work on the (...) issue. We review studies by Karmiloff-Smith, and Shanks and St. John to show that the proposed conditions have psychological grounds. Finally, we examine the problem of explicit rules in connectionist systems in the light of our framework. (shrink)

Distinguishing explicit from implicit knowledge on the basis of the active representation of certain propositional attitudes fails to provide an explanation for dissociations in learning performance under implicit and explicit conditions. This suggests an account of implicit and explicit knowledge grounded in the presence of multiple learning mechanisms, and multiple brain systems more generally. A rough outline of a connectionist account of this kind is provided.

L'Auteur dégage et expose d'abord le modèle explicite proposé par Hobbes pour l'analyse des phénomènes sémioti- que, puis le contexte dans lequel ce modèle est élaboré, tout en montrant en quoi cette analyse peut encore intéresser les philosophes du langage contemporains. Il met ensuite en évi- dence les diverses perspectives empruntées par Hobbes dans son analyse, formule les principes sur lesquels elles reposent et décèle les problèmes de cohérence qui en résultent. Il propose enfin une interprétation qui permet de lever (...) certaines contradictions apparentes rencontrées dans l'analyse du mo- dèle proposé par Hobbes en réexaminant le contexte initial de cette analyse et les catégories ontologiques fondamentales qu'elle met en cause.The Author extricates and exposes at first the explicit model proposed by Hobbes to analyse semiotical phenomena, and the context in which this model is developped, showing by the way how this model, in many respects, might still be interesting for contemporary philosophers of language. Then, he reconstructs the approaches adopted by Hobbes, formulates the basic principles on which they rest, and identifies some problems of coherence resulting from the whole approach. He proposes, at last, an interpretation which enables us to solve some apparent contradictions met in the analysis of the model proposed by Hobbes by exploring anew the initial context of this model and the basic ontological categories which are implicated in Hobbes' semiotical analysis. (shrink)

There has been an extraordinary resurgence of interest in the enigma of human consciousness among neuroscientists, psychologists, and professional philosophers. Much work is aimed at accommodating consciousness within the currently dominant physicalist world picture. This book is a comprehensive and sometimes impassioned attack to "biologize" consciousness by explaining its origin in evolutionary terms and identifying mental phenomena with brain processes; to "computerize" it by identifying mind with the supposed computational activity of the brain; and to empty or eliminate it by (...) denying the reality of qualia. Raymond Tallis's critique concludes with a long look at man--"the explicit animal"--that makes the irreducible mystery of human consciousness impossible to overlook or deny. (shrink)

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

Explicit and implicit values of polish grandmothers and their granddaughters The authors tried to determine if and to what extent maternal granddaughters share the explicit and implicit values of their grandmothers. 80 grandmothers-granddaughter dyads were surveyed using Schwartz' SVS and Mudyń's RN-02, an instrument assigned to identify "ontological orientations". The results indicate that: 1) grandmothers differ significantly from granddaughters in all ontological orientations, especially in Theoretical and Religious orientation, 2) they differ also in personal values, except for Universalism (...) and Power, 3) regression analysis revealed two decisive factors which determine convergence of ontological orientations and values in grandmother-granddaughter dyads, i.e. and level of education and attitudes toward religion. It may mean that these are the two important transmitters of world view as well as personal values. (shrink)

The context for this paper is Feferman's theory of explicit mathematics, a formal framework serving many purposes. It is suitable for representing Bishop-style constructive mathematics as well as generalized recursion, including direct expression of structural concepts which admit self-application. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications possesses a least fixed point. To be more precise, the new axiom not merely (...) postulates the existence of a least solution, but, by adjoining a new functional constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. The upshot of the paper is that the latter extension of explicit mathematics embodies considerable proof-theoretic strength. It is shown that it has at least the strength of the subsystem of second order arithmetic based on $\Pi^1_2$ comprehension. (shrink)

Several recent findings support the notion that changes in the environment can be implicitly represented by the visual system. S. R. Mitroff, D. J. Simons, and S. L. Franconeri (2002) challenged this view and proposed alternative interpretations based on explicit strategies. Across 4 experiments, the current study finds no empirical support for such alternative proposals. Experiment 1 shows that subjects do not rely on unchanged items when locating an unaware change. Experiments 2 and 3 show that unaware changes affect (...) performance even when they occur at an unpredictable location. Experiment 4 shows that the unaware congruency effect does not depend simply on the pattern of the final display. The authors point to converging evidence from other methodologies and highlight several weaknesses in Mitroff et al.’s theoretical arguments. It is concluded here that implicit representation of change provides the most parsimonious explanation for both past and present findings. (shrink)

In both philosophical and linguistic research, the explicit cancelability test is widely used to distinguish semantic contents from conversational implicatures. Assuming a straightforward relation between semantic content and explicit cancelability, a researcher might think that: if the proposition _p_ is expressed semantically by an utterance, then _p_ is not explicitly cancelable. In this paper, however, I argue for two amendments to this assumption. First, following Jerrold Sadock, I argue that the semantic content of an ambiguous utterance may be (...) explicitly cancelable. Against this widely accepted view, a recent paper by Arthur Sullivan argues that the ambiguity problem should be rejected. I respond to Sullivan’s arguments and argue that the ambiguity problem remains despite Sullivan’s objections. Second, I argue that there is also another type of case complicating the relation between semantic content and explicit cancelability. In some cases where an utterance of a sentence _s_ semantically expresses the proposition that _p_, certain resources that speakers have available for metalinguistic communication may be employed to make _p_ satisfy a sufficient condition for explicit cancelability, although _s_ is not ambiguous. These two weaknesses of the explicit cancelability test have important implications for its diagnostic use. (shrink)

The context for this paper is Feferman's theory of explicit mathematics, a formal framework serving many purposes. It is suitable for representing Bishop-style constructive mathematics as well as generalized recursion, including direct expression of structural concepts which admit self-application. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications (Feferman's notion of set) possesses a least fixed point. To be more precise, the (...) new axiom not merely postulates the existence of a least solution, but, by adjoining a new functional constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. The upshot of the paper is that the latter extension of explicit mathematics (when based on classical logic) embodies considerable proof-theoretic strength. It is shown that it has at least the strength of the subsystem of second order arithmetic based on Π 1 2 comprehension. (shrink)

The notion of an explicit representation plays a crucial role in O'Brien & Opie's arguments. Clarifying what explicit representation involves proves difficult, however, as various explications of this key notion fail to make sense of the overall argument. In particular, neither the notion of encoding in discrete objects nor the notion of active versus potentially active representation seems to help in specifying what is distinctive of conscious representation.

The current study represents an integrated model of explicit and implicit offensive language taxonomy. First, it focuses on a definitional revision and enrichment of the explicit offensive language taxonomy by reviewing the collection of available corpora and comparing tagging schemas applied there. The study relies mainly on the categories originally proposed by Zampieri et al. (2019) in terms of offensive language categorization schemata. After the explanation of semantic differences between particular concepts used in the tagging systems and the (...) analysis of theoretical frameworks, a finite set of classes is presented, which cover aspects of offensive language representation along with linguistically sound explanations (Lewandowska-Tomaszczyk et al. 2021). In the analytic procedure, offensive from non-offensive discourse is first distinguished, with the question of offence Target and the following categorization levels and sublevels. Based on the relevant data generated from Sketch Engine (https://www.sketchengine.eu/ententen-english-corpus/), we propose the concept of offensive language as a superordinate category in our system with a number of hierarchically arranged 17 subcategories. The categories are taxonomically structured into 4 levels and verified with the use of neural-based (lexical) embeddings. Together with a taxonomy of implicit offensive language and its subcategorization levels which has received little scholarly attention until now, the categorization is exemplified in samples of offensive discourses in selected English social media materials, i.e., publicly available 25 web-based hate speech datasets (consult Appendix 1 for a complete list). The offensive category levels (types of offence, targets, etc.) and aspects (offensive language property clusters) as well as the categories of explicitness and implicitness are discussed in the study and the computationally verified integrated explicit and implicit offensive language taxonomy proposed in the study. (shrink)

This paper continues investigations of the monotone fixed point principle in the context of Feferman's explicit mathematics begun in [14]. Explicit mathematics is a versatile formal framework for representing Bishop-style constructive mathematics and generalized recursion theory. The object of investigation here is the theory of explicit mathematics augmented by the monotone fixed point principle, which asserts that any monotone operation on classifications possesses a least fixed point. To be more precise, the new axiom not merely postulates the (...) existence of a least solution, but, by adjoining a new constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. Let T$_0$ + UMID denote this extension of explicit mathematics. [14] gave lower bounds for the strength of two subtheories of T$_0$ + UMID in relating them to fragments of second order arithmetic based on $\Pi^1_2$ comprehension. [14] showed that T$_0 \upharpoonright$ + UMID and T$_0 \upharpoonright$ + IND$_\mathbb{N}$ + UMID have at least the strength of $\upharpoonright$ and, respectively. Here we are concerned with the exact reversals. Let UMID$_\mathbb{N}$ be the monotone fixed-point principle for subclassifications of the natural numbers. Among other results, it is shown that T$_0 \upharpoonright$ + UMID$_\mathbb{N}$ and T$_0 \upharpoonright$ + $IND_\mathbb{N}$ + UMID$_\mathbb{N}$ have the same strength as $ $\upharpoonright$ and, respectively. The results are achieved by constructing set-theoretic models for the aforementioned systems of explicit mathematics in certain extensions of Kripke-Platek set theory and subsequently relating these set theories to subsystems of second arithmetic. (shrink)

We describe an explicit construction of algebraic models for theories with non-standard elements either with classical or constructive logic. The corresponding truthvalue algebra in our construction is a complete algebra of subsets of some concrete decidable set. This way we get a quite finitistic notion of true which reflects a notion of the deducibility of a given theory. It enables us to useconstructive, proof-theoretical methods for theories with non-standard elements. It is especially useful in the case of theories with (...) constructive logic where algorithmic properties are essential. (shrink)