The paper argues that the theory of Implicit Definition cannot give an account of knowledge of logical principles. According to this theory, the meanings of certain expressions are determined such that they make certain principles containing them true; this is supposed to explain our knowledge of the principles as derived from our knowledge of what the expressions mean. The paper argues that this explanation succeeds only if Implicit Definition can account for our understanding of the logical (...) constants, and that fully understanding a logical constant in turn requires the ability to apply it correctly in particular cases. It is shown, however, that Implicit Definition cannot account for this ability, even if it draws on introduction rules for the logical constants. In particular, Implicit Definition cannot account for our ability to apply negation in particular cases. Owing to constraints relating to the unique characterisation of logical constants, invoking the notion of rejection does not remedy the situation. Given its failure to explain knowledge of logic, the prospects of Implicit Definition to explain other kinds of a priori knowledge are even worse. (shrink)

Michael Friedman’s project both historically and systematically testifies to the importance of the relativized a priori. The importance of implicit definitions clearly emerges from Schlick’s General Theory of Knowledge . The main aim of this paper is to show the relationship between both and the relativized a priori through a detailed discussion of Friedman’s work. Succeeding with this will amount to a contribution to recent scholarship showing the importance of Hilbert for Logical Empiricism.

이 글에서 나는 힐버트의 암묵적 정의 방법에 대한 프레게의 잘 알려진 비판들을 재검토한다. 이를 통해 나는 두 논제를 확립하려 한다. 첫째, 힐버트의 정의 방법은 과학이론의 원초용어의 의미를 설명하는 데 목적이 있는 것이 아니라, 그런 이론의 논리적 구조를 고정하려는 데 목적이 있다. 둘째, 논리적 구조들은 파생적인 논리적 관계에 지나지 않으므로, 힐버트의 정의 방법은 그런 구조들의 명시적인 정의를 얻기 위한 수단으로 간주되어야 한다.

