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)

Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject‐Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’‐ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.

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

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to (...) be true. Some but not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

We attribute knowledge to institutions on a daily basis, saying things like "the government knew about the threat" or "the university did not act upon the knowledge it had about the harassment". Institutions can also attribute knowledge to themselves, like when Maybank Global Banking claims that it offers its customers "deep expertise and vast knowledge" of the Southeast Asia region, or when the United States Geological Survey states that it understands complex natural science phenomena like the (...) probability of earthquakes occurring along a given fault line. This article aims to discover when we can correctly attribute knowledge to an institution. I find this an interesting question, especially because when something does go wrong, all too often the official line of response from institutions is that they were unaware of the situation: in other words, they did not have enough information at their disposal. I will argue that institutions have fewer excuses for being ignorant than individuals do, and that many admissions of institutional knowledge are too modest. I begin by discussing a real-life example of the latter, before turning my attention to the usually fragmented nature of institutional knowledge. I also discuss the robustness of this knowledge, offering a distinction between two types of institutional knowledge. I then discuss knowledge parameters and why institutions have fewer excuses for not knowing about something than individuals do. I round off the chapter by examining institutional knowledge on climate change. (shrink)

Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: (...) to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense. (shrink)

Cognitive integration is a defining yet overlooked feature of our intellect that may nevertheless have substantial effects on the process of knowledge-acquisition. To bring those effects to the fore, I explore the topic of cognitive integration both from the perspective of virtue reliabilism within externalist epistemology and the perspective of extended cognition within externalist philosophy of mind and cognitive science. On the basis of this interdisciplinary focus, I argue that cognitive integration can provide a minimalist yet adequate epistemic norm (...) of subjective justification: so long as the agent’s belief-forming process has been integrated in his cognitive character, the agent can be justified in holding the resulting beliefs merely by lacking any doubts there was something wrong in the way he arrived at them. Moreover, since both externalist philosophy of mind and externalist epistemology treat the process of cognitive integration in the same way, we can claim that epistemic cognitive characters may extend beyond our organismic cognitive capacities to the artifacts we employ or even to other agents we interact with. This move is not only necessary for accounting for advanced cases of knowledge that is the product of the operation of epistemic artifacts or the interactive activity of research teams, but it can further lead to interesting ramifications both for social epistemology and philosophy of science. (shrink)

We often claim to know what might be—or probably is—the case. Modal knowledge along these lines creates a puzzle for information-sensitive semantics for epistemic modals. This paper develops a solution. We start with the idea that knowledge requires safe belief: a belief amounts to knowledge only if it could not easily have been held falsely. We then develop an interpretation of the modal operator in safety that allows it to non-trivially embed information-sensitive contents. The resulting theory avoids (...) various paradoxes that arise from other accounts of modal knowledge. It also delivers plausible predictions about modal Gettier cases. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic (...) epistemic logic tradition, we provide reduction axioms for the dynamic operator of the new logic. (shrink)

Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and solutions, and (...) also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that (...) all that stands between knowing the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

In the quest to discover the neural bases of cognition, rigorous behavioral tools are equally as important as sophisticated tools for neural intervention. This paper evaluates several episodes in the development of a novel behavioral tool for rodent cognitive testing, the rodent touchscreen operant chamber. Using conceptual tools on offer in the philosophical literature on exploratory experimentation and control, I illuminate how optimization of this behavioral tool and an understanding of the causal knowledge it may be used to generate (...) historically has involved dynamic interplay between community-driven exploratory practices operating in parallel with causal hypothesis-driven research. (shrink)

Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study (...) to highlight the challenges of operational disaster command and response. In this article, which is based on the French emergency response doctrine, we outline a semantics-based common operational command system that is designed to guarantee an efficient information flow among ERs. Our focus is on offering to all ERs, a real-time operational picture of the situation in order to enable multilevel coordination among firefighters, police, healthcare units, public authorities, and other stakeholders. Our approach consolidates information to promote timely sharing of data among ERs. The proposed system is based on an ontology that has been developed to represent the different types of knowledge on the part of ERs, providing a shared vocabulary that covers a variety of interoperability concerns. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, (...) firstly, to target a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

