The Reality of Knowledge completes a trilogy begun with The Architecture of Knowledge (1980) and Processes of Knowledge (2001). It presents a holistic analysis of knowledge and the reality that is known. The book shows how living things, including humans, construct reality in specific ways that maximize their ability to know it. Different species construct different areas of reality, but they all use the same methods: objectification, categorization, and generalization. Support for this analysis comes from examining (...) certain logical protocols in computer technology, because computer architectures have evolved to emulate human knowledge. (shrink)

Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to (...) their fully realized systems, human beings do not initially perceive any relations, or similar epistemological elements that can associate or combine terms on which a relational or general knowledge claim may be based. Nor, likewise, do human beings perceive the relations or the associations themselves as separate entities. ;In Chapters 1 and 2, respectively, it is shown precisely why Hume and Quine deny that human beings initially perceive either such associative elements or associations in general. Concomitantly, it is made clear why Hume's and Quine's respective epistemologies preclude human beings from initially apprehending not only general knowledge, but particular relational knowledge as well. But this is not to say that Hume and Quine do not think we can eventually acquire such associative elements and correspondingly, knowledge. Rather, Hume and Quine do provide an account of knowledge, but one that holds all relational and connective elements to be constructed by the human mind. In Hume's case, they are constructed by the imagination. In Quine's case, we are never told quite how this construction occurs, although the evidence suggests that Quine implicitly relies on a faculty similar to Hume's imagination. ;In the final chapter of this thesis, it is argued that both Hume and Quine must be read as philosophers who justify knowledge by reducing its possibility to a psychological faculty of construction, as well as to a few concepts of intuitively grasped relations. By way of conclusion, it is shown that this makes Quine's naturalism the psychological heir to Carnap's Aufbau. (shrink)

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but accessible (...) to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