Once Hilbert asserted that the axioms of a theory `define` theprimitive concepts of its language `implicitly''. Thus whensomeone inquires about the meaning of the set-concept, thestandard response reads that axiomatic set-theory defines itimplicitly and that is the end of it. But can we explainthis assertion in a manner that meets minimum standards ofphilosophical scrutiny? Is Jané (2001) wrong when hesays that implicit definability is ``an obscure notion''''? Doesan explanation of it presuppose any particular view on meaning?Is it not a (...) scandal of the philosophy of mathematics that no answersto these questions are around? We submit affirmative answers to allquestions. We argue that a Wittgensteinian conception of meaninglooms large beneath Hilbert''s conception of implicit definability.Within the specific framework of Horwich''s recent Wittgensteiniantheory of meaning called semantic deflationism, we explain anexplicit conception of implicit definability, and then go on toargue that, indeed, set-theory, defines the set-conceptimplicitly according to this conception. We also defend Horwich''sconception against a recent objection from the Neo-Fregeans Hale and Wright (2001). Further, we employ the philosophicalresources gathered to dissolve all traditional worries about thecoherence of the set-concept, raisedby Frege, Russell and Max Black, and whichrecently have been defended vigorously by Hallett (1984) in hismagisterial monograph Cantorian set-theory and limitationof size. Until this day, scandalously, these worries havebeen ignored too by philosophers of mathematics. (shrink)

Philosophers probably ask more What is questions than anyone else. From the Socratic-Platonic What is Justice, Love, Virtue, etc., through the Aristotelian quest for essences and the contemporary concern with various modes of meaning, philosophers have kept raising What is questions. Now some say that this penchant for What is represents the worst in philosophy. Such questions inevitably lead to confusing verbal or definitional matters, with substantive or factual matters. Lexicography is not an important part of either science or philosophy. (...) It is truth and not meaning that matters. If philosophers are to continue with their What is brand of questioning, they would do well to interpret What is x as a request for a true theoretical account of x. It is true theories we are after—a not very surprising conclusion. When a philosopher asks What is life? he is asking for the best theoretical account available of the phenomenon of life. Of course, we cannot always be sure that this is the question he is asking. He might be asking about the importance of life in some evaluative sense. Is life better than death? What is life, anyway? Is life worth living? And perhaps these are the truly philosophical questions about life. They are certainly elusive enough to deserve the appellation philosophical. When the scientist asks what is life, he asks for a biological theory. But when a philosopher asks this question, he is after something deeper. There are philosophers and philosophers. In what follows, philosophers are what used to be termed natural philosophers. In this usage, Newton was a great philosopher. And who would not be happy to have Newton as one of us. (shrink)

Paul Boghossian advocates a version of the analytic theory of a priori knowledge. His defense of an "epistemic" notion of analyticity is based on an implicit definition account ofthe meaning of the logical constants. Boghossian underestimates the power of the classical Quinean criticisms, however; the challenge to substantiate the distinction between empirical and non-empirical sentences, as forcefully presented in Two Dogmas, still stands, and the regress from Truth by Convention still needs to be avoided. Here, Quine also showed (...) that there are no implicit definers for the logical constants. Moreover, even if they existed, their epistemic analyticity would, on Boghossian's own account, be doubtful. (shrink)

In Boghossian's 1997 paper, 'Analyticity' he presented an account of a prioriknowledge of basic logical principles as available by inference from knowledge of their role in determining the meaning of the logical constants by implicit definitiontogether with knowledge of the meanings so-determined that we possess through ourprivileged access to meaning. Some commentators (e.g. BonJour (1998), Glüer (2003),Jenkins (2008)) have objected that if the thesis of implicit definition on which he relieswere true, knowledge of the meaning of the (...) constants would presuppose knowledge of the very logical principles knowledge of which the account purports to explain. Aconsequence would seem to be that implicit definition is incompatible with privilegedaccess. I argue that whilst it is possible for Boghossian to defend against theseobjections the form of argument he proposes does exhibit a subtle form of questionbegging such that it exhibits a transmission of warrant-failure. (shrink)

The paper surveys different notions of implicit definition. In particular, we offer an examination of a kind of definition commonly used in formal axiomatics, which in general terms is understood as providing a definition of the primitive terminology of an axiomatic theory. We argue that such “structural definitions” can be semantically understood in two different ways, namely as specifications of the meaning of the primitive terms of a theory and as definitions of higher-order mathematical concepts or (...) structures. We analyze these two conceptions of structural definition both in the history of modern axiomatics and in contemporary philosophical debates. Based on that, we give a systematic assessment of the underlying semantics of these two ways of understanding the definiens of such definitions, by considering alternative model-theoretic and inferential accounts of meaning. (shrink)

This paper aims to investigate certain aspects of Weyl’s account of implicit definitions. The paper takes under consideration Weyl’s approach to a certain kind of implicit definitions i.e. abstraction principles introduced by Frege.ion principles are bi-conditionals that transform certain equivalence relations into identity statements, defining thereby mathematical terms in an implicit way. The paper compares the analytic reading of implicit definitions offered by the Neo-Fregean program with Weyl’s account which has phenomenological leanings. The paper suggests that (...) Weyl’s account should be construed as putting emphasis on intentionality of human mind towards certain invariant features of the elements of initial domains of discourse that are involved in equivalence relations. Definition of terms like direction, shape, number etc. is achieved by a kind of transformation of those invariants into ideal objects that is involved in intuition. Then the paper argues that at the period of 1926 Weyl’s writings on implicit definitions, he is inclined to endorse symbolic construction as a way to explicate the objectivity of certain processes as those that are carried out in case of implicit definitions. (shrink)

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

This paper addresses the issue of stipulation in three cases of implicit definitions. It argues that the alleged implicit definitions do not have a purely stipulative status. Stipulation of the vehicles of the implicit definitions in question should end up with true postulates. However, those postulates should not be taken to be true only in virtue of stipulation since they have extra commitments. Horwich’s worry emerges in all three kinds of implicit definitions under consideration, since the (...) existence of meanings so that the alleged postulates are true depends on extra requirements that should be fulfilled. Moreover, if Ramseyfication method is applied to the three kinds of implicit definition, they are split up into two components from which the first one is broadly factual while the second one is purely stipulative. The paper argues that their definitional task in each case should be assigned to their second component i.e. their Carnap-conditional. (shrink)

Implicit definitions have been much discussed in the history and philosophy of science in relation to logical positivism. Not only have the logical positivists been influential in establishing this notion, but they have addressed the main problems connected with the use of such definitions, in particular the question whether there can be such definitions, and the problem of delimiting their scope. This paper aims to draw further insights on implicit definitions from the development of this notion from its (...) first occurrence in German language in Enriques’s “Principles of Geometry” (1907) to Schlick’s General Theory of Knowledge (1918). Enriques was one of the first to acknowledge that implicit definitions in mathematics are possible only for higher-order entities or structures, which can have infinitely many interpretations in terms of physical objects. While Schlick introduced coordinating principles to account for the scientific interpretations of implicit definitions, Enriques addressed the problem of bridging the gap between abstract and concrete terms in a different way: He identified, within mathematics, structural patterns that provide a clarification of conceptual relations, and so also serve (indirectly) the purposes of applied mathematics. My suggestion is that Enriques’s analysis of these patterns deserves deeper consideration also from a contemporary perspective on mathematical concept formation. (shrink)

A thumbnail sketch of the philosophical thinking about the a priori would surely include that it has been dominated by two major approaches: the Kantian absolute conception of it and the Millian-Quinean absolute rejection of it (section 2). Yet, one can find in the literature claims about the existence of a ›functional a priori‹, a ›relative a priori‹, a ›relativised a priori‹ and suchlike. They are all meant to carve a space between the two extremes. An important thought behind the (...) search for a middle ground is that the supposed coincidence between the constitutive and the unrevisable is wrong. The entitlement to accept a principle as being constitutive of experience prior to any empirical justification of it is compatible with an entitlement to revise or abandon such a principle on empirical grounds. If a priori principles are meant to be independent of experience, how should this claim of independence be understood so that room is left for the possibility that a principle is both independent of experience and revisable on empirical grounds (section 3)? A straightforward and natural way to approach this issue is to think of constitutive principles along the lines of Poincaréan conventions, which can be seen as delineating a new sense of the a priori – the conventional a priori principles. These are substantive principles that are constitutive of theoretical frameworks – in the sense that they define (or constitute) the object of knowledge – without being either synthetic a priori or empirical generalisations. Still, their negation is conceivable and they are revisable on empirical grounds (section 4). (shrink)

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The (...) argumentative structure of PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

Let R be an epistemic rule of the simplest type: "Accept sentence s!" Assume that R is a basic rule we actually follow: Our accepting the sentence cannot be explained by our following more fundamental rules of sentence-acceptance. Assume furthermore that we feel rationally obliged to follow R; that is, we all agree on the correctness of the epistemic norm N which says: We ought to accept s.

Decisions in healthcare are made against the background of cultural and philosophical definitions of disease, sickness and illness. These concepts or definitions affect both health policy and research , as well as individual encounters between patients and physicians . It is therefore necessary for evidence-based medicine to consider whether any of the definitions underlying research prior to the hierarchisation of knowledge are indeed compatible with its own epistemological principles.

The study of intellectual humility is still in its early stages and issues of definition and measurement are only now being explored. To inform and guide the process of defining and measuring this important intellectual virtue, we conducted a series of studies into the implicit theory – or ‘folk’ understanding – of an intellectually humble person, a wise person, and an intellectually arrogant person. In Study 1, 350 adults used a free-listing procedure to generate a list of descriptors, (...) one for each person-concept. In Study 2, 335 adults rated the previously generated descriptors by how characteristic each was of the target person-concept. In Study 3, 344 adults sorted the descriptors by similarity for each person-concept. By comparing and contrasting the three person-concepts, a complex portrait of an intellectually humble person emerges with particular epistemic, self-oriented, and other-oriented dimensions. (shrink)

We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short (...) of a formal definition, and acknowledge limitations and borderline cases. Throughout we show how awareness of the two stances suggests new logical systems and new issues about translations between implicit and explicit systems, linking up with foundational concerns about identity of logical systems. But we also show how a practical facility with these complementary working styles has philosophical consequences, as it throws doubt on strong philosophical claims made by just taking one design stance and ignoring alternative ones. We will illustrate the latter benefit for the case of logical pluralism and hyper-intensional semantics. (shrink)

We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short (...) of a formal definition, and acknowledge limitations and borderline cases. Throughout we show how awareness of the two stances suggests new logical systems and new issues about translations between implicit and explicit systems, linking up with foundational concerns about identity of logical systems. But we also show how a practical facility with these complementary working styles has philosophical consequences, as it throws doubt on strong philosophical claims made by just taking one design stance and ignoring alternative ones. We will illustrate the latter benefit for the case of logical pluralism and hyper-intensional semantics. (shrink)

Implicit knowledge is perhaps better understood as latent knowledge so that it is readily apparent that it contrasts with explicit knowledge in terms of the form of the knowledge representation, rather than by definition in terms of consciousness or awareness. We argue that as a practical matter any definition of the distinction between implicit and explicit knowledge further involves the notion of control.

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of (...) taxon names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of (...) taxon names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

The core of the problem discussed in this paper is the following: the Church-Turing Thesis states that Turing Machines formally explicate the intuitive concept of computability. The description of Turing Machines requires description of the notation used for theinputand for theoutput. Providing a general definition of notations acceptable in the process of computations causes problems. This is because a notation, or an encoding suitable for a computation, has to be computable. Yet, using the concept of computation, in a (...) class='Hi'>definition of a notation, which will be further used in a definition of the concept of computation yields an obvious vicious circle. The circularity of this definition causes trouble in distinguishing on the theoretical level, what is an acceptable notation from what is not an acceptable notation, or as it is usually referred to in the literature, “deviant encodings”.Deviant encodings appearexplicitlyin discussions about what is an adequate or correct conceptual analysis of the concept of computation. In this paper, I focus on philosophical examples where the phenomenon appearsimplicitly, in a “disguised” version. In particular, I present its use in the analysis of the concept of natural number. I also point at additional phenomena related to deviant encodings: conceptual fixed points and apparent “computability” of uncomputable functions. In parallel, I develop the idea that Carnapian explications provide a much more adequate framework for understanding the concept of computation, than the classical philosophical analysis. (shrink)

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)

We may define words or concepts, and we may also, as Aristotle and others have thought, define the things for which words stand and of which concepts are concepts. Definitions of words or concepts may be explicit or implicit, and may seek to report preexisting synonymies, as Quine put it, but they may instead be wholly or partly stipulative. Definition by abstraction, of which Hume’s principle is a much discussed example, seek to define a term-forming operator, such as (...) the number operator, by fixing the truth-conditions of identity-statements featuring terms formed by means of that operator. Such definitions are a species of implicit definition. They are typically at least partly stipulative. Definitions of things, or real definitions, are, by contrast, typically conceived as true or false statements about the nature or essence of their definienda, and so not stipulative. There thus appears to be an obvious and head-on clash between taking Hume’s principle as an implicit and at least partly stipultative definition of the number operator and taking it as a real definition, stating the nature or essence of cardinal numbers. This paper argues that this apparent tension can be resolved, and that resolving it sheds light on part of the epistemology or essence and necessity, showing how some of our knowledge of essence and necessity can be a priori. (shrink)

The main aim of the thesis is to give a semantic account of implicit content – the kind of content that plays a crucial role in implicit communication. Implicit communication is a species of communication in which a speaker communicates certain contents that go over and above the contents retrievable from the linguistic meaning of the words used. The focus of the thesis is a certain kind of implicit communication involving locations (when sentences such as “It (...) is raining” are used to communicate that it is raining at a certain location) and judges (when sentences such as “Avocado is tasty” are used to communicate that avocado is tasty for a certain person, called “the judge”). The way the topic of implicit content is approached is via the notion, widespread in contemporary philosophy of language, of “unarticulated constituents”. The thesis contains an investigation of this notion, with the specific aim of disentangling the many senses it has been used and of providing a general definition of the notion. A direct product of this investigation is a partitioning of the logical space; three positions are then selected, which correspond to the main contenders in the current debate involving unarticulated constituents: truth-conditional semantics, truth-conditional pragmatics and relativism. The biggest part of the thesis is dedicated to investigating certain arguments that have surfaced in the debate between these positions, with the ultimate goal of proposing a relativist account of implicit content. The particular version of relativism offered consists in the combination of the claim that locations and judges are part of the circumstances of evaluation, rather than the content of utterances, with “the variadic functions approach” to certain natural language expressions. Also, several arguments against a truth-conditional semantic approach to predicates of personal taste are provided. (shrink)

A person with one dollar is poor. If a person with n dollars is poor, then so is a person with n + 1 dollars. Therefore, a person with a billion dollars is poor. True premises, valid reasoning, a false a conclusion. This is an instance of the Sorites-paradox. (There are infinitely many such paradoxes. A man with an IQ of 1 is unintelligent. If a man with an IQ of n is unintelligent, so is a man with an IQ (...) of n+1. Therefore a man with an IQ of 200 is unintelligent.) Most attempts to solve this paradox reject some law of classical logic, usually the law of bivalence. I show that this paradox can be solved while holding on to all the laws of classical logic. Given any predicate that generates a Sorites-paradox, significant use of that predicate is actually elliptical for a relational statement: a significant token of "Bob is poor" means that Bob is poor compared to x, for some value of x. Once a value of x is supplied, a definite cutoff line between having and not having the paradox-generating predicate is supplied. This neutralizes the inductive step in the associated Sorites argument, and the would-be paradox is avoided. (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)

In analytic aesthetics, a popular ‘cognitivist’ line of thought maintains that literary works of fictional kind may ‘imply’ or ‘suggest’ truths. Nevertheless, so-called anti-cognitivists have considered the concepts of implication and suggestion both problematic. For instance, cognitivists’s use of the word ‘implication’ seems to differ from all philosophical conceptions of implication, and ‘suggestion’ is generally left unanalysed in their theories. This paper discusses the role, kinds and conception of implication or suggestion in literature, issues which have received little attention in (...) contemporary literary aesthetics. In the first part, the author shall examine classic views on implication in literature and introduce objections to the views. In the latter part, in turn, the author shall propose a definition of the ‘literary suggestion’ and discuss issues related to its interpretation. (shrink)

In the original target article (Shanks & St. John 1994), one of our principal conclusions was that there is almost no evidence that learning can occur outside awareness. The continuing commentaries raise some interesting questions, especially about the definition of learning, but do not lead us to abandon our conclusion.

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

In the last several decades, a confluence of work in the social sciences, philosophy, statistics, and computer science has developed a theory of causal inference using directed graphs. This theory typically rests either explicitly or implicitly on two major assumptions.

Self-awareness represents the capacity of becoming the object of one’s own attention. In this state one actively identifies, processes, and stores information about the self. This paper surveys the self-awareness literature by emphasizing definition issues, measurement techniques, effects and functions of self-attention, and antecedents of self-awareness. Key self-related concepts (e.g., minimal, reflective consciousness) are distinguished from the central notion of self-awareness. Reviewed measures include questionnaires, implicit tasks, and self-recognition. Main effects and functions of self-attention consist in selfevaluation, escape (...) from the self, amplification of one's subjective experience, increased self-knowledge, self-regulation, and inferences about others' mental states (Theory-of-Mind). A neurocognitive and socioecological model of self-awareness is described in which the role of face-to-face interactions, reflected appraisals, mirrors, media, inner speech, imagery, autobiographical knowledge, and neurological structures is underlined. (shrink)