It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge is possible in a (...) sensitivity theory once this view is adopted. (shrink)

This chapter argues that the regress of justifications can be satisfactorily avoided by seeing the second-order knowledge of the justification involved in visual knowledge as knowledge of a transparent fact, which constitutes an entitlement, but not a justification to the belief this second-order knowledge involves. The disjunctive conception of visual experience is employed to shed light on the idea of a transparent fact. This account can seem to be vulnerable to two powerful arguments: first, Williamson's argument (...) against luminosity; and secondly, a version of McKinsey's argument against the idea of non-empirical knowledge of ‘broad’ mental states. It is suggested that the first argument does not affect the present account, and that the second argument can be avoided with the help of a distinction between the entitlements to, and the presuppositions of, the beliefs which knowledge involves. The upshot is an account of the second-order knowledge which visual knowledge involves as non-empirical knowledge, and hence as a species of privileged self-knowledge. (shrink)

A knowledge-based decision theory faces what has been called the prodigality problem : given that many propositions are assigned probability 1, agents will be inclined to risk everything when betting on propositions which are known. In order to undo probability 1 assignments in high risk situations, the paper develops a theory which systematically connects higher level goods with higher-order knowledge.

William Oliver Martin published "The Order and Integration of Knowledge" in 1957 to address the problem of the nature and the order of various kinds of knowledge; in particular, the theoretical problem of how one kind of knowledge is related to another kind. Martin characterizes kinds of knowledge as being either autonomous or synthetic. The latter are reducible to two or more of the autonomous (or irreducible) kinds of knowledge, viz., history (H), metaphysics (Meta), theology (...) (T), formal logic (FL), mathematics (Math), and generalizations of experimental science (G). Metaphysics and theology constitute the two domains of the ontological context while history and experimental science are the two domains of the phenomenological context. The relation of one kind of knowledge to another may be instrumental, constitutive, and/or regulative. For instance, historical propositions are constitutive of G, metaphysical propositions are regulative of G, and propositions in formal logic and mathematics are instrumental to G. Theological propositions are not related to G and so there is no conflict between science and theology. Martin's work sheds light on the possible areas of incompatibility between science and religion. (shrink)

The Romans commanded the largest and most complex empire the world had ever seen, or would see until modern times. The challenges, however, were not just political, economic and military: Rome was also the hub of a vast information network, drawing in worldwide expertise and refashioning it for its own purposes. This fascinating collection of essays considers the dialogue between technical literature and imperial society, drawing on, developing and critiquing a range of modern cultural theories. How was knowledge shaped (...) into textual forms, and how did those forms encode relationships between emperor and subjects, theory and practice, Roman and Greek, centre and periphery? Ordering Knowledge in the Roman Empire will be required reading for those concerned with the intellectual and cultural history of the Roman Empire, and its lasting legacy in the medieval world and beyond. (shrink)

In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties (...) of "quantifying into" epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies. (shrink)

The paper argues that Jackson's knowledge argument fails to undermine physicalist ontology. First, it is argued that, as this argument stands, it begs the question. Second, it is suggested that by supplementing the argument , this flaw can be remedied insofar as the argument is taken to be an argument against type-physicalism; however, this flaw cannot be remedied insofar as the argument is taken to be an argument against token-physicalism. The argument cannot be supplemented so as to show that (...) experiences have properties which are illegitimate from a physicalist perspective. (shrink)

The goal of this chapter is to provide a unified solution to two widely discussed epistemological puzzles: the puzzle of easy knowledge and the puzzle of higher-order evidence. The chapter begins by setting out each of these two puzzles. It then briefly surveys some of the proposed solutions to each puzzle, none of which generalizes to the other. Finally, the chapter argues that the two puzzles arise because of a widespread confusion concerning the relation of substantive and structural constraints (...) of rationality: or, in the epistemic domain, the relation of evidence and coherence. Clearing up this confusion allows us to clear up both puzzles at once. (shrink)

A fresh, constructive inquiry into the metaphysics of knowledge and the principles of order by which the various disciplines are related and integrated. As the basis of this inquiry, the author provides a defense of metaphysical realism and intentional logic, in opposition to the reductive tendencies which he finds exemplified in naturalism, idealism, nominalism, and the "postulational" ontologies of such thinkers as Whitehead. The aim of the work is a natural classification of knowledge, based on kinds of evidence (...) and subject matter, and on an understanding of the manner in which each discipline presupposes the others.--J. F. D. (shrink)