This paper considers the question of what knowing a logical rule consists in. I defend the view that knowing a logical rule is having propositional knowledge. Many philosophers reject this view and argue for the alternative view that knowing a logical rule is, at least at the fundamental level, having a disposition to infer according to it. To motivate this dispositionalist view, its defenders often appeal to Carroll’s regress argument in ‘What the Tortoise Said to Achilles’. I show that (...) this dispositionalist view, and the regress that supposedly motivates it, operate with the wrong picture of what is involved in knowing a logical rule. In particular I show that it gives us the wrong picture of the relation between knowing a logical rule and actions of inferring according to it, as well as of the way in which knowing a logical rule might be a priori. (shrink)

Buridan holds that the proper subject of psychology (i.e., the science undertaken in Aristotle’s De Anima) is the soul, its powers, and characteristic functions. But, on his view, the science of psychology should not be understood as including the body nor even the soul-body composite as its proper subject. Rather its subject is just “the soul in itself and its powers and functions insofar as they stand on the side of the soul". Buridan takes it as obvious that, even thus (...) narrowly construed, such a science is possible. To the extent that this science includes the human or intellective soul, however, Buridan’s claim regarding its possibility is far from obvious. After all, like most of his contemporaries, Buridan takes the human soul to be immaterial. Thus, he readily admits that “the intellect cannot be sensed” and its operations are likewise inaccessible to the senses. Yet, on Buridan's broadly empiricist theory of knowledge, all (human) knowledge, including knowledge of the intellect or intellective soul, takes its start in the senses. How, then, is a science of the human soul possible? What is the nature or source of our knowledge of the intellect? In this paper, I reconstruct Buridan's answer to these questions. -/- My discussion divides roughly into two parts. In the first, I set out the main elements of Buridan’s account of how we come to cognize the intellect, focusing on what he says about the genesis of our concept of the intellect. I then consider his account of our cognition of our own intellective states. As the discussion in part one make clear, Buridan holds that our concepts of intellect and of intellective states are both derived (inferentially) from subjective “experience” of our own states and rational activities. In part two, therefore, I try to elucidate Buridan’s notion of experience. Ultimately, I argue that it is a non-conceptual, non-discursive mode of self-awareness. I suggest, moreover, that it might best be understood in terms of our own notion of phenomenal consciousness. On the interpretation I advance, then, it turns out that, for Buridan, our concept of the intellect itself and, hence, the science of (human) psychology in general, is ultimately grounded in phenomenal experience of our own intellective states. (shrink)