Objective :This research aims at the constructing a basic perspective on critical thinking in line with Islamic principles with a brief explanation of such principles. Methodology :This study uses exegetical methods, by studying the relevant parts of the religious texts and systemizing the information in a critical way. Research findings: The research demonstrates that the principles for constructing an Islamic critical thinking perspective are found in the primary sources of Islam. The knowledge (العلم ;al-'ilm) makes the core of Islamic (...) critical thinking, and means of such knowledge are the revelation (الوحي; al-wahy), the use of senses (احلواس ;al-hawas), intellect (reason and heart, القلب و العقل ;al-aql wa al-qalb), historical experience or testimony (اوالشهادة السياحة ;al-siyahah aw al-shidah), and meditating on the natural and physical world (الكون ;al-kaun). There are other means such as prophetic dreams (الصادقة الرؤاي ;al-ruya al-sadiqah), insight (الفراسة ;al-firasah), illumination ( املكاشفة; al-mukashafah), and inspiration ( االهلام; al-ilham), though they are dismissed to account for any scholarly opinion or position and thus they remain non-binding according to Shariah. However, they can be a gift of a genius mind that is extraordinarily critical, helping such minds in understanding and creativity. Critical thinking includes using many human faculties and the Quran frequently emphasizes contemplation التفكر ;al-tafakur), reflection (التدبر ;at-tadabbur), understanding التفقه; at-tafaqquh), and reasoning (التعقل ;at-taakul); and these concepts are the foundations of critical thinking which could be developed and elaborated in many ways. Applications: The need of having an Islamic construction of critical thinking is because of the special worldview of Islam and its conception of knowledge which treats revelation (الوحي ;al-wahy) as the primary source of belief and knowledge. The findings of the study can be useful in fashioning a basic curriculum for critical thinking for Islamic educational institutions. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free (...) topology) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

Despite the efforts undertaken to separate scientific reasoning and metaphysical considerations, despite the rigor of construction of mathematics, these are not, in their very foundations, independent of the modalities, of the laws of representation of the world. The OdC shows that the logical Facts Exist neither more nor less than the Facts of the world which are Facts of Knowledge. Mathematical facts are representation facts. The primary objective of this article is to integrate the subject into mathematics as (...) a mode of emergence of meaning and then to evaluate its consequences. (shrink)

By using the general investigation framework offered by the cognitive science of religion (CSR), I analyse religion as a necessary condition for the evolutionary path of knowledge. The main argument is the "paradox of the birth of knowledge": in order to get to the meaning of the part, a sense context is needed; but a sense of the whole presupposes the sense (meaning) of the parts. Religion proposes solutions to escape this paradox, based on the imagination of sense (...) (meaning) contexts, respectively closures of these contexts through meta-senses. What is important is the practical effectiveness of solutions proposed by religion, taking into account the costs of faith and the costs of the absence of religious belief. The hypothesis has the following consequences: religion is a necessary condition for the initial evolution of knowledge and the emergence of religion is determined by the evolution of knowledge. The continuation of the solving of paradox is a Bayesian one, using explorations: a sense of the whole allows cognitive arrangements of the parties, which in turn open the possibility of a rearrangement of the whole. The contribution of religion to the emergence of sense (meaning) could be governed by the rule: any map of the world is more useful than no map; any meaning (of life) is better than no meaning. The human mind fills the perceptual and cognitive gaps, some (religious) filling solutions being true vault keys of the entire cognitive construction called the world. Knowledge is conditioned by the existence of an organized context, as the cosmos created by religion by means of explanatory meta-theories supports knowledge by closing the cognitive context and using meaning networks. The proposed analysis is consistent with a redefinition of rationality from the perspective of evolution: the importance and relevance of knowledge is determined by its practical outcome - survival. In the context of useful fictions, it does not matter what God actually does, but what we have done by believing in God. Existence has provided a pragmatic verification of the cognitive solutions that underlie the survival strategies promoted by religions. (shrink)

The paper re-expresses arguments against the normative validity of expected utility theory in Robin Pope (1983, 1991a, 1991b, 1985, 1995, 2000, 2001, 2005, 2006, 2007). These concern the neglect of the evolving stages of knowledge ahead (stages of what the future will bring). Such evolution is fundamental to an experience of risk, yet not consistently incorporated even in axiomatised temporal versions of expected utility. Its neglect entails a disregard of emotional and financial effects on well-being before a particular risk (...) is resolved. These arguments are complemented with an analysis of the essential uniqueness property in the context of temporal and atemporal expected utility theory and a proof of the absence of a limit property natural in an axiomatised approach to temporal expected utility theory. Problems of the time structure of risk are investigated in a simple temporal framework restricted to a subclass of temporal lotteries in the sense of David Kreps and Evan Porteus (1978). This subclass is narrow but wide enough to discuss basic issues. It will be shown that there are serious objections against the modification of expected utility theory axiomatised by Kreps and Porteus (1978, 1979). By contrast the umbrella theory proffered by Pope that she has now termed SKAT, the Stages of Knowledge Ahead Theory, offers an epistemically consistent framework within which to construct particular models to deal with particular decision situations. A model by Caplin and Leahy (2001) will also be discussed and contrasted with the modelling within SKAT (Pope, Leopold and Leitner 2007). (shrink)

The book "Theory of Forms: The Construction of Plato and Aristotle’s Criticism" focuses on two main aspects, construction and criticism. The constriction of Forms theory is the basis on which Plato built all of his philosophy and which influenced all forms of ideas philosophy that emerged after Plato. The research topic was completed by adding Aristotle's critique of the theory of Forms in order to put a clear picture in front of the reader, which was presented by Plato (...) himself and Aristotle's criticism of this theory. -/- Therefore, the book consists four chapters, the first chapter covers the following topics; The philosophical roots of Plato's theory of Forms, The numbers in the Pythagorean school, The Heraclitus' idea of change, Anaxagoras’ idea of Mind, Sophists. Chapter two, Plato's theory of Forms. Definitions of the Forms. The importance of the Forms, The existential and logical significance, Evidence of Forms, Evidence that knowledge is remembering. Chapter Three, Forms and Levels of Knowledge, Dialectic ,Inferential knowledge, Mental knowledge The fourth chapter, The nature of the Forms existence and its being Causes. Forms as numbers and their relationship to movement. The problem of Participation. The final Evaluation of Forms. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions (...) related to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

My analysis takes as its point of departure the controversial assumption that contemporary ethical theories cannot capture adequately the ethical and social challenges of scientific and technological development. This assumption is rooted in the argument that classical ethical theory invariably addresses the issue of ethical responsibility in terms of whether and how intentional actions of individuals can be justified. Scientific and technological developments, however, have produced unintentional consequences and side-consequences. These consequences very often result from collective decisions concerning the way (...) we wish to organise our economies and society, rather than from individual actions. It has been apparent for a long time now that it is not sufficient to construct an ethics of science and technology on the basis of the image of a scientist who intentionally wants to create a Frankenstein. Thus, as a minimum we would require an ethical framework that addresses both the aspect of unintentional side consequences (rather than intentional actions) and the aspect of collective decisions (rather than individual decisions) with regard to complex societal systems, such as the operation of our economy. We do not have such a theory available. More disturbing than the principle shortcomings of ethical theory are the shortcomings of conventional ethical practice with respect to technological developments. Below I will suggest how four different developments can illustrate these shortcomings, which centre around the fact that individuals in our society can simply not be held fully accountable for their individual role within the context of scientific technological developments. I will call these shortcomings of a theory (and practice) of individual role responsibility. This may help us to reflect on robotics too, insofar as robots may be perceived as replacements for “roles”. From there, I will argue why we have to shift our attention to an ethics of knowledge assessment in the framework of deliberative procedures. (shrink)

Research has shown that the construction of visual representations may have a positive effect on cognitive skills, including argumentation. In this paper we present a study on learning argumentation through computer-supported argument diagramming. We specifically focus on whether students, when provided with an argument-diagramming tool, create better diagrams, are more motivated, and learn more when working with other students or on their own. We use learning analytics to evaluate a variety of student activities: pre and post questionnaires to explore (...) motivational changes; the argument diagrams created by students to evaluate richness, complexity and completion; and pre and post knowledge tests to evaluate learning gains. (shrink)

Open peer commentary on the article “Ethics: A Radical-constructivist Approach” by Andreas Quale. Upshot: The first of my two main goals in this commentary is to establish thinking of ethics as concepts rather than as non-cognitive knowledge. The second is to argue that establishing models of individuals’ ethical concepts is a scientific enterprise that is quite similar to establishing models of individuals’ mathematical concepts. To accomplish these two primary goals, I draw from my experience of working scientifically with von (...) Glasersfeld for 25 years while he was developing radical constructivism as a coherent model of knowing, and appeal to several of his basic insights to establish constructing models of ethical concepts as a scientific enterprise. (shrink)

Numbers are concepts whose content, structure, and organization are influenced by the material forms used to represent and manipulate them. Indeed, as argued here, it is the inclusion of multiple forms (distributed objects, fingers, single- and two-dimensional forms like pebbles and abaci, and written notations) that is the mechanism of numerical elaboration. Further, variety in employed forms explains at least part of the synchronic and diachronic variability that exists between and within cultural number systems. Material forms also impart characteristics like (...) linearity that may persist in the form of knowledge and behaviors, ultimately yielding numerical concepts that are irreducible to and functionally independent of any particular form. Material devices used to represent and manipulate numbers also interact with language in ways that reinforce or contrast different aspects of numerical cognition. Not only does this interaction potentially explain some of the unique aspects of numerical language, it suggests that the two are complementary but ultimately distinct means of accessing numerical intuitions and insights. The potential inclusion of materiality in contemporary research in numerical cognition is advocated, both for its explanatory power, as well as its influence on psychological, behavioral, and linguistic aspects of numerical cognition. (shrink)

The present crisis of foundations in Fundamental Science is manifested as a comprehensive conceptual crisis, crisis of understanding, crisis of interpretation and representation, crisis of methodology, loss of certainty. Fundamental Science "rested" on the understanding of matter, space, nature of the "laws of nature", fundamental constants, number, time, information, consciousness. The question "What is fundametal?" pushes the mind to other questions → Is Fundamental Science fundamental? → What is the most fundamental in the Universum?.. Physics, do not be afraid of (...) Metaphysics! Levels of fundamentality. The problem №1 of Fundamental Science is the ontological justification (basification) of mathematics. To understand is to "grasp" Structure ("La Structure mère"). Key ontological ideas for emerging from the crisis of understanding: total unification of matter across all levels of the Universum, one ontological superaxiom, one ontological superprinciple. The ontological construction method of the knowledge basis (framework, carcass, foundation). The triune (absolute, ontological) space of eternal generation of new structures and meanings. Super concept of the scientific world picture of the Information era - Ontological (structural, cosmic) memory as "soul of matter", measure of the Universum being as the holistic generating process. The result of the ontological construction of the knowledge basis: primordial (absolute) generating structure is the most fundamental in the Universum. (shrink)

A collective understanding that traces a debate between ‘what is science?’ and ‘what is a science about?’ has an extraction to the notion of scientific knowledge. The debate undertakes the pursuit of science that hardly extravagance the dogma of pseudo-science. Scientific conjectures invoke science as an intellectual activity poured by experiences and repetition of the objects that look independent of any idealist views (believes in the consensus of mind-dependence reality). The realistic machinery employs in an empiricist exposition of the (...) objective phenomenon by synchronizing the general method to make observational predictions that cover all the phenomena of the particular entity without any exception. The formation of science encloses several epistemological purviews and a succession of conjectures cum refutation that a newer theorem could reinstate. My attempt is to advocate a holistic plea of scientific conjectures that outruns the restricted regulation of experience or testable hypothesis to render the validity of a chain of logical reasoning (deductive or inductive) of basic scientific statements. The milieu of scientific intensification integrates speculation that loads efficiency towards a new experimental dimension where the reality is not itself objective or observers relative; in fact the observed phenomenon divulges in the constructive progression of preferred methods of falsifiability and uncertainty. (shrink)

This paper looks at the question of what it means for a psychological test to have construct validity. I approach this topic by way of an analysis of recent debates about the measurement of implicit social cognition. After showing that there is little theoretical agreement about implicit social cognition, and that the predictive validity of implicit tests appears to be low, I turn to a debate about their construct validity. I show that there are two questions at stake: First, what (...) level of detail and precision does a construct have to possess such that a test can in principle be valid relative to it? And second, what kind of evidence needs to be in place such that a test can be regarded as validated relative to a given construct? I argue that construct validity is not an all-or-nothing affair. It can come in degrees, because both our constructs and our knowledge of the explanatory relation between constructs and data can vary in accuracy and level of detail, and a test can fail to measure all of the features associated with a construct. I conclude by arguing in favor of greater philosophical attention to processes of construct development. (shrink)

The opinion defended in this paper is that the interrelationships between the phenomena of data and information can provide a strong basis for analyzing knowledge as a quantified and qualified construction. As other models (e.g., Augusto’s General Theory of Knowledge) suggest, it is important to distinguish knowledge from both data and information in the complicated trio composed of data, information, and knowledge (DIK). However, data and information can be combined into informative data. Taking into account (...) quantified and qualified informative data, I speak here of quantified and qualified knowledge structures. (shrink)

We advance the understanding of the philosophy and psychology of curiosity by operationalizing and constructing an empirical measure of Nietzsche’s conception of inquisitive curiosity, expressed by the German term Wissbegier, (“thirst for knowledge” or “need/impetus to know”) and Neugier (“curiosity” or “inquisitiveness”). First, we show that existing empirical measures of curiosity do not tap the construct of inquisitive curiosity, though they may tap related constructs such as idle curiosity and phenomenological curiosity. Next, we map the concept of inquisitive curiosity (...) and connect it to related concepts, such as open-mindedness and intellectual humility. The bulk of the paper reports four studies: an Anglophone exploratory factor analysis, an Anglophone confirmatory factor analysis, an informant study, and a Germanophone exploratory and confirmatory factor analysis. (shrink)

The problem addressed in this article is the relationship between law and morality. It is asked (1) to what extent law and morality are connected and separated and (2) since when has it been so. To the extent that law and morality are distinct normative orders, it is asked (3) whether they rule exactly the same behaviors or whether each order rules dierent kinds of behaviors. If they rule at least some of the same behaviors, it is asked (4) whether (...) there can be antinomies (contradictions) between them. If there are an- tinomies, it is asked (5) whether the antinomies are only apparent (prima facie) and are therefore mistakes of human reason, or are definite and real. If the antinomies are apparent or real, it is asked (6) whether law or morality prevails (or should prevail) in the case of an antinomy. If one of these prevails, it is asked (7) whether this is always so, or whether law sometimes prevails (and should prevail) over morality and vice versa. In the case of existing coherence or at least solvable antinomies between law and morality, it is asked (8) whether the consequent achieved unity of practical reason is a specifically moral unity and whether it is a matter of cognition, of institutionalization, of individual or collective construction, or of consensus. (shrink)

O objetivo deste artigo é apontar cinco aspectos do pensamento nietzschiano que podem ser relevantes para os debates da filosofia da ciência em torno da natureza e representação do conhecimento científico. Para tanto, é realizada uma revisão de literatura com o objetivo de selecionar trechos de obras nietzschianas como O nascimento da tragédia, Genealogia da moral, A gaia ciência e outras que permitam interpretar Nietzsche como um filósofo da ciência preocupado com a construção do conhecimento cientifico sobre a realidade física. (...) Como resultado é possível identificar uma proposta epistemológica na perspectiva nietzschiana, cuja representação objetiva do mundo deve apontar para uma estética da vida. -/- The purpose of this article is to point out five aspects of Nietzschean thought that may be relevant to debates in the philosophy of science around the nature and representation of scientific knowledge. To this end, a literature review is carried out with the aim of selecting excerpts from Nietzschean works such as The Birth of Tragedy, Genealogy of Morals, The Gay Science and others that allow us to interpret Nietzsche as a philosopher of science concerned with the construction of scientific knowledge about the physical reality. As a result, it is possible to identify an epistemological proposal in the Nietzschean perspective, whose objective representation of the world should point to an aesthetics of life. (shrink)

The ‘community of inquiry’ as formulated by CS Peirce is grounded in the notion of communities of disciplinary-based inquiry engaged in the construction of knowledge. The phrase ‘converting the classroom into a community of inquiry’ is commonly understood as a pedagogical activity with a philosophical focus to guide classroom discussion. But it has a broader application, to transform the classroom into a community of inquiry. The literature is not clear on what this means for reconstructing education and how (...) it translates into schooling practices. Integral to the method of the community of inquiry is the ability of the classroom teacher to actively engage in the theories and practices of discipline-based communities of inquiry so as to become informed by the norms of the disciplines, not only to aspire to competence within the disciplines, but to develop habits of self-correction for reconstructing those same norms when faced with novel problems and solutions, including those in the classroom. (shrink)

This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and (...) logically analyse conception expressions based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

This paper argues that, by construing emotion as epistemologically subversive, the Western tradition has tended to obscure the vital role of emotion in the construction of knowledge. The paper begins with an account of emotion that stresses its active, voluntary, and socially constructed aspects, and indicates how emotion is involved in evaluation and observation. It then moves on to show how the myth of dispassionate investigation has functioned historically to undermine the epistemic authority of women as well as (...) other social groups associated culturally with emotion. Finally, the paper sketches some ways in which the emotions of underclass groups, especially women, may contribute to the development of a critical social theory. (shrink)

Pragmatic encroachment theories of knowledge may be characterized as views according to which practical factors may partly determine the truth-value of ascriptions that S knows that p – even though these factors do not partly determine S’s belief that p or p itself. The pros and cons of variations of pragmatic encroachment are widely discussed in epistemology. But despite a long pragmatist tradition in the philosophy of science, few efforts have been devoted to relate this particular view to issues (...) in philosophy of science. Consequently, a central aim of the present paper is to consider how the contemporary debates over pragmatic encroachment connect to philosophy of science. More specifically, I will set forth some arguments against the idea of pragmatic encroachment on scientific knowledge. Moreover, I will argue that it is not plausible to respond to these arguments by embedding pragmatic encroachment in the anti-realist framework of constructive empiricism. So, I conclude that there are good reasons to reject pragmatic encroachment theories of scientific knowledge. (shrink)

Gettier cases are used to show that having a justified true belief is not sufficient for knowledge. They are cases in which an epistemic agent has a belief that is both justified and true, but intuitively cannot be taken to count as knowledge. Modal epistemology is the field of philosophy that tackles questions regarding the sources of our knowledge of modalities (possibility and necessity) and what offers justification for beliefs about what is possible or necessary. Part of (...) the tradition in modal epistemology is to consider conceivability as a guide to metaphysical possibility. As such, if an agent can conceive that P, then the agent is justified to believe that P is metaphysically possible. In this paper I will discuss the possibility of constructing Gettier cases for a tripartite, conceivability-based, definition of modal knowledge. (shrink)

From the Scientific Revolution to the present era, the natural sciences have developed remarkably and recorded colossal success in different areas such as genetic engineering, cloning, hybrid technology, health and food technologies, space travel, audio-visual technology, among others. These evidences are indications of the growth of scientific knowledge. Accordingly, this paper raises the question of what is responsible for the growth of scientific knowledge. Inherent in this question is the pool of diverse conceptions of what the nature and (...) method of science is. Consequently, some significant contours in the construct of the problem of demarcation will be imported into this discourse as a means of assembling some pivotal conceptions of the growth of scientific knowledge. With this, the paper aims to consider Karl Popper’s fundamental conception of the growth of scientific knowledge and its associated criticisms, and from it, attempt to respond to the question of what is responsible for the growth of scientific knowledge. This will help to eliminate the confusion and complications surrounding the growth of scientific knowledge. (shrink)

Standard Analytic Epistemology typically relies on conceptual analysis of folk epistemic terms such as ‘knowledge’ or ‘justification’. A cross-cultural and cross-linguistic perspective on this method leads to the worry that there might not be universally shared epistemic concepts, and that different languages might use folk notions that have different extensions. Moreover, there is no reason to believe that our epistemic common-sense terms pick out what is epistemically most significant or valuable. In my paper, I take these issues as a (...) starting point for exploring the prospects of an alternative methodological approach that I call ‘alethic instrumentalism’. The core idea behind this approach is to start with a properly designed epistemic goal and then to develop a framework of instrumentally valuable methods oriented towards this goal. This results in a somewhat revisionary framework of newly constructed core epistemic terms. In the paper, I elucidate the foundations of this new framework and address a number of methodological and content-related objections to the approach. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a priori. (...) Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

Hope, in its propositional construction "I hope that p," is compatible with a stated chance for the speaker that not-p. On fallibilist construals of knowledge, knowledge is compatible with a chance of being wrong, such that one can know that p even though there is an epistemic chance for one that not-p. But self-ascriptions of propositional hope that p seem to be incompatible, in some sense, with self-ascriptions of knowing whether p. Data from conjoining hope self-ascription with (...) outright assertions, with first- and third-person knowledge ascriptions, and with factive predicates suggest a problem: when combined with a plausible principle on the rationality of hope, they suggest that fallibilism is false. By contrast, the infallibilist about knowledge can straightforwardly explain why knowledge would be incompatible with hope, and can offer a simple and unified explanation of all the linguistic data introduced here. This suggests that fallibilists bear an explanatory burden which has been hitherto overlooked. (shrink)

In this paper, I defend the thesis that knowledge is the norm of assertion. I first examine three prominent “counterexamples”: false assertion, selfless assertion, and assertion based on mere justified true belief. I argue that they all fail to square well with our ordinary intuitions. However, the contemporary debate over the norm of assertion depends heavily on the method of counterexamples, whose crux is to prompt our intuitions regarding the appropriateness (or inappropriateness) of a certain kind of assertions. This (...) method has its limits as sometimes the debate simply boils down to a clash of intuitions. I think we can do better. In the second part of the paper, I construct a positive argument for the knowledge norm, showing that the knowledge norm can be derived from the general account of the conversational role of assertion. I argue that in order for assertion to play the role it plays in conversation, the knowledge norm must hold. (shrink)

Paper type: Conceptual perspective. Background(s): Physics, biology, epistemology Perspectives: Theory of autopoietic systems, Popperian evolutionary epistemology and the biology of cognition. Context: This paper is a contribution to developing the theories of hierarchically complex living systems and the natures of knowledge in such systems. Problem: Dissonance between the literatures of knowledge management and organization theory and my observations of the living organization led to consideration of foundation questions: What does it mean to be alive? What is knowledge? (...) How are life and knowledge related? Method: The approach is synthetic and multidisciplinary. The concept of autopoiesis (as defined by Maturana) as a definition for life, and knowledge as a product of autopoiesis are developed from first principles regarding the behavior of dynamical systems in time. Results: Autopoiesis and the construction of knowledge are inseparable aspects of physical phenomena scalable to many levels of organization (e.g., cells, multicellular organisms, organizations, social systems, etc.). The result unifies theories of epistemology, physical dynamics, life, biological evolution, knowledge and social systems. Implications: Results highlight the importance to understand autopoiesis as first defined by Maturana and Varela – as a complex physical phenomenon persisting over time. Autopoietic “self-observation” is not paradoxical. As dynamic physical processes, any internal/external activities relating to “observations” are displaced in time. The worlds living systems act on are not those observed. “Circularly closed” systems are actually open spirals along the axis of time. (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced (...) in Sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

There has been a particular emphasis on knowledge and competence as increasingly important resources for successful enterprises. This notion of knowledge is based on “positive knowledge” that knowing is merely a constructive, linear and accumulative process. We will introduce the notion of “negative knowledge” that involves “giving up” or “bracketing” knowledge in certain situations. When experts encounter something that is incompatible with their knowledge, they should be sensitive enough to recognise a new situation by (...) suspending their action. In addition to exploring the idea of “unlearning”, the paper introduces three other aspects of negative knowledge: “to know what we do not know”, “to know what not to do” and the value of failures. Negative knowledge seems to be possible, useful, and even necessary in expert organisations since old ways of thinking or knowing something often prevent us to see new potentials. (shrink)

How should we account for the contextual variability of knowledge claims? Many philosophers favour an invariantist account on which such contextual variability is due entirely to pragmatic factors, leaving no interesting context-sensitivity in the semantic meaning of ‘know that.’ I reject this invariantist division of labor by arguing that pragmatic invariantists have no principled account of embedded occurrences of ‘S knows/doesn’t know that p’: Occurrences embedded within larger linguistic constructions such as conditional sentences, attitude verbs, expressions of probability, comparatives, (...) and many others, I argue, give rise to a threefold problem of embedded implicatures. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea (...) is that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic (...) computational model of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

The engineering knowledge research program is part of the larger effort to articulate a philosophy of engineering and an engineering worldview. Engineering knowledge requires a more comprehensive conceptual framework than scientific knowledge. Engineering is not ‘merely’ applied science. Kuhn and Popper established the limits of scientific knowledge. In parallel, the embrace of complementarity and uncertainty in the new physics undermined the scientific concept of observer-independent knowledge. The paradigm shift from the scientific framework to the broader (...) participant engineering framework entails a problem shift. The detached scientific spectator seeks the ‘facts’ of ‘objective’ reality – out there. The participant, embodied in reality, seeks ‘methods’, about how to work in the world. The engineering knowledge research program is recursively enabling. Advances in engineering knowledge are involved in the unfolding of the nature of reality. Newly understood, quantum uncertainty entails that the participant is a natural inquirer. ‘Practical reason’ is concerned with ‘how we should live’– the defining question of morality. The engineering knowledge research program is selective seeking ‘important truths’, ‘important knowledge’, ‘important methods’ that manifest value, and serve the engineering agenda of ‘the construction of the good.’ The importance of engineering knowledge research program is clear in the new STEM curriculum where educators have been challenged to rethink the relation between science and engineering. A 2015 higher education initiative to integrate engineering colleges into liberal arts and sciences colleges has stalled due to the confusion and conflict between the engineering and scientific representations of knowledge. (shrink)

This paper examines the issue of what the self is by reviewing neuropsychological research,which converges on the idea that the self may be more complex and differentiated than previous treatments of the topic have suggested. Although some aspects of self-knowledge such as episodic recollection may be compromised in individuals, other aspects—for instance, semantic trait summaries—appear largely intact. Taken together, these findings support the idea that the self is not a single, unified entity. Rather, it is a set of interrelated, (...) functionally independent systems. Implications for understanding the self in various areas of psychological research—e.g., neuroimaging, autism, amnesia, Alzheimer’s disease, and mirror self-recognition—are discussed in brief. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

This collection of essays is the product of a conference on Aristotle’s Posterior Analytics (Apo) held at the University of North Carolina at Chapel Hill in 2009. The essays address three main questions: (1) “How does the APo model of scientific knowledge, focused as it is on the construction of syllogisms, relate to the scientific accounts Aristotle presents elsewhere, especially in the biological treatises?’ (2) ‘How do the arguments and views presented in the APo relate to other aspects (...) of Aristotle’s philosophy?’ and (3) ‘How do the remarks in the concluding chapter of the APo concerning perception, memory, experience, and the grasp of the universal add up to an explanation of how we come to know first principles?’ The papers by J.G. Lennox, M. Leunissen and R. McKirahan address the first two questions, while those by M. Tuominen and G. Salmieri discuss the well-known passage in Apo II 19. (shrink)

Constructivism is frequently met with objections, criticism and often equated with nihilism or relativism. Sometimes even blamed for what some would randomly picture as unwanted side effects of radicalism or of a progressivist era: such misconceptions are not only due to an imprecise grasp of the premises shared by the constructivist family of systems. The structure of media, political systems, and economic models, still up today impel societal understandings of knowledge on neo-positivistic grounds. The first part of this essay (...) outlines such pressures while sketching how language and worldviews play critical roles in our knowledge construction. Focusing on recent mediatic events, this work advances displaying some essential limits regarding the construction of human knowledge. Though unavoidable, some of the distinguishing aspects regarding the nature of our narratives are then critically reviewed. Later, it is shown how a special kind of self-denial that certain sub-stories implicitly hold about their own narrative nature leaves us with clashing worldviews that eventually collide onto crisis. Finally, it’ll be argued that it’s precisely in this scenario where a constructivist depiction of social discourses may move us away from any adolescent intent of elucidating absolutes within mere heuristics, to the pragmatic need of arriving on satisfactory agreements between parties (DOI: 10.4236/ojpp.2022). (shrink)

A condensed summary of the adventures of ideas (1990-2020). Methodology of evolutionary-phenomenological constitution of Consciousness. Vector (BeVector) of Consciousness. Consciousness is a qualitative vector quantity. Vector of Consciousness as a synthesizing category, eidos-prototecton, intentional meta-observer. The development of the ideas of Pierre Teilhard de Chardin, Brentano, Husserl, Bergson, Florensky, Losev, Mamardashvili, Nalimov. Dialectic of Eidos and Logos. "Curve line" of the Consciousness Vector from space and time. The lower and upper sides of the "abyss of being". The existential tension of (...) being. Five reference “points” (existential-extremum) - world events in the evolution of Consciousness from “homo habilis” to “homo sapiens sapiens”. “Prometheus Effect". Inversion and reversion of Сonsciousness. "Open" and "closed" Сonsciousness. Consciousness and Self-Consciousness. Protogeometer: fall in the future, in the "EgoLand". The problem of justification/substantiation of mathematics (knowledge) is an ontological problem. The crisis of ontology and ontological limits of cognition. Ontological structure of space. The project of constructive dialectic ontology. The methodology of dialectical-ontological construction (modeling): conceptual-figure synthesis, total unification of matter, coincidence of ontological opposites, primordial Meta-Axioma and Superprinciple, vector (bivector) of the absolute state (states) of matter (absolute forms of existence). The ontological "celestial triangle" (Plato). Ontological invariants of the Universum and their ontological paths. Ontological and gnoseological dimensions of space. Triune (ontological) space of nine gnoseological dimensions: absolute rest (linear state, "Continuum")+ absolute motion (absolute vortex, "Discretuum") + absolute becoming (absolute wave, "Dis-Continuum"). Primordial generating structure: ontological framework, ontological carcass and ontological foundation. Ontological (structural, cosmic) memory - the semantic core of the conceptual construction of the Universum being as an eternal process of generation of new meanings and structures. Consciousness is an absolute (unconditional) attractor of meanings, a univalent phenomenon of ontological memory, which manifests itself at a certain level of the Universum being. Ontological space-MatterMemory-Ontological time (S-MM-T). Ontological Rhythm and Cycle. The nature and structure of ontological time. Natural (absolute) determinism. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of (...) knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

Philosophical investigation in synthetic biology has focused on the knowledge-seeking questions pursued, the kind of engineering techniques used, and on the ethical impact of the products produced. However, little work has been done to investigate the processes by which these epistemological, metaphysical, and ethical forms of inquiry arise in the course of synthetic biology research. An attempt at this work relying on a particular area of synthetic biology will be the aim of this chapter. I focus on the reengineering (...) of metabolic pathways through the manipulation and construction of small DNA-based devices and systems synthetic biology. Rather than focusing on the engineered products or ethical principles that result, I will investigate the processes by which these arise. As such, the attention will be directed to the activities of practitioners, their manipulation of tools, and the use they make of techniques to construct new metabolic devices. Using a science-in-practice approach, I investigate problems at the intersection of science, philosophy of science, and sociology of science. I consider how practitioners within this area of synthetic biology reconfigure biological understanding and ethical categories through active modelling and manipulation of known functional parts, biological pathways for use in the design of microbial machines to solve problems in medicine, technology, and the environment. We might describe this kind of problem-solving as relying on what Helen Longino referred to as “social cognition” or the type of scientific work done within what Hasok Chang calls “systems of practice”. My aim in this chapter will be to investigate the relationship that holds between systems of practice within metabolic engineering research and social cognition. I will attempt to show how knowledge and normative valuation are generated from this particular network of practitioners. In doing so, I suggest that the social nature of scientific inquiry is ineliminable to both knowledge acquisition and ethical evaluations. (shrink)

This chapter examines Bertrand Russell's developing views--roughly from 1911 to 1918--on the nature of introspective knowledge and subjects' most basic knowledge of themselves as themselves. It argues that Russell's theory of introspection distinguishes between direct awareness of individual psychological objects and features, the presentation of psychological complexes involving those objects and features, and introspective judgments which aim to correspond with them. It also explores his transition from believing that subjects enjoy introspective self-acquaintance, to believing that they only know (...) themselves by self-description, and eventually to believing that self-knowledge is a logical construction. It concludes by sketching how Russell's views about introspection and self-knowledge change as a result of his adoption of neutral monism. Along the way, it sheds additional light on his acquaintance-based theory of knowledge, preference for logical constructions over inferred entities, and gradual progression towards neutral monism. (shrink)

The contribution deals with knowledge of what to do, and how, where, when and why to do it, as it is found in a multitude of plans, rules, procedures, maxims, and other instructions. It is argued that while this knowledge is conceptual and propositional, it is still irreducible to theoretical knowledge of what is the case and why it is the case. It is knowledge of goals, of ends and means, rather than of facts. It is (...) knowledge-to that is irreducibly practical in having world to mind direction of fit and the essential function of guiding as yet uncompleted action. While practical knowledge is fundamentally different from theoretical knowledge in terms of mind-world relations, the practical and theoretical domains are still parallel in terms of justificatory and inferential relations, they are like mirror images of one another. It is shown that if this view of practical knowledge is accepted, convincing Gettier cases for practical knowledge can be constructed. An extensive analysis of these cases demonstrates the usefulness of the notions of practical deduction, abduction, and induction. (shrink)

What did Descartes regard as subject to doubt, and what was beyond doubt, in the Meditations? A review of the Objections and Descartes' reactions in the Replies provides some useful clarification, but viewing Descartes' method of doubt in conjunction with his professed theory of knowledge in the Rules for the Direction of the Mind further elucidates his own understanding of the project. In the Rules, Descartes introduces the mind's intuition of "simple natures" as the atomistic basis of all (...) class='Hi'>knowledge, its form as well as its content. The simple natures, Descartes claims, can only be understood thoroughly, and I argue that Descartes' doubt in the  Meditations appears not to include doubt of simple natures. A related attempt to link the earlier work to the Meditations by Peter Schouls is considered and criticized; I suggest as an alternative that there are three classes of objects pertaining to the construction of knowledge in the Meditations: a) first principles and concepts that are constituents of other knowledge, intuited and not doubted, nor called 'knowledge' by Descartes; b) what Descartes calls clearly and distinctly perceived knowledge that survives doubt, known through a kind of intuition; and c) science, as remembered collections of clearly and distinctly perceived knowledge. Finally, because the two works do have important dissimilarities, I also consider how differences between the Rules and the Meditations might affect the applicability of the simple natures to the arguments of the Meditations, especially in the light of clues found in the intellectual autobiography of the Discourse on Method. (shrink)