In the past twenty years, the field of science and technology studies (S&TS) has made considerable progress toward illuminating the relationship between scientific knowledge and political power. These insights have not yet been synthesized or presented in a form that systematically highlights the connections between S&TS and other social sciences. This timely collection of essays by some of the leading scholars in the field attempts to fill that gap. The book develops the theme of "co-production", showing how scientific (...) class='Hi'>knowledge both embeds and is embedded in social identities, institutions, representations and discourses. Accordingly, the authors argue, ways of knowing the world are inseparably linked to the ways in which people seek to organize and control it. Through studies of emerging knowledges, research practices and political institutions, the authors demonstrate that the idiom of co-production importantly extends the vocabulary of the traditional social sciences, offering fresh analytic perspectiveson the nexus of science, power and culture. (shrink)

Theory of "conceptual pragmatism" takes into account both modern philosophical thought and modern mathematics. Stimulating discussions of metaphysics, a priori, philosophic method, much more.

Vogel, Sosa, and Huemer have all argued that sensitivity is incompatible with knowing that you do not believe falsely, therefore the sensitivity condition must be false. I show that this objection misses its mark because it fails to take account of the basis of belief. Moreover, if the objection is modified to account for the basis of belief then it collapses into the more familiar objection that sensitivity is incompatible with closure.

The field of knowledge organization (KO) can be described as composed of the four distinct but connected layers of theory, systems, representation, and application. This paper focuses on the relations between KO theory and KO systems. It is acknowledged how the structure of KO systems is the product of a mixture of ontological, epistemological, and pragmatical factors. However, different systems give different priorities to each factor. A more ontologically-oriented approach, though not offering quick solutions for any particular group of (...) users, will produce systems of wide and long-lasting application as they are based on general, shareable principles. I take the case of the ontological theory of integrative levels, which has been considered as a useful source for general classifications for several decades, and is currently implemented in the Integrative Levels Classification system. The theory produces a sequence of main classes modelling a natural order between phenomena. This order has interesting effects also on other features of the system, like the citation order of concepts within compounds. As it has been shown by facet analytical theory, it is useful that citation order follow a principle of inversion, as compared to the order of the same concepts in the schedules. In the light of integrative levels theory, this principle also acquires an ontological meaning: phenomena of lower level should be cited first, as most often they act as specifications of higher-level ones. This ontological principle should be complemented by consideration of the epistemological treatment of phenomena: in case a lower-level phenomenon is the main theme, it can be promoted to the leading position in the compound subject heading. The integration of these principles is believed to produce optimal results in the ordering of knowledge contents. (shrink)

Methodical doubt is usually associated with Descartes. However, it is with Francis Bacon that its function and scope are first recognized – as a preliminary stage in the attainment of knowledge, and as an epistemological tool (a rule) for achieving true knowledge. In this paper, I follow the various steps of construction and use of Baconian doubt as it appears in the first book of the New Organon. I will argue that Bacon - in distancing himself from traditional (...) scepticism – will come to conceive methodical doubt not only as a procedure for renovating knowledge, but more specifically as a prescriptive condition for identifying what 'mind' is required to pursue the aim of renovating knowledge. (shrink)

Methodical doubt is usually associated with Descartes. However, it is with Francis Bacon that its function and scope are first recognized – as a preliminary stage in the attainment of knowledge, and as an epistemological tool (a rule) for achieving true knowledge. In this paper, I follow the various steps of construction and use of Baconian doubt as it appears in the first book of the New Organon. I will argue that Bacon - in distancing himself from traditional (...) scepticism – will come to conceive methodical doubt not only as a procedure for renovating knowledge, but more specifically as a prescriptive condition for identifying what 'mind' is required to pursue the aim of renovating knowledge. (shrink)

Many studies of language, whether in philosophy, linguistics, or psychology, have focused on highly developed human languages. In their highly developed forms, such as are employed in scientific discourse, languages have a unique set of properties that have been the focus of much attention. For example, descriptive sentences in a language have the property of being "true" or "false," and words of a language have senses and referents. Sentences in a language are structured in accord with complex syntactic rules. Theorists (...) focusing on language are naturally led to ask questions such as what constitutes the meanings of words and sentences and how are the principles of syntax encoded in the heads of language users. While there is an important function for inquiries into the highly developed forms of these cultural products (Abrahamsen, 1987), such a focus can be quite misleading when we want to explain how these products have arisen or the human capacity to use language. The problem is that focusing on its most developed forms makes linguistic ability seem to be a _sui generis_ phenomenon, not related to, and hence not explicable in terms of other cognitive capacities. Chomsky's (1980) postulation of a specific language module equipped with specialized resources needed to process language and possessed only by hum ans is not a surprising result. (shrink)