This dissertation articulates our human capacity to judge as a capacity for knowledge, specifically for empirical knowledge, and for knowledge of itself as such. I interpret and draw on the account of such knowledge presented by Kant’s Critique of Pure Reason, situate this account historically, and relate it to relevant contemporary debates. The first chapter motivates my project by assessing the insights and shortcomings of Cartesian epistemology. I argue that while Descartes draws on the essential self-consciousness (...) of judgement to show that the cogito is knowledge, he fails, by his own standards, to secure this status for any judgement beyond the cogito. I conclude that self-consciousness alone is empty, but that, since we can judge beyond the cogito, judgement can be given content from elsewhere. The next chapter evaluates the empiricist doctrine that operations of the senses by themselves give content to judgement and can vindicate it as empirical knowledge. I contend that Kant deepens Hume’s finding, that empiricism fails to enable us to explain empirical knowledge, into the more radical insight that empiricism fails to enable us to understand the senses as providing any content. I conclude that the senses alone are blind and that our account of empirical knowledge must privilege neither sensory givenness nor intellectual self-consciousness. The third chapter contrasts two readings of Kant on the cooperation between sensibility and understanding in empirical knowledge. I argue, against many Kantians, that the Transcendental Deduction shows that instead of understanding this cooperation compositionally – so that operations of sensibility are intelligible independently of acts of the understanding – we must conceive of it hylomorphically – so that the operations of sensibility and understanding constitute the mutually dependent matter and form of empirical knowing respectively. The final chapter substantiates this hylomorphism by explicating the form of knowledge as synthesis. Following Kant, I argue that inference is a species of synthesis and provide a synthetic explanation of inference. The resulting account simultaneously illustrates synthesis, addresses a prominent contemporary problem regarding the nature of inference, and explains how our capacity to know provides not just isolated glimpses of empirical reality, but a unified conception of it. (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the (...) relationship between the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

The use and acquisition of knowledge appears to be influenced by what humans pay attention to. Thus, looking at attention will tell us something about the mechanisms involved in knowledge (usage). According to the present review, attention reflects selectivity in information processing and it is not necessarily also reflected in a user’s consciousness, as it is rooted in skill memory or other implicit procedural memory forms–that is, attention is rooted in the necessity of human control of mental operations (...) and actions. The main assumption is that what is true of processing in general is also true of knowledge: Its usage cannot be understood, unless we have the means to study all mechanisms involved, including knowledge hidden from direct introspection and knowledge that participants are not willing to share with interrogators. Reviewing work done in this context, I argue that experimental research on selectivity and bias in human information processing is a promising road to learn about the principles governing knowledge (usage) and to reflect upon them. (shrink)

On a number of occasions in Plato’s dialogues Socrates appears to disavow all knowledge. At Apology 21d, for example, Socrates says of one of his interlocutors: ‘He, having no knowledge, thinks he knows something, while I, having none, don’t think I have any,’ On other occasions, however, Socrates does claim to know some things: ‘It is not a mere guess to say that knowledge and right opinion are different. There are few things I would claim to know, (...) but that at least is among them, whatever else is’ (Meno 98b). Gregory Vlastos has sought to show that Socrates did not contradict himself but operated on the basis of two different senses of ‘know’: ‘know in the sense of having certainty’ and ‘know on the basis of elenctic examination.’ I argue against Vlastos’ interpretation and propose instead that Socrates claimed to know various things, but not the essential nature of virtue. (shrink)

If you want to understand McDowell's spatial metaphors when he talks about perceptual knowledge, place him side-by-side with Dretske on perceptual knowledge. Though McDowell shows no evidence of reading Dretske's writings on knowledge from the late 1960s onwards (McDowell mentions "Epistemic Operators" once in passing), McDowell gives the same four arguments as Dretske for the conclusion that knowledge requires "conclusive" reasons that rule of the possibility of mistake. Despite various differences, we think it is best to (...) read McDowell as re-discovering Dretske on perceptual knowledge. Since Dretske is easy to understand, all of McDowell's metaphors become easy to understand. But what about McDowell's disjunctivism? Turns out McDowell is not an ontological disjunctivist, and his epistemological disjunctivism is really just the banal point that some perceptual experiences provide conclusive reasons for perceptual belief and some do not. Perceptual experiences are either conclusive or inconclusive. Dretske would agree. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general (...) validity of contraposition. We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

This paper explores Polo's proposal of an anthropological access to God's existence in addition to the traditional metaphysical Five Ways. More specifically, it focuses on the role of intellectual habits, in particular the habit of wisdom and the habit of personal intellect, in acquiring knowledge of God as the creator of the person. Habitual knowledge, according to Polo, is possible because the agent intellect illuminates intelligible contents, may that be the phantasm, to operations of the intellectual faculty or (...) any other actualization and perfection of the intellect. Through that illumination, the agent intellect communicates freedom to human nature, rendering the former open to unrestricted growth. The anthropological path to God depends on the habit of wisdom by which we come to know ourselves, not just in our nature and faculties but in the source of what makes our nature capable of unrestricted growth and freedom, namely, our personal act of being. It is when we know our personal act of being that we also glance at the Creator of our freedom, not just as a cause of it, but as the kind of Co-existence that brings us into co-existence. (shrink)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives (...) are expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

Episodic memory often is conceptualized as a uniquely human system of long-term memory that makes available knowledge accompanied by the temporal and spatial context in which that knowledge was acquired. Retrieval from episodic memory entails a form of first–person subjectivity called autonoetic consciousness that provides a sense that a recollection was something that took place in the experiencer’s personal past. In this paper I expand on this definition of episodic memory. Specifically, I suggest that (a) the core features (...) assumed unique to episodic memory are shared by semantic memory, (b) episodic memory cannot be fully understood unless one appreciates that episodic recollection requires the coordinated function of a number of distinct, yet interacting, “enabling” systems. Although these systems – ownership, self, subjective temporality, and agency – are not traditionally viewed as memorial in nature, each is necessary for episodic recollection and jointly they may be sufficient, and (c) the type of subjective awareness provided by episodic recollection (autonoetic) is relational rather than intrinsic – i.e., it can be lost in certain patient populations, thus rendering episodic memory content indistinguishable from the content of semantic long-term memory. (shrink)

Objective: Long-term C-arm fluoroscopy exposes medical personnel to substantial radiation doses. Preventing this exposure requires protective equipment and radiation safety. This study examined anesthesia students' using fluoroscopy and preventive knowledge. -/- Methods: This descriptive and cross-sectional study included 139 Vocational High School Anesthesia students. The "Healthcare Professional Knowledge of Radiation Protection" scale and a 13-question survey collected data. The scale was designed with a Likert scale and three sub-factors. If the total and sub-dimension item average score of the (...) scale is below 5, it indicates that the level of knowledge of radiation protection among medical personnel is low, and if it is above 5, it indicates that the level of knowledge is high. -/- Results: More than half of the students (59.8%) heard the radiation from the fluoroscopy device, the vast majority (82.7%) did not receive radiation protection training, 58.3% stayed away from the device while it was operating, and 70.5% stated that it is crucial to stay away from the device while it was operating. It was determined that there was a statistically significant difference (p<0.05) in the "Radiation Physics, Biology, and Radiation Usage Principles" sub-dimension of students who were male, in their second year of education, received radiation protection training, and offered reliable answers to a number of questions measuring their level of radiation knowledge. In addition, the research revealed a positive and highly significant correlation between the scale and its subdimensions. -/- Conclusion: Although the scale scores of the students who received radiation protection training and had a high level of radiation knowledge were substantially higher than those of the other students, the average score of the students was less than 5. This indicates that students have an inadequate understanding of radiation protection. To prevent the negative biological effects of radiation on the human body, it is necessary to conduct epidemiological research, educate health care professionals and anesthesiology students about the effects and processes of this radiation on human cells, and provide frequent training. Radiation, radiation's biological effects, and radiation protection should be included in health students' curricula. (shrink)

Respect appears to generate a puzzling self-other asymmetry: Respect for others can demand that we avoid knowledge of others or ignore that knowledge in deciding how we treat others. This demand for epistemic distancing lies behind the imperatives not to violate others’ privacy or to treat them paternalistically. Self-respect, in contrast, mandates that we pursue knowledge of ourselves and that we choose and act light of that self-knowledge. Individual agents thus do not have a duty to (...) epistemically distance themselves from themselves; a fortiori, they have self-regarding duties to reduce such distance. This article elaborates this asymmetry and offers a plausible solution to it, rooted in the distinctive importance that self-knowledge (and acting in the world on the basis of that self-knowledge) has for self-respecting rational agents: Self-respecting agents have reasons to have others defer to their ‘surfaces’ or self-presentations in order to inhibit making themselves vulnerable to others in ways that undermine their self-respect by subordinating their wills to the wills of others. A measure of control over what others know about us and over what they do with that knowledge thus undergirds self-respect by enabling self-knowledge to play the role that it should play in the lives of self-respecting agents. Epistemic distancing thus operates in concert with the ways in which self-respecting agents value and pursue epistemic intimacy with themselves. (shrink)

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

The paper presents a synthesis of research results that focus on identifying factors that affect the organization and functioning of Iraq's air defense system during the Iraqi Freedom operation and, as a result, contributed to Iraq's defeat. An important part of the considerations presented in the article are the results of research relating to the role and significance of the use by the coalition partners of the state-of-the-art air weapon systems, which facilitated carrying out very precise strikes on the most (...) essential elements of the Iraqi air defense system beyond the reach of the anti-aircraft artillery and missile systems. The authors also indicate that of the vital importance in the lack of adequate protection of the most important objects, the so-called centers of gravity, located mainly in Baghdad, were organizational errors in the distribution of forces and resources, technological problems, and inept command. The paper is concluded with a reflection on the gained knowledge on the influence of the experience gathered from the Iraqi Freedom operation on the processes of technological modernization of the armed forces, and especially air defense that is still based on the technology from the 1960s and 1970s. (shrink)

French translation of Dretske's article "Epistemic Operators", The Journal of Philosophy, 67 (24): 1007-23.

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In this (...) paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

Kant mentions two faculties of the mind that are involved in the knowing process, namely, sensibility and understanding. Through the former, the objects are “given” while through the latter, objects are “thought of.” The receiving faculty, that of sensibility, deals with space and time as pure intuitions. On the other, the thinking faculty - that of understanding, treats concepts or categories. Thus, these faculties of the human reason presuppose the two elements of knowledge: contents or intuitions and thoughts or (...) concepts for sensibility and understanding, respectively. This paper aims at presenting the coming-to-be of knowledge through the operations of the mind in Kant’s Critique of Pure Reason and critically exposes the correlation of sensibility and of understanding in the knowing process. (shrink)

In its recent opinion in Intel v. Sulyma, the U.S. Supreme Court clarified what qualifies as the “actual knowledge” required to trigger ERISA’s three-year statutory period. The Court’s opinion, however, left open whether establishing “actual knowledge” by a plaintiff in one case serves to time-bar otherwise timely suits that challenge subsequent breaches of the same character. This article argues that, under the continuing fiduciary duty analysis that the Court set forth in Tibble v. Edison, such suits should not (...) be deemed untimely. (shrink)

The verb 'knows' is often taken to be context-sensitive in an interesting way. What 'knows' means seems to be sensitive to the epistemic features of the context, e.g. the epistemic standard in play, the set of relevant alternatives, etc. There are standard model-theoretic semantic frameworks which deal with both intensional operators and context-sensitive expressions. In this chapter, we provide a brief overview of the various moving parts of these frameworks, the roles of context and index, the need for double indexing, (...) and the relationship between semantic value and content. With the best version of the standard framework explicated we then return at the end to the treatment of ‘know’ as a context-sensitive intensional operator (contrasting it with an invariantist treatment). (shrink)

I argue in this paper that Locke and contemporary Lockeans underestimate the problems involved in their frequent, implicit assumption that when we apply the proviso we use the latest scientific knowledge of natural resources, technology, and the economy’s operations. Problematic for these theories is that much of the pertinent knowledge used is obtained through particular persons’ labor. If the knowledge obtained through individuals’ labor must be made available to everyone and if particular persons’ new knowledge affects (...) the proviso’s proper application, then some end up without freedom to pursue their own ends and some find their freedom subject to others’ arbitrary will. (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)

The paper focuses on the epistemology developed by Richard Burthogge, the lesser-known seventeenth-century English philosopher, and author, among other works, of Organum Vetus & Novum (1678) and An Essay upon Reason and the Nature of Spirits (1694). Although his ideas had a minimal impact on the philosophy of his time, and have hitherto not been the subject of a detailed study, Burthogge’s writings contain a highly original concept of idealistic constructivism, anticipating (relatively speaking) Kant’s idealism. At the same time, some (...) interesting implications for the issue of self-interpretation and self-identity can be derived from his account of the mind. At the core of Burthogge’s epistemological position is a remarkable idea of structural and functional similarity between the three human cognitive faculties, that is between reasoning, sensation and imagination. Accordingly, every cognition, intellectual as well as sensuous, contains in its structure an object-directed operation of apprehending and thus can be viewed as an intentional act in a broad sense of the term. An immediate consequence of this claim for both mind and object is that they cannot be reduced to a pure stream of sense data, but on the contrary are to be considered ontologically independent from the content of a cognitive act. Furthermore, an object of cognition is never presented to the mind directly, as it is in itself, but always under the modus concipiendi, a particular form or manner of conceiving, specific to human cognitive powers due to their internal structure. As a result, Burthogge clearly anticipates Kant in claiming that it is impossible to know reality in itself, and in situating human consciousness as if in between two unknowable spheres: the external and internal one. Since these restrictions are imposed not only on external, but also on internal cognition, that is on self-knowledge, they lead to considerable difficulties regarding the mind’s identity. Basically, two principal strategies to address this issue are available in the post-Cartesian framework of seeing the mind as an ontologically independent entity, and both of them appear to be ineffective when employed in Burthogge’s epistemology. First, the mind identity can be grounded in some extra-mental factors, preferably in matter. However, with no access to the external world in itself, and with the scope of knowledge restricted to mental phenomena, the mind’s identity cannot be defined in terms of relationship with the reality of which it knows nothing except that it exits. The second option is to explain personal identity by referring it to the intrinsic properties of the mind. Nevertheless, this strategy also faces insuperable obstacles, and for the same reasons as the former does. Since self-knowledge is no exception to the structural-functional principles imposed on cognition, the mind can also be known only under the subjective conditions of conceiving. It is, therefore, just as unknowable in itself as the external things are. The main purpose of the paper is to explore this aspect of Burthogge’s philosophy. (shrink)

There is an ongoing debate on whether or to what degree computer simulations can be likened to experiments. Many philosophers are sceptical whether a strict separation between the two categories is possible and deny that the materiality of experiments makes a difference (Morrison 2009, Parker 2009, Winsberg 2010). Some also like to describe computer simulations as a “third way” between experimental and theoretical research (Rohrlich 1990, Axelrod 2003, Kueppers/Lenhard 2005). In this article I defend the view that computer simulations are (...) not experiments but that they are tools for evaluating the consequences of theories and theoretical assumptions. In order to do so the (alleged) similarities and differences between simulations and experiments are examined. It is found that three fundamental differences between simulations and experiments remain: 1) Only experiments can generate new empirical data. 2) Only Experiments can operate directly on the target system. 3) Experiments alone can be employed for testing fundamental hypotheses. As a consequence, experiments enjoy a distinct epistemic role in science that cannot completely be superseded by computer simulations. This finding in connection with a discussion of border cases such as hybrid methods that combine measurement with simulation shows that computer simulations can clearly be distinguished from empirical methods. It is important to understand that computer simulations are not experiments, because otherwise there is a danger of systematically underestimating the need for empirical validation of simulations. (shrink)

Following Quine [] and others we take deductions to produce knowledge of implications: a person gains knowledge that a given premise-set implies a given conclusion by deducing—producing a deduction of—the conclusion from those premises. How does this happen? How does a person recognize their desire for that knowledge of a certain implication, or that they lack it? How do they produce a suitable deduction? And most importantly, how does their production of that deduction provide them with (...) class='Hi'>knowledge of the implication. What experienceable sign reveals to the reasoner that they achieved the desired knowledge? If a deduction is an array of inscriptions constructed by following syntactical—mechanical, machine-performable—rules as suggested by Tarski, Carnap, Church, and others, the epistemic question becomes even more pressing and more challenging. Moreover, deduction, the ability to produce deductions and to recognize them when produced, is operational knowledge that presupposes other component operations such as recognizing characters, making assumptions, inferring conclusions from premises, chaining inferences [AL]. (shrink)

Abstract. 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. (shrink)

This paper addresses concerns raised recently by Datteri (Biol Philos 24:301–324, 2009) and Craver (Philos Sci 77(5):840–851, 2010) about the use of brain-extending prosthetics in experimental neuroscience. Since the operation of the implant induces plastic changes in neural circuits, it is reasonable to worry that operational knowledge of the hybrid system will not be an accurate basis for generalisation when modelling the unextended brain. I argue, however, that Datteri’s no-plasticity constraint unwittingly rules out numerous experimental paradigms in behavioural (...) and systems neuroscience which also elicit neural plasticity. Furthermore, I propose that Datteri and Craver’s arguments concerning the limitations of prosthetic modelling in basic neuroscience, as opposed to neuroengineering, rests on too narrow a view of the ways models in neuroscience should be evaluated, and that a more pluralist approach is needed. I distinguish organisational validity of models from mechanistic validity. I argue that while prosthetic models may be deficient in the latter of these explanatory virtues because of neuroplasticity, they excel in the former since organisational validity tracks the extent to which a model captures coding principles that are invariant with plasticity. Changing the brain, I conclude, is one viable route towards explaining the brain. (shrink)

