K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although (...) their properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Recognizing that truth is socially constructed or that knowledge and power are related is hardly a novelty in the social sciences. In the twenty-first century, however, there appears to be a renewed concern regarding people’s relationship with the truth and the propensity for certain actors to undermine it. Organizations are highly implicated in this, given their central roles in knowledge management and production and their attempts to learn, although the entanglement of these epistemological issues with business ethics has (...) not been engaged as explicitly as it might be. Drawing on work from a virtue epistemology perspective, this paper outlines the idea of a set of epistemic vices permeating organizations, along with examples of unethical epistemic conduct by organizational actors. While existing organizational research has examined various epistemic virtues that make people and organizations effective and responsible epistemic agents, much less is known about the epistemic vices that make them ineffective and irresponsible ones. Accordingly, this paper introduces vice epistemology, a nascent but growing subfield of virtue epistemology which, to the best of our knowledge, has yet to be explicitly developed in terms of business ethics. The paper concludes by outlining a business ethics research agenda on epistemic vice, with implications for responding to epistemic vices and their illegitimacy in practice. (shrink)

The incorporation of post-event testimonial information into an agent’s memory representation of the event via constructive memory processes gives rise to the misinformation effect, in which the incorporation of inaccurate testimonial information results in the formation of a false memory belief. While psychological research has focussed primarily on the incorporation of inaccurate information, the incorporation of accurate information raises a particularly interesting epistemological question: do the resulting memory beliefs qualify as knowledge? It is intuitively plausible that they do not, (...) for they appear to be only luckily true. I argue, however, that, despite its intuitive plausibility, this view is mistaken: once we adopt an adequate (modal) conception of epistemic luck and an adequate (adaptive) general approach to memory, it becomes clear that memory beliefs resulting from the incorporation of accurate testimonial information are not in general luckily true. I conclude by sketching some implications of this argument for the psychology of memory, suggesting that the misinformation effect would better be investigated in the context of a broader “information effect”. (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)

Starting from two propositions, 1. The observer is part of reality and 2. Observers are independent of each other, we develop an approach to Hume’s problem of scepticism. We show that despite all knowledge coming through subjective perceptions we can nevertheless construct objective or transitive knowledge through relationships between entities, rather than the entities themselves. We posited that some phenomena of the real world are transitive and some are not. Transitive phenomena are transferable between observers without change and (...) are thus independent of observation. Transitive phenomena are relative quantities. Relative quantities are observational invariants and form the building blocks of our objective world. We show objective knowledge is developed from relative quantities whereas subjective knowledge is rooted in absolute quantities. The recognition that transitive quantities are invariants of observation gives them an independence from which we can construct an objective world. (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)

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)

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)

Constructive realism (CR) is an attempt to overcome the difficulties associated with naïve realism and radical constructivism. There are different versions for CR. In this paper, I defend a particular version of CR. Complexity of reality, on the one hand, and the impact of human mind, language, and culture, on the other, leads to the inevitable contribution of constructs in knowledge development. According to the CR, even if mental, linguistic and cultural side of constructs could not be avoided in (...) principle, a certain proportion of reality-contact can be considered and defended for the constructs. In this sense, human mind and culture has a constitutive role to play in knowledge acquiring instead of being an innocent means in the process of acquiring knowledge. On the other hand, the role played by the reality in this process cannot be ignored because, according to the CR, knowledge consists after all of knowing 'something' in the real world. On the whole, taking into account both the constitutive role of mind and culture, on the one hand, and the inevitable role of the reality, on the other, shows the difference between the CR and pure realism, pure constructivism, and those versions of CR that do not take the constitutive role of mind into account. There are requirements for the CR in science education. First of all, there must be a constant caution for making sure that our scientific theories have caught the proportion of reality-contact. This point shows the difference between the CR and pure constructivism. This caution should be present in our science teaching as well. Secondly, we should encourage our students to develop imaginative alternative constructs when they are learning sciences. This shows the difference between the CR with naïve realists who ignore the importance of students' imaginations in suggesting alternative constructs. Notwithstanding, while we encourage the students to develop their imaginative constructs, there should be considered a limitation for their over-justification about their constructs. In this way, we as teachers should urge them to take counter-evidence most seriously into account. This is a point in which constructive realists are distinguished from pragmatists too. Pragmatists do not give up their theories in confrontation with counter-evidence but rather look for almost limitless changes in their constructs in order for making the counterevidence compatible with their theories, whereas constructive realists will be ready to take counterevidence more serious and correct their constructs accordingly. (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)