Our aim is to examine why trust can be considered a second-order emotion and how the way in which trust plays out differently in aesthetic and ordinary contexts can provide another mode of investigating second-order emotions. Our thesis is developed in three sections and a conclusion.In the first section, we perform an example analysis to show why narratives are important for our emotions. In the second section, we examine how trust can be considered a second-order emotion and establish criteria for (...) identifying it as a second-order emotion. In the third section, we present one of the aims of trust, i.e. sharing knowledge between agents, when a testimony-giver shares knowledge in an epistemic trust process with others. We show how the relationship construction between persons thanks to trust, a second-order emotion that represents emotional ties between agents to achieve a first-order emotion. (shrink)

This paper examines the epistemological foundations of Mathematical Knowledge for Teaching Teachers (MKTT) and argues that persistent challenges in mathematics teacher education reflect deeper philosophical tensions rather than mere pedagogical deficiencies. Drawing on established frameworks for Mathematical Knowledge for Teaching, the paper analyzes what is termed the “recursion problem”: teaching teachers requires specialized second-order pedagogical knowledge that remains poorly theorized and institutionally under-supported. Five interconnected epistemological tensions are identified: the measurement problem, which privileges quantifiable knowledge while (...) marginalizing practical wisdom and tacit knowing; the individualization of knowledge, which treats knowledge as individual property rather than recognizing its fundamentally relational nature; theory-practice separation in research methodologies; cultural epistemology tensions between universalizing frameworks and epistemological pluralism; and power dynamics that determine what counts as legitimate teacher knowledge. These tensions illuminate why implementation gaps prove resistant to conventional pedagogical solutions. Meaningful progress requires philosophical reconstruction: reconceptualizing teacher knowledge as situated, relational, and culturally embedded; developing research methodologies that honor the integrated nature of knowledge-in-practice; and acknowledging epistemological pluralism while grappling with questions of power and legitimation. This examination contributes to philosophy of mathematics, epistemology, and applied ethics by demonstrating how educational practice raises fundamental questions about the nature and constitution of professional expertise. (shrink)

We characterize two lexicographic-type preference extension rules from a set X to the set ? of all orders on this set. Elements of X are interpreted as basic economic policy decisions, whereas elements of ? are conceived as political programs among which a collectivity has to choose through majority voting. The main axiom is called tournament-consistency, and states that whenever majority pairwise comparisons based on initial preferences on X define an order on X, then this order is also chosen (...) by a majority among all other orders in ?. Tournament-consistency thus allows to predict the outcome of majority voting upon orders from the knowledge of majority preferences on their components. (shrink)

“Divide and conquer” might have been man’s motto in the pursuit of knowledge. Faced with the complexity of reality, he evolved a multiplicity of ‘sciences’, each of whose function is to deal with a particular aspect of this complexity. This very multiplicty of knowledge–types in turn gives rise to difficulties. There is always the danger of the “detotalisation of the totality”—to use Etienne Gilson’s phrase—one branch of knowledge may come to be identified with all knowledge, one (...) ‘science’ may be reduced to another, all because the relation of the various disciplines among themselves has not been sufficiently clarified. The problem then is to distinguish the different knowledge categories from one another, and to unite them in some order which will account for each one of them without however eliminating any. (shrink)

This essay treats the idea of useful knowledge as a historical concept, attempting to apprehend its evolutionary process from a long-term perspective. Focusing on two leaders, early modern Britain and the post-World War II United States, the essay explores some undercurrents left unexplored in the existing literature and in particular the changing purpose and motive of scientific research. Firstly, it deals with the emergent idea of useful knowledge in a broad context and tracks down how early modern Britons (...) attempted to promote mechanical arts into sciences, arguing that by the late eighteenth century that idea was bifurcated into abstract and practical science. Secondly, the essay deals with how the post-World War II US developed the bifurcated idea into basic and applied research, focusing on university scientists, who endeavoured to adapt themselves with the rise of applied research and of academic entrepreneurship during the first four post-war decades; they were especially concerned about the motive of personal profit and their social standing as well. The essay concludes that the conventional orders of knowledge have been inverted in the contemporary US, a development closely interwoven with capitalism, thus dissenting from the prevailing interpretation that underlines continuities rather than changes. (shrink)

Some time ago I wrote a paper about conceivability and knowledge. An anonymous referee rejected it on the grounds that the result had already been established in a short story by Jorge Luis Borges. Intrigued, I looked for the story but found no mention of it in Louis and Ziche’s extensive bibliography. I spent months consulting archives and electronic records to no avail. I had begun to doubt whether the story even existed when I had the curious good luck (...) to encounter Sir Thomas Browne of Pembroke College, Oxford, who assured me of the piece’s authenticity and introduced me to Brother Christian Rosenkreuz of Invisible College who in turn generously put me into correspondence with Borges himself. The literary defects in what follows reflect not a diminution of Borges’s undoubted power as a storyteller, but merely my limited ability as an amateur translator. Whatever the translation’s literary faults may be, I hope the story’s philosophical interest—i.e., an argument that ideal conceivers have higher-order knowledge of necessary truths—remains. [Trans.]. (shrink)