People increasingly form beliefs based on information gained from automatically filtered Internet ‎sources such as search engines. However, the workings of such sources are often opaque, preventing ‎subjects from knowing whether the information provided is biased or incomplete. Users’ reliance on ‎Internet technologies whose modes of operation are concealed from them raises serious concerns about ‎the justificatory status of the beliefs they end up forming. Yet it is unclear how to address these concerns ‎within standard theories of knowledge and (...) justification. To shed light on the problem, we introduce a ‎novel conceptual framework that clarifies the relations between justified belief, epistemic responsibility, ‎action, and the technological resources available to a subject. We argue that justified belief is subject to ‎certain epistemic responsibilities that accompany the subject’s particular decision-taking circumstances, ‎and that one typical responsibility is to ascertain, so far as one can, whether the information upon which ‎the judgment will rest is biased or incomplete. What this responsibility comprises is partly determined by ‎the inquiry-enabling technologies available to the subject. We argue that a subject’s beliefs that are ‎formed based on Internet-filtered information are less justified than they would be if she either knew how ‎filtering worked or relied on additional sources, and that the subject may have the epistemic ‎responsibility to take measures to enhance the justificatory status of such beliefs.‎. (shrink)

In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, (...) the problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (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)

Let us sum up. The paradox of the Knower poses a direct and formal challenge to the coherence of common notions of knowledge and truth. We've considered a number of ways one might try to meet that challenge: propositional views of truth and knowledge, redundancy or operator views, and appeal to hierarchy of various sorts. Mere appeal to propositions or operators, however, seems to be inadequate to the task of the Knower, at least if unsupplemented by an auxiliary (...) recourse to hierarchy. But the cost of hierarchy appears to be an abandonment of any notion of all truth or of omniscience. What the contradictions of the Knower seem to demand, then, is at least an abandonment of these. As noted in the introduction, the argument is complicated enough that one must be wary of dogmatic and precipitate conclusions. One may legitimately wonder whether some new response, or some variation on an old one, will yet offer a way out.Far too often, however, it is asked what has gone wrong with paradox rather than what paradox may have to teach us. What the Knower may have to teach us, I think, is that there really can be no coherent notion of all truth and really can be no coherent notion of omniscience. In its own way that conclusion is perhaps as humbling as is any traditional notion of God. (shrink)