This position paper argues that in addition to the familiar approach using formal contexts, there is now a need in AI to study contexts as social constructs. As a successful example of the latter approach, I draw attention to 'interpretation' (in the sense of literary theory), viz. the reconstruction of intended meaning of a literary text that takes into account the context in which the author assumed the reader would place the text. An important contribution here comes from Harris (1988), (...) enumerating the seven crucial dimensions of context: knowledge of reality, knowledge of language, and the authorial, generic, collective, specific, and textual dimensions. Finally, two thought-provoking papers in interpretation, (Barwise 1989) and (Hobbs 1990), are analyzed as useful attempts which also come to grips with the notion of context. (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)

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)

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)

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)

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)

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 paper examines Gandhian philosophy and practice to reinterpret UNESCO's educational vision towards establishing stable and sustainable knowledge societies. The uniqueness of the Gandhian perspective is its ability to withstand the dominant political, philosophical and religious challenges with its contextually rooted, spiritually oriented, socially responsible and human person centred reinterpretations. UNESCO’s educational vision-Learning: The Treasure Within published in 1996 is a catalyst in establishing stable and sustainable knowledge societies. Consistent changes and challenges in knowledge societies necessitates the (...) reinterpretation of this educational vision. The four pillars of learning in this educational vision are analysed together with four aspects of Gandhian philosophy and practice: ‘learning to know’ and Nai Talim, ‘learning to do’ and ashrams, ‘learning to live together’ and constructive programme and ‘learning to be’ and swaraj. The paper discusses this confluence of the UNESCO’s theoretical approach of four pillars of education with Gandhian pragmatic philosophy and practice to offer a contextually rooted and future-oriented outlook for reinterpreting the educational vision for establishing stable and sustainable knowledge societies. (shrink)

In this paper I consider the prospects for pluralism about knowledge, that is, the view that there is a plurality of knowledge relations. After a brief overview of some views that entail a sort of pluralism about knowledge, I focus on a particular kind of knowledge pluralism I call standards pluralism. Put roughly, standards pluralism is the view that one never knows anything simpliciter. Rather, one knows by this-or-that epistemic standard. Because there is a plurality of (...) epistemic standards, there is a plurality of knowledge relations. In §1 I argue that one can construct an impressive case for standards pluralism. In §2 I clarify the relationship between standards pluralism, epistemic contextualism and epistemic relativism. In §3 I argue that standards pluralism faces a serious objection. The gist of the objection is that standards pluralism is incompatible with plausible claims about the normative role of knowledge. In §4 I finish by sketching the form that a standards pluralist response to this objection might take. (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)

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)

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)

It is contended that to construct a social theory capable to comprehend the Russian Modernization one has to broaden first and foremost the conceptual basis of research. The basic element lacking in the orthodox Marxist conceptual scheme is the notion of ‘social unconsciousness’. It is demonstrated that Slavoj Zizek’s works represent the most ingenious fusion of post-structuralism, psychoanalysis and Marxism that treats the ability to disclose social contradictions. It is shown that the adequate comprehension of social contradictions system is possible (...) in the light of ideologies grounded on social equality values . They can reveal the main contradiction of Russian social life, i.e. the contradiction between Empire Ambitions of Russian bureaucracy and the interests and values of the ill-structured Civil Society. Key words : ideologies, psychoanalysis, post-structuralism, S. Zizek, social contradictions. (shrink)

Daniel Whiting has argued, in this journal, that Mark Schroeder’s analysis of knowledge in terms of subjectively and objectively sufficient reasons for belief makes wrong predictions in fake barn cases. Schroeder has replied that this problem may be avoided if one adopts a suitable account of perceptual reasons. I argue that Schroeder’s reply fails to deal with the general worry underlying Whiting’s purported counterexample, because one can construct analogous potential counterexamples that do not involve perceptual reasons at all. Nevertheless, (...) I claim that it is possible to overcome Whiting’s objection, by showing that it rests on an inadequate characterization of how defeat works in the examples in question. (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)

This paper argues that in addition to the familiar approach using formal contexts, there is now a need in artificial intelligence to study contexts as social constructs. As a successful example of the latter approach, I draw attention to 'interpretation' (in the sense of literary theory), viz. the reconstruction of the intended meaning of a literary text that takes into account the context in which the author assumed the reader would place the text. An important contribution here comes from Wendell (...) Harris, enumerating the seven crucial dimensions of context: knowledge of reality, knowledge of language, and the authorial, generic, collective, specific, and textual dimensions. Finally, two recent approaches to interpretation, due to Jon Barwise and Jerry Hobbs, are analyzed as useful attempts which also come to grips with the notion of context. It must be noted that there has been a considerable body of contributions connecting linguistic structure with social context. For example, anthropological linguistics, from Bronislaw Malinowski onwards, has underlined the cultural context of discourse as essential to meaning. This viewpoint became prominent with the emergence of the ethnography of speaking in anthropology. Thus, conversation analysis represents a consistent formal effort to contribute to an analysis of the nature of context. While this paper emphasizes and reviews the literary theory approach, it makes various contacts with works of the latter kind (e.g., the landmark contributions of Erving Goffman, John Gumperz, William Hanks, John Heritage, Dell Hymes, et al.) in order to deliver a more balanced and complete study of the dimensions of context. (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)

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)

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)

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)

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)

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)

Philosophy of Science in Practice (PoSiP) has the “practice of science” as its object of research. Notwithstanding, it does not possess yet any general or specific methodology in order to achieve its goal. Instead of sticking to one protocol, PoSiP takes advantage of a set of approaches from different fields. This thesis takes as a starting point a collaborative and interdisciplinary research between two Ph.D. students from distinct areas: ecology and philosophy. This collaboration showed how a scientist could benefit from (...) philosophy of science (in this case study the philosophical approach of. mechanistic explanation) to construct a model of his explanandum, by means of heuristics approach (heuristics as an instrument but also a methodological approach) and, also allowed philosophy of science take a closer look into the scientific practice to investigate how explanations are constructed and how scientific understanding is achieved (in this thesis, with a dialogue with the contextual theory of scientific understanding). As a result, it is asserted that (i) mechanistic explanation possess limitations but may work as epistemic instruments that mediate between theories, data, scientists, and models; (ii) explanation construction and scientific understanding deeply relies on intuition; (iii) scientific understanding is an instant, a moment, a temporary achievement, and its process may happen in degrees; (iv) philosophy of science, by means of heuristics process, may enhance scientists’ epistemic virtues, improving his academic skills, by means of self-evaluation. This research shows that interdisciplinarity and collaborative work can act, through heuristics, as a toolbox for PoSiP to achieve its goal of understanding how science is made. Despite its success, an analysis of this collaborative practice leads to some fundamental issues. First, philosophy of science in practice is a philosophy of past practice, in that the majority of examples used by mainstream PoSiP come from the final products of science. Second, is it philosophy of [science in practice] or philosophy of science [in practice]? How to practice philosophy of scientific practice and, how to practice interdisciplinarity in the philosophy of scientific practices simultaneously to its scientific activity? This research exposes the epistemic role heuristics and interdisciplinarity possess as methodological toolboxes for philosophy of science in practice. It is defended that other ways of constructing sciences would be through different dynamics such as collaborative networks and interdisciplinarity research contributing to the vision of Trading Zones from Peter Galison, in which bridges between specialized disciplines are created in order to exchange knowledge and information. (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)

Hume held that we have no rational justification for our inductive beliefs. A more radical view is that we have no rational justification for any of our beliefs. This dissertation has two goals pertaining to this more radical view. // The first goal is to find a basis for constructive epistemology that is consistent with this view. This goal is first sought by considering externalist theories of knowledge since these do not require rational justification for knowledge. Externalist theories (...) are defended against the usual objections, partly via a strategy of immunizing them from counterexample-based objections by arguing that epistemologies can be successful even if they fail to explicate ordinary epistemic notions. But a new objection to externalist theories is then brought to light. The objection begins as an attack against a dogma of contemporary epistemology, that the chief benefit of possessing knowledge is having a true belief. It is argued that there are many other benefits to having knowledge , and that externalist theories are defective because externalist knowledge lacks these benefits. A mixed internalist/externalist theory, bilevel reliabilism, is then presented as a solution to this difficulty. //The second goal is to provide an explanation of the function and origin of human epistemic practices that is consistent with the no-rational-justification view. Providing such an explanation is problematic for holders of this view because, if it is correct, it seems, prima facie, that there is no reason to have epistemic practices. This goal is achieved by arguing that epistemic practices, despite appearing to have rational justification as their goal, chiefly function to promote the existence of bilevel reliabilist knowledge, a very useful type of belief that is not rationally justified. It is then argued that the explanation of the origin of epistemic practices is that they arise from natural human inductive tendencies. (shrink)