This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. Although the list of the considered reasoners is not exhaustive, we believe that our analysis is representative enough to take stock of the current state of the art in the topic. We are interested here in formalizations at the _first-order_ level. Past literature on normative reasoning mostly focuses on the _propositional_ level. However, the propositional level is of little usefulness for (...) concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. Furthermore, we are interested in technologies that are _freely available_ and that can be further investigated and compared by the scientific community. In other words, this paper does not consider technologies only employed in industry and/or whose source code is non-accessible. This paper formalizes a selected use case in the considered reasoners and compares the implementations, also in terms of simulations with respect to shared synthetic datasets. The comparison will highlight that lot of further research still needs to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework, suitable for LegalTech applications. All source codes are freely available at https://github.com/liviorobaldo/compliancecheckers, together with instructions to locally reproduce the simulations. (shrink)

The problem of merging multiple sources information is central in many information processing areas such as databases integrating problems, multiple criteria decision making, expert opinion pooling, etc. Recently, several approaches have been proposed to merge classical propositional bases, or sets of (non-prioritized) goals. These approaches are in general semantically defined. Like in belief revision, they use priorities, generally based on Dalal's distance, for merging the classical bases and return a new classical base as a result. An immediate consequence of the (...) generation of a classical base is the impossibility of iterating the fusion process in a coherent way w.r.t. priorities since the underlying ordering is lost. This paper presents a general approach for fusing prioritized bases, both semantically and syntactically, when priorities are represented in the possibilistic logic framework. Different classes of merging operators are considered including conjunctive, disjunctive, reinforcement and adaptive operators. We show that the approaches which have been recently proposed for merging classical propositional bases can be embedded in this setting. The result is then a prioritized base, and hence the process can be coherently iterated. Moreover, we also provide a syntactic counterpart for the fusion of classical bases. (shrink)

This paper argues that, given the representational theory of mind, one cannot know a priori that one knows that p as opposed to being incapable of having any knowledge states; but one can know a priori that one knows that p as opposed to some other proposition q.

Most elderly patients die with an order in place that they not be given cardiopulmonary resuscitation . Surveys have shown that many elderly in different parts of the world want to be resuscitated, but may lack knowledge about the specifics of cardiopulmonary resuscitation . Data from countries other than the US is limited, but differences in physician and patient opinions by nationality regarding CPR do exist. Physicians’ own preferences for CPR may predominate in the DNR decision making process for (...) their patients, and many physicians may not want the participation of the elderly or believe that it is necessary. More complete and earlier discussions of a wider range of options of care for patients at the end of life have been advocated. The process ought to include education for patients about the process and efficacy of CPR, and for physicians on how to consider the values and levels of knowledge of their patients, whose preferences may differ from their own. (shrink)

In the 1620s, the expansionist politics of the Dutch West India Company focussed on areas of present-day Brazil, then colonised by the Portuguese. For only a few years, the United Provinces appropriated the North-Eastern part of the country, where Count Johan Maurits van Nassau-Siegen spent seven years as Governor of Dutch Brazil (1636-1643). Johan Maurits presented himself as a humanistic ruler whose entourage included artists and scholars, like the painters Albert Eckhout and Frans Post, the physician Willem Piso and the (...) German naturalist and astronomer Georg Markgraf. The artists and explorers produced knowledge about the country and its populations which proved to be formative for the next two centuries - based on close observation and simultaneously with the distanced gaze of the colonist. The essay focuses on a picture series, which Eckhout perhaps painted for the residence in Mauritsstad (todays Recife). It consists of a serial typology of different peoples of the region and still lifes. Especially the still lifes - as exponents of a genre central for Dutch painting - expose negotiations between the artist’s knowledge of genre traditions, the Eurocentric hierarchies implied in colonial knowledge formations and his individual experience of landscape and people. The presentation will analyse the transformation of traditional artists’ knowledge in conflict with individual experience of alterity, framed by the conditions of colonialism. (shrink)

Higher-order representations are those that are about other representations. Humans and some other animals form higher-order mental representations concerning representations in our own minds, through the operation of processes of metacognition and introspection. These have been linked with a wide range of mental capacities and attributes, including consciousness. Recent research on large language models (LLMs) has explored their knowledge of their own ‘minds’, sometimes suggesting that these models represent their own inner representational states in activations. This paper surveys this (...) research, arguing that there is some evidence of higher-order representation in LLMs but that substantial empirical and philosophical questions remain unresolved. (shrink)