The paper proposes a new formal approach to vagueness and vague sets taking inspirations from Pawlak’s rough set theory. Following a brief introduction to the problem of vagueness, an approach to conceptualization and representation of vague knowledge is presented from a number of different perspectives: those of logic, set theory, algebra, and computer science. The central notion of the vague set, in relation to the rough set, is defined as a family of sets approximated by the so called lower (...) and upper limits. The family is simultaneously considered as a family of all denotations of sharp terms representing a suitable vague term, from the agent’s point of view. Some algebraic operations on vague sets and their properties are defined. Some important conditions concerning the membership relation for vague sets, in connection to Blizard’s multisets and Zadeh’s fuzzy sets, are established as well. A classical outlook on a logic of vague sentences (vague logic) based on vague sets is also discussed. (shrink)

We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive (...) psychology and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to mediate between the way we talk about the behavior of such devices and causal models of their operation. Of central importance in this effort is the axiomatization of what might be called commonsense metaphysics. This includes a number of areas that figure in virtually every domain of discourse, such as (...) granularity, scales, time, space, material, physical objects, shape, causality, functionality, and force. Our effort has been to construct core theories of each of these areas, and then to define, or at least characterize, a large number of lexical items in terms provided by the core theories. In this paper we discuss our methodological principles and describe the key ideas in the various domains we are investigating. (shrink)