This paper presents a diagrammatic notation for visualizing epistemic entities and relations. The notation was created during the Visualizing Worldviews project funded by the University of Toronto’s Jackman Humanities Institute and has been further developed by the scholars participating in the university’s Research Opportunity Program. Since any systematic diagrammatic notation should be based on a solid ontology of the respective domain, we first outline the current state of the scientonomic ontology. We then proceed to providing diagrammatic (...) tools for visualizing the epistemic entities and relations of this ontology. These basic diagramming techniques allow us to construct diagrams of various types for both synchronic and diachronic visualizations. The paper concludes by highlighting some future research directions. As the notation presented here is de facto accepted and used in scientonomy, the paper suggests no modifications. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that (...) one of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

The only subtype of epistemic agent currently recognized within scientonomy is community. The place of both individuals and epistemic tools in the scientonomic ontology is yet to be clarified. This paper extends the scientonomic ontology to include epistemic agents and epistemic tools as well as their relationship to one another. Epistemic agent is defined as an agent capable of taking epistemic stances towards epistemic elements. These stances must be taken intentionally, that is, based (...) on a semantic understanding of the epistemic element in question and its available alternatives, with reason, and for the purpose of acquiring knowledge. I argue that there can be both communal and individual epistemic agents. Epistemic agents are linked by relationships of authority delegation based on their differing areas of expertise. Having established the role of epistemic agents in the process of scientific change, I then turn to the role of epistemic tools, such as a thermometer, a text, or a particle accelerator in epistemic activities. I argue that epistemic tools play a different role in scientific change than do epistemic agents. This role is specified by an agent’s employed method. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge for answering some question under the employed method of the agent. An agent is said to rely on such a tool. (shrink)

Could groups ever be an understanding subject (an epistemic agent ascribed with understanding) or should we keep our focus exclusively on the individuals that make up the group? The way this paper will shape an answer to this question is by starting from a case we are most willing to accept as group understanding, then mark out the crucial differences with an unconvincing case, and, ultimately, explain why these differences matter. In order to concoct the cases, however, we need (...) to elucidate what it means to be attributed with understanding and what makes up an epistemic agent. I shall argue that it is abilities, above all, that guide our attributions of understanding. While it is true that understanding must go beyond single acts, this is not going beyond as in going behind them (to private occurrences which are impossible to discern and don’t themselves contribute anything of value), but beyond as in considering what people could and would do: their discernable and valuable abilities. To conceptualize whom the abilities belong to, I will specify what it means to be an epistemic agent. I shall argue that it is being a successful target of the epistemic stance. The epistemic stance (heavily inspired by Dennett’s intentional stance) forms an instrumental abstraction by attributing epistemic properties (i.e., beliefs, epistemic aims, problem-solving tactics) to an entity to explain or predict its behavior. Macro-systematicity (a higher-level pattern which a theory can exploit) is what makes the epistemic stance’s abstraction an explanatory powerful one (regardless of how that macro-systematicity is realized) and emergence (the lack of a straightforward mapping-relation between the micro and the macro) is what makes its power unique to a particular level of explanation. To end, I suggest two kinds of mapping-relations and walk through the shift from reducibility to emergence. (shrink)

The sociotechnical domain is the realm of scientists, the communities and institutions they form, and the tools and instruments they use to create, disseminate, and preserve knowledge. This paper reviews current scientonomic theory concerning this domain. A core scientonomic concept is that of an epistemic agent. Generally, an agent is an entity capable of intentional action—action that has content or meaning due to its purposeful direction towards a goal. An epistemic agent is one whose actions are the (...) taking of epistemic stances, such as acceptance or rejection, towards epistemic elements, like theories or questions. An epistemic agent must semantically understand the propositions in question, and their alternatives, and choose among them with reason, with the motive of acquiring knowledge. The most obvious example of an epistemic agent is an individual human being. Rejecting the network of practitioners view, current scientonomic theory argues that appropriately organized communities of scientists can also function as epistemic agents. Communal epistemic agents are of particular scientonomic importance. Whereas the methods of theory assessment of individual scientists can be idiosyncratic, scientonomic theory contends that the taking of epistemic stances by scientific communities is a lawful, rule-governed process. A second concept of central importance is that of an epistemic tool. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge under the method employed by that agent. The agent is then said to rely on the tool. (shrink)

The sociotechnical domain is the realm of scientists, the communities and institutions they form, and the tools and instruments they use to create, disseminate, and preserve knowledge. This paper reviews current scientonomic theory concerning this domain. A core scientonomic concept is that of an epistemic agent. Generally, an agent is an entity capable of intentional action—action that has content or meaning due to its purposeful direction towards a goal. An epistemic agent is one whose actions are the (...) taking of epistemic stances, such as acceptance or rejection, towards epistemic elements, like theories or questions. An epistemic agent must semantically understand the propositions in question, and their alternatives, and choose among them with reason, with the motive of acquiring knowledge. The most obvious example of an epistemic agent is an individual human being. Rejecting the network of practitioners view, current scientonomic theory argues that appropriately organized communities of scientists can also function as epistemic agents. Communal epistemic agents are of particular scientonomic importance. Whereas the methods of theory assessment of individual scientists can be idiosyncratic, scientonomic theory contends that the taking of epistemic stances by scientific communities is a lawful, rule governed process. A second concept of central importance is that of an epistemic tool. A physical object or system is an epistemic tool for some epistemic agent if there is a procedure by which the tool can provide an acceptable source of knowledge under the method employed by that agent. (shrink)

The representational epistemic approach to the design of visual displays and notation systems advocates encoding the fundamental conceptual structure of a knowledge domain directly in the structure of a representational system. It is claimed that representations so designed will benefit from greater semantic transparency, which enhances comprehension and ease of learning, and plastic generativity, which makes the meaningful manipulation of the representation easier and less error prone. Epistemic principles for encoding fundamental conceptual structures directly in representational schemes (...) are described. The diagrammatic recodification of probability theory is undertaken to demonstrate how the fundamental conceptual structure of a knowledge domain can be analyzed, how the identified conceptual structure may be encoded in a representational system, and the cognitive benefits that follow. An experiment shows the new probability space diagrams are superior to the conventional approach for learning this conceptually challenging topic. (shrink)

Diachronic uncertainty, uncertainty about where an agent falls in time, poses interesting conceptual difficulties. Although the agent is uncertain about where she falls in time, this uncertainty can only obtain at a particular moment in time. We resolve this conceptual tension by providing a transformation from models with diachronic uncertainty relations into “equivalent” models with only synchronic uncertainty relations. The former are interpreted as capturing the causal structure of a situation, while the latter are interpreted as capturing (...) its epistemic structure. The models are equivalent in the sense that agents pass through the same information sets in the same order, In this paper, we investigate how such a transformation may be used to define an appropriate notion of equivalence, which we call epistemic equivalence. Although our project is motivated by problems which have arisen in a variety of disciplines, especially philosophy and game theory, our formal development takes place within the general and flexible framework provided by epistemic temporal logic. (shrink)

I present an account of epistemic autonomy as a distinctively wide-ranging epistemic virtue, one that helps us to understand a range of phenomena that might otherwise seem quite disparate – from the appropriate selection of epistemic methods, stances and topics of inquiry, to the harms of epistemic oppression, gaslighting and related phenomena. The account draws on four elements commonly incorporated into accounts of personal autonomy: (i) self-governance, (ii) authenticity, (iii) self-creation and (iv) independence. I further argue (...) that for a distinctively epistemic virtue of autonomy; the above elements must ultimately reliably lead to valuable epistemic goods (for the agent herself and others). I then turn to the domains or ways in which epistemic autonomy so understood, can be made manifest. I suggest that epistemic autonomy is a virtue that allows us to appropriately choose (i) subject matters and areas of inquiry, (ii) methods, sources, and processes of belief formation, (iii) epistemic goals and (iv) epistemic stances or frameworks. So understood, epistemic autonomy has a role to play in shaping most every aspect of our epistemic lives. (shrink)

Starting from the virtual reality technology, the characteristics of its most suitable combination with the library are explored, so as to lay a foundation in theory and practice to promote the development of virtual reality in the library. In the concentration camp of the latest advanced technology, the relevant technologies used in the various levels of models in the smart library are extracted, and their functional principles and applications are systematically introduced; Chapter 4 builds the level of the smart library (...) information retrieval technology model. The structure diagram, various levels of functions, and related smart service models are discussed. Research is on context construction of extended resources of knowledge service in smart libraries. The elements and content of the resource context are introduced, and the strategy of constructing the resource context for the extension of the knowledge service of the smart library is proposed. Research is on the construction of the context of the extension and interconnection of knowledge services in smart libraries. The relevant elements and contents of the technical context and the spatial context are introduced, and a strategy for constructing a connected context for the extension of the knowledge service of a smart library is proposed. Research is on the context construction of knowledge service extension of smart library. The elements and contents of the service context are introduced, and the strategy of constructing the service context of the knowledge service extension of the smart library is proposed. A visual model of information retrieval is constructed. The model integrates the core steps of the information visualization process and introduces the information space and functional system in the information construction theory into it and through five mapping layers and six spatial layers, which describe visualization applications that target the user experience model in information construction build process. (shrink)

In the previous paper with a similar title :311–344, 2018), we presented a family of propositional epistemic logics whose languages are extended by two ingredients: by quantification over modal operators or over agents of knowledge and by predicate symbols that take modal operators as arguments. We denoted this family by \}\). The family \}\) is defined on the basis of a decidable higher-order generalization of the loosely guarded fragment of first-order logic. And since HO-LGF is decidable, we obtain (...) the decidability of logics of \}\). In this paper we construct an alternative family of decidable propositional epistemic logics whose languages include ingredients and. Denote this family by \}\). Now we will use another decidable fragment of first-order logic: the two variable fragment of first-order logic with two equivalence relations +2E) [the decidability of FO\+2E was proved in Kieroński and Otto :729–765, 2012)]. The families \}\) and \}\) differ in the expressive power. In particular, we exhibit classes of epistemic sentences considered in works on first-order modal logic demonstrating this difference. (shrink)

In this paper I discuss the power of corporations as epistemic agents. Corporations need to hold certain forms of knowledge in order to develop and produce goods and services. Intellectual property is meant to incentivize them to do so, in ways that orient their activities towards the public good. However, corporations often use their knowledge strategically, not only within markets, but also in the processes that set the rules for markets. I discuss various historical examples, including the (...) so-called “tobacco strategy” of creating doubt about scientific evidence, and argue that as long as corporations are set up as profit-oriented entities, it is a dangerous strategy to provide them with too much epistemic power. I suggest various policies for reigning in this form of corporate power, for example regulations on PR activities. I then turn to the power of digital corporations, which is based on their collection and analysis of data. These kinds of companies, and the technologies they use, make the control of corporations as epistemic agents all the more urgent for democratic societies. (shrink)

In this paper, I develop a theory of how claims about an agent’s normative reasons are sensitive to the epistemic circumstances of this agent, which preserves the plausible ideas that reasons are facts and that reasons can be discovered in deliberation and disclosed in advice. I argue that a plausible theory of this kind must take into account the difference between synchronic and diachronic reasons, i.e. reasons for acting immediately and reasons for acting at some later point (...) in time. I provide a general account of the relation between synchronic and diachronic reasons, demonstrate its implications for the evidence-sensitivity of reasons and finally present and defend an argument for my view. (shrink)

In the article, I discuss some ideas of the type theoretical grammar of Aarne Ranta and the analysis of the problem of Quine (Ralph and Ortcutt), which Oleg Domanov implemented by means of this theory. There are more similarities than differences in TT grammar with well-known ideas, including “fine grinding” of meanings, counterparts, procedural understanding of – intensions. The main problem, which, in my opinion, exists in the TT grammar, consists in understanding how another agent’s epistemic attitudes can be (...) justified for me. Ranta proceeds from the metaphor of the agent as a calculator, which for the general case is unacceptable. I believe that the interpretation of the epistemic attitudes of another agent must be externalistic, that is, referring not to the agent’s worlds, but to his actions in the actual world: “agent X believes that A” is true when the interpreter sees the behavior of the agent in situations that the interpreter would consider adequate for himself if he believed A and would be “in place” of X. To formalize here, it would take complicated tools which are used for describing actions. I’ve come to the conclusion that an understanding of the type in TT grammar makes it intensional in some extended sense, since the working with the naming relation is already an element of a specific pragmatics. (shrink)

Computation and formalization are not modalities of pure abstractive operations. The essay tries to revise the assumption of the constitutive nonsensuality of the formal. The argument is that formalization is a kind of linear spatialization, which has significant visual dimensions. Thus, a connection can be discovered between visualization by figurative graphism and formalization by symbolic calculations: Both use spatial relations not only to represent but also to operate on epistemic, nonspatial, nonvisual entities. Descartes was one of the pioneers of (...) using this kind of two-dimensional spatiality as a cognitive instrument. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions (...) between time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

In this book, I will discuss three main topics: the roots and aims of scientific knowledge, scientific knowledge in society, and science and values I understand scientific knowledge as being a planned and continuous production of the general and common knowledge of scientific communities. I begin my discussion with a brief analysis of the main differences between sciences, on the one hand, and everyday experience, philosophies, religions, and ideologies, on the other. I define the concept of (...) science as a set of family resemblances (in Wittgenstein's sense). The sciences can be distinguished along three lines, in terms of the difference between empirical and non-empirical sciences, differences in degrees of theoretical and methodological structure among individual sciences and scientific disciplines. Scientific knowledge is based upon some grounds, paradigmatic knowledge bases. Scientific knowledge is founded on a unified paradigmatic knowledge base. The latter includes fundamental theories, basic facts, generally accepted empirical regularities (laws), scientific research methods, scientific explanations, and established relations to other sciences. Scientific knowledge in general is defined well in classical terms by the definition that knowledge is a true and rationally-justified belief. In this connection, scientific truth is relative, depending on the given paradigmatic knowledge base and on the precision and accessibility of the measurements and observations involved. In the book's first part, I consider the production and testing of scientific hypotheses, scientific explanations, the structure of scientific theories, and the problem of scientific realism. I consider explanation an integral part of a wider nexus of heuristic and theoretical activities in science like giving reasons, understanding, clarification, and founding. Continuous production of scientific explanations is a necessary condition for the systematic reproduction of scientific knowledge. Accordingly, it does not suffice to describe them in terms of the logical structure of the arguments on which they are based, but rather, scientific explanations ought to be given complete with an epistemic and pragmatic context of the explanation. I consider especially deductive-nomological, inductive-statistical, dispositional, teleological-functional, and genetic explanations. I emphasize the ever-increasing importance of explanations by analogy and by model. Orthogonal to these distinctions lies the distinction between causal and epistemic explanation. Epistemic explanations relate scientific discoveries to epistemic progress, and causal explanations are these epistemic explanations that relate scientific discoveries to reality too. Causal explanations inform us that certain changes occur in the world as agents of other changes, or rather, that certain changes are real consequences of other changes. Thus, by having explanations of causes, we can intervene in the world to induce by design certain changes in some course of phenomena. I consider scientific theories as logically and epistemically ordered wholeness of scientific knowledge in a realm of research that enables us to construct useful models of reality. After the discussion of different 'statement' views on theories and different interpretations of the theory-experience relation, I introduce the 'model' theoretical (non-statement) views on theories, especially the structural theory of science. The model views on theories transcend the realism-antirealism dualism by introducing models between theory and reality. Therefore, the question of scientific realism is not merely whether and, if so, which element(s), of scientific theories represent reality, but rather which conditions suffice to infer from a theory that one of its models truly expresses reality. In other words, under which conditions do models of a theory represent models of reality? Generally, models are just as much images of reality in a theory as they are images of a theory in reality. The actual problem of scientific realism doesn't originate in the observable-unobservable distinction (even if this distinction is otherwise theoretically loaded), but rather in ontological quandaries, of the sort especially encountered in modern physical theories such as quantum mechanics, relativity theory, and cosmological theories, although they are known to arise in other sciences as well. Scientific theories may be real, even if they describe nothing about the world. However, such theories can be given this status only if their formal, mathematical postulates exhibit some formal homology between reality and mathematical forms. The very fact that it is possible to describe reality with the help of mathematics even in cases, where every (representational, conceptual) language and thought fall short, would indicate that even mathematics itself is, in some sense, a part of reality, although 'outside' of the empirical world. It follows we have to distinguish the non-empirical reality and the empirical world. Formal objectivity and non-arbitrariness of theories do not emerge from either our language or thoughts, or from the world of facts, causes, and effects, but rather from non-empirical reality, which frames the world as some kind of objective transcendental condition for the possibility of the existence of the world, thoughts, and language. In the second part of the book, I consider the incorporation of scientific work and scientific knowledge into modern society and its relations to values and ethics. Production of scientific knowledge goes on as a parallel distributed process of a special kind of social (shared) cognition. The central part of this cognition is the presentation of parts of the world by scientific (theoretical) models which are warranted by the shared and public practice of justification, and in reflective acting in the world as it would. I consider various formal concepts of collective propositional knowledge (distributed, mutual, common knowledge). Scientific knowledge is an achievement to be ascribed to a scientific community or, indirectly, to all those who apply or expand it, rather than to individuals per se. It presents the continuous and partially planned production of non-trivial common knowledge of the research communities in modern societies. However, besides common knowledge, shared dispositional knowledge (knowledge how of scientific teams) and shared knowledge by acquiring (knowledge of fundamental similarities and differences in scientific teams) are parts of the real body of scientific knowledge. Scientific common knowledge implies the projection into idealized universal knowledge of all real or potentially rational and well-informed individuals. The respect of scientific knowledge thus presents the norm of rationality. Science as the intensively shared and socially distributed kind of cognition enters into modern society as a special kind of work (general work), as a productive force (social invention drive), and as a form of capital (human, social, cultural, informational, etc.). However any of these categories can adequately represent the socio-economical role of science in modern societies, and we are still waiting for a more adequate general concept that would theoretically cover the 'scientification' of modern societies. My thesis is that the most important general effect of scientification is (and will be) the growth of social processes that structurally resemble parallel distributed shared social cognition of science, and not so much the rise of the use of scientific knowledge and scientifically based information in all kinds of production. Scientification of modern societies inevitably includes a much stronger need for moral and social responsibility of scientists for their work and its effects in their local society and the global world. This need comes in contradiction with the quite large accepted idea (and even the 'norm') on value-free research. I discuss to some degree different arguments for the absence of non-epistemic values and ethical reasoning from science and find them non-convincing. The sound idea of value-free research lies in the need for the absence of categorical value statements from scientific explanations and theoretical deductions. Values and ethical judgment have, and sometimes they even have to play an important role in another part of research and its application in science or outside it. Not the value-loudness of research is a danger for science but its blind, non-reflective use. It leads to the ideologization and politicization of science. A similar danger lies in the purely value-neutrality of research. It leads to the instrumentalization of science to the technical or bureaucratic means for 'any' aims. (shrink)

Sociologists, philosophers and historians of science are gradually recognizing the importance of visual representation. This is part of a more general movement away from a theory-centric view of science and towards an interest in practical aspects of observation and experimentation. Rather than treating science as a matter of demonstrating the logical connection between theoretical and empirical statements, an increasing number of investigations are examining how scientists compose and use diagrams, graphs, photographs, micrographs, maps, charts, and related visual displays. This paper (...) focuses on diagrams in biology, and tries to demonstrate how diagrams are an integral part of the production of scientific knowledge. In order to disclose some of the distinctive practical and analytical uses of diagrams, the paper contrasts the way diagrams and photographs are used in biological texts. Both diagrams and photographs are shown to be “constructions” that separately and together mediate the investigation of scientific phenoman. (shrink)

This article focuses on epistemic challenges related to the democratisation of scientific knowledge production, and to the limitations of current social accounts of objectivity. A process of ’democratisation’ can be observed in many scientific and academic fields today. Collaboration with extra-academic agents and the use of extra-academic expertise and knowledge has become common, and researchers are interested in promoting socially inclusive research practices. As this development is particularly prevalent in policy-relevant research, it is important that the new, (...) more democratic forms of research be objective. In social accounts of objectivity only epistemic communities are taken to be able to produce objective knowledge, or the entity whose objectivity is to be assessed is precisely such a community. As I argue, these accounts do not allow for situations where it is not easy to identify the relevant epistemic community. Democratisation of scientific knowledge production can lead to such situations. As an example, I discuss attempts to link indigenous oral traditions to floods and tsunamis that happened hundreds or even thousands of years ago. (shrink)

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two (...) concepts. Mental operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

ABSTRACT Historians of science, inasmuch as they are concerned with knowledges and practices rather than institutions, have tended of late to focus on case studies of common processes such as experiment and publication. In so doing, they tend to treat science as a single category, with various local instantiations. Or, alternatively, they relate cases to their specific local contexts. In neither approach do the cases or their contexts build easily into broader histories, reconstructing changing knowledge practices across time and (...) space. This essay argues that by systematically deconstructing the practices of science and technology and medicine (STM) into common, recurrent elements, we can gain usefully “configurational” views, not just of particular cases and contexts but of synchronic variety and diachronic changes, both short term and long. To this end, we can begin with the customary actors’ disciplines of early modern knowledge (natural philosophy, natural history, mixed mathematics, and experimental philosophy), which can be understood as elemental “ways of knowing and working,” variously combined and disputed. I argue that these same working knowledges, together with a later mode—synthetic experimentation and systematic invention—may also serve for the analysis of STM from the late eighteenth century to the present. The old divisions continued explicitly and importantly after circa 1800, but they were also “built into” an array of new sciences. This historiographic analysis can help clarify a number of common problems: about the multiplicity of the sciences, the importance of various styles in science, and the relations between science and technology and medicine. It suggests new readings of major changes in STM, including the first and second scientific revolutions and the transformations of biomedicine from the later twentieth century. It offers ways of recasting both microhistories and macrohistories, so reducing the apparent distance between them. And it may thus facilitate both more constructive uses of case studies and more innovative and acceptable longer histories. (shrink)

The founder of both American pragmatism and semiotics, Charles Sanders Peirce is widely regarded as an enormously important and pioneering theorist. In this book, scholars from around the world examine the nature and significance of Peirce’s work on perception, iconicity, and diagrammatic thinking. Abjuring any strict dichotomy between presentational and representational mental activity, Peirce’s theories transform the Aristotelian, Humean, and Kantian paradigms that continue to hold sway today and, in so doing, forge a new path for understanding the centrality (...) of visual thinking in science, education, art, and communication. The essays in this collection cover a wide range of issues related to Peirce’s theories, including the perception of generality; the legacy of ideas being copies of impressions; imagination and its contribution to knowledge; logical graphs, diagrams, and the question of whether their iconicity distinguishes them from other sorts of symbolic notation; how images and diagrams contribute to scientific discovery and make it possible to perceive formal relations; and the importance and danger of using diagrams to convey scientific ideas. This book is a key resource for scholars interested in Perice’s philosophy and its relation to contemporary issues in mathematics, philosophy of mind, philosophy of perception, semiotics, logic, visual thinking, and cognitive science. (shrink)

Evidentialism as Earl Conee and Richard Feldman present it is a philosophy with distinct aspects or sides: Evidentialism as a conceptual analysis of epistemic justification, and as a prescriptive ethics of belief. I argue that Conee and Feldman's ethics of belief has 'weak roots and sour fruits.' It has "weak roots" because it is premised on their account of epistemic justification qua synchronic rationality, and this is neither necessary nor sufficient for knowledge. Also, Conee and Feldman's (...) thesis O2 (An agent ought to always have just exactly that attitude towards a proposition supported by his / her evidence at that particular moment) is not support by in their “Ethics of Belief” article by V3 (Being synchronically rational at every moment is uniformly what it is to constitute epistemic success and to maximize epistemic value). That austere ethics of belief has "sour fruits" because the austere evidentialist ethic of belief is unable to support reasonable disagreement, and conflates psychographic contrareity epistemic fault or irrationality. The "hard line" and universal agnostic suspension it takes as the only rational stances of disagreement are really caricatures of different extreme responses to contrareity found among dogmatists and skeptics, respectively. I contrast this with John Rawls' understanding of "reasonable pluralism" and of the many sources of faultless disagreement over what Rawls termed comprehensive conceptions of the good. (shrink)

One emerging issue in contemporary epistemology concerns the relation between animal knowledge, which can be had by agents unable to take a view on the epistemic status of their attitudes, and reflective knowledge, which is only available to agents capable of taking such a view. Philosophers who are open to animal knowledge often presume that while many of the beliefs of human adults are formed unreflectively and thus constitute mere animal knowledge, some of them—those (...) which become subject of explicit scrutiny or are the result of a deliberative effort—may attain the status of reflective knowledge. According to Sanford Goldberg and Jonathan Matheson (2020), however, it is impossible for reflective subjects to have mere animal knowledge. If correct, their view would have a number of repercussions, perhaps most notably the vindication of a dualism about knowledge, which would frustrate attempts to provide a unified account of knowledge-attributions to human adults, very young children, and non-human animals. I discuss Goldberg and Matheson’s proposal, outline some of the ways in which it is insightful, and argue that it is ultimately unsuccessful because it neglects the inherent temporal dimension of knowledge acquisition. While the article is pitched as a reply to Goldberg and Matheson, its primary aim is to highlight significant connections between the debates on the relation between animal and reflective knowledge, propositional and doxastic justification, and the theory of epistemic defeat. (shrink)

In this paper I concentrate on Euclidean diagrams, namely on those diagrams that are licensed by the rules of Euclid’s plane geometry. I shall overview some philosophical stances that have recently been proposed in philosophy of mathematics to account for the role of such diagrams in mathematics, and more particularly in Euclid’s Elements. Furthermore, I shall provide an original analysis of the epistemic role that Euclidean diagrams may have in empirical sciences, more specifically in physics. I shall claim that, (...) although the world we live in is not Euclidean, Euclidean diagrams permit to obtain knowledge of the world through a specific mechanism of inference I shall call inheritance. (shrink)

Jenann’s central metaphysical thesis is that there is an objective conditional probability function PrG(A/B), the domain of which includes a great many, perhaps all, pairs of contingent propositions. This pair can be synchronic or diachronic: both can concern how things are at the same time, or not. Jenann’s central epistemological thesis is antiskepticism about PrG, in the following sense: prima facie, the subjective credence functions of epistemically reasonable agents converge on PrG: roughly, if you’ve done a lot of (...) science, for all A, B, your C(A/B) is similar to PrG(A/B). (Compare antiskepticism about perceptual knowledge: prima facie, if circumstances are good and one’s visual experience represents that p, p.) These theses have two cool consequences: first, the possibility of a novel approach to objective Bayesianism; second, a way of doing away with dynamical laws. (shrink)

According to the deductivist view of mathematics which became the rule during the nineteenth century, formal proofs working with symbolic formulas replaced the intuitive knowledge that used to be gained by the step-by-step construction of geometric fgures and diagrams. Twentieth century epistemological refection on symbolic formulas and formal proofs, however, took them to be diagrams respectively exhibiting formal relations and transformations. The claim was also made that, for such diagrams to be proofs, temporal displays of transformations—and of other speech (...) acts—were required. By returning to the signifcant elements of contemporary theories of mathematical proofs, we will here show how these proofs came to be a matter for semiotics and pragmatics as much as for formal logic. Once this is done, we will provide a few arguments against the standard objections to the ability of diagrams to present temporal order or perform speech acts. (shrink)

In this article, the epistemological interpretation of the relationship between concepts of relativism, beliefs, and probability ensures a defense of two theses, namely, (i) epistemic relativism refers to attitudes that depend on the repetition and anchoring of probabilistic beliefs, and (ii) Popper’s propensity interpretation of probability discloses the connections between relativity, probability, and collective subjectivity. The propensity interpretation brings a framework for describing the role of collective subjectivity in epistemic systems. This approach, as an acceptable epistemological stance, is (...) related to the variability of anchored collective beliefs. The repetition and anchoring of subjective probabilistic beliefs becomes a relative reference frame for evaluating the elements of knowledge. With this in mind, each particular way of considering probability indicates a manner of distinguishing epistemic systems. In epistemic systems, the statements are collective points of view expressed in the form ‘p is justified when belief in p is probably reliable.’ The statements can be accurate in a particular epistemic system but inaccurate in other systems. As a result, by avoiding the ‘all statements must be true or false’ requirement, each proponent of a certain epistemic system can build a probabilistic picture of the world. In this picture, not every statement needs to be ‘true’ when and if the statement expresses a collective point of view that has a propensity to be reliable and justified. (shrink)

Although the members’ categories associated with institutional settings may seem obvious, more can be said about the actions that make them noticeable and persistent across contexts. This study investigates how epistemic stance displays make the standardized relational pair ‘teacher–student’ relevant during writing conferences in a US university. Analysis of the interaction between teachers and their students shows that teachers tended to display more knowledgeable stances concerning writing and institutional practices, whereas students displayed knowledgeable stances with respect to their own (...) papers, indexing the immediate relevance of the ‘teacher–student’ relational pair and a tension between authority and autonomy. Further analysis reveals that participants also mentioned past and future writing activities, thus indexing the persistence of the ‘teacher–student’ pair as well as the emergence of the category ‘autonomous writer’. Additionally, participants’ orientation to the more general ‘writer–reader’ pair also functioned to index the persistent and emergent aspects of these categories. (shrink)

Simulation as an epistemic tool between theory and practice: A Comparison of the Relationship between Theory and Simulation in Science and in Folk Psychology In this paper I explore the concept of simulation that is employed by proponents of the so-called simulation theory within the debate about the nature and scientific status of folk psychology. According to simulation theory, folk psychology is not a sort of theory that postulates theoretical entities (mental states and processes) and general laws, but a (...) practice whereby we put ourselves into others’ shoes and simulate their situation from our own perspective. On the basis of this sort of simulation, we supposedly know how we would act or think or feel, and then expect the same of others. A closer look at the concept of simulation reveals some problems with this view, but also helps to clarify the insight motivating simulation theory. Specifically, I defend the thesis that the analogy to simulations in science shows us how theoretical elements in folk psychology can be complemented by (i.e. not replaced by) the central idea of simulation theory – namely that our own cognitive habits and dispositions provide us with a resource that is distinct from propositional knowledge in folk psychology. I also discuss the idea that our use of simulations during cognitive development enables us to imitate the people around us and thereby to become more similar to them, which in turn makes simulation an increasingly effective epistemic strategy. Insofar as theoretical elements – such as the distinctions, relations, and entities referred to in folk psychological discourse – play a role in imitative learning, they are causally embedded in our cognitive development, so we have good reason to regard them as being among the real causes of our behavior. (shrink)

This paper examines the Stoic account of apprehension (κατάληψις) (a cognitive achievement similar to how we typically view knowledge). Following a seminal article by Michael Frede (1983), it is widely thought that the Stoics maintained a purely externalist causal account of apprehension wherein one may apprehend only if one stands in an appropriate causal relation to the object apprehended. An important but unanswered challenge to this view has been offered by David Sedley (2002) who offers reasons to suppose (...) that the Stoics (or at least Zeno, the founder of the Stoa) did not make such a causal stipulation. I offer a defence of the traditional, causal reading against the challenges raised by Sedley but also argue, against the traditional view, that the Stoic account incorporated an internalist element. On the hybrid account defended here, in order to apprehend not only must the agent stand in an appropriate causal relation to the object apprehended but the agent’s appearance of the object must also be clear (a feature which is accessible to the epistemic agent). The traditional scholarly view rejects internalist interpretations because it is thought that such interpretations cannot make sense of the Stoics’ discussion of the ‘automatic assent’ produced by kataleptic appearances and a purely externalist view is taken to be charitable insofar as it saves the Stoics from a vicious regress which they would otherwise face (were they internalists). I spell out how the regress might be taken to function and defend an internalist interpretation against both these charges. The internalist element embraced by the Stoics does not lead to the problems it is often thought to and the account defended here not only does justice to the textual evidence but also sheds light on the Stoic debates with their sceptical opponents and grants the Stoics an epistemic account fit for purpose. (shrink)

We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable (...) languages has good closure properties, leading to a Kleene-type theorem using what we call regular knowledge expressions. These automata model distributed causal knowledge in the following way: each agent in the system has a partial knowledge of the temporal evolution of the system, and every time agents synchronize, they update each other’s knowledge, resulting in a more up-to-date view of the system state. Hence we show that these automata can be used to solve the satisfiability problem for a natural epistemic temporal logic for local properties. Finally, we characterize the class of languages recognized by epistemic automata as the regular consistent languages studied in concurrency theory. (shrink)

In this paper, I offer a contribution to the debate on testimony that rests on three elements: the definition of semantic information, the analysis of trust as a second?order property of first?order relations, and Floridi?s Network Theory of Account (NTA). I argue that testimony transmits semantic information and it is neither grounded on trust nor justified by it. Instead, I show that testimony is an occurrence of a first?order relation of communication affected by the second?order property of trust. I (...) then defend the view that an epistemic agent can acquire some knowledge, on the basis of the information communicated through testimony, if and only if the agent is able to connect the transmitted information to the conceptual network of interrelation to which it belongs. I refer to Floridi?s NTA to show how such a network allows the epistemic agent to achieve knowledge on the basis of semantic information. (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)

This book is the first collective volume specifically devoted to the multifaceted phenomenon of intensification, which has been traditionally regarded as related to the expression of degree, scaling a quality downwards or upwards. In spite of the large amount of studies on intensifiers, there is still a need for the characterization of intensification as a distinct functional category in the domain of modification. The eighteen papers of the volume contribute to this aim with a new approach (mainly corpus-based). They focus (...) on intensification from different perspectives (both synchronic and diachronic) and theoretical frameworks, concern ancient languages (Hittite, Greek, Latin) and modern languages (mainly Italian, German, English, Kiswahili), and involve different levels of analysis. They also identify and examine different types of intensifiers, applied to different forms and structures, such as adverbs, adjectives, evaluative affixes, discourse markers, reduplication, exclamative clauses, coordination, prosodic elements, and shed light on issues which have not been extensively studied so far. (shrink)

The concept of causation is essential to ascribing moral and legal responsibility since the only way an agent can make a difference in the world is through her acts causing things to happen. Yet the extent and manner in which the complex features of causation bear on responsibility ascriptions remain unclear. I present an analysis of four aspects of causation which yields new insights into different properties of responsibility and offers increased plausibility to certain moral views. Chapter I examines the (...) realist assumption that causation is an objective and mind-independent relation between space-time located relata – a postulate meant to provide moral assessment with a naturalistic basis and make moral properties continuous with a scientific view of the world. I argue that such a realist stance is problematic, and by extension so are the views seeking to tie responsibility attributions to an objective relation. Chapter II combines the context sensitivity of causal claims with the plausible idea that responsibility ascriptions rest on the assessment of causal sequences relating agents and consequences. I argue that taking context sensitivity seriously compels us to face a choice between moral contrastivism and a mild version of scepticism, viz. responsibility is not impossible, but ultimately difficult to identify with confidence. I show why the latter view is preferable. Chapter III explores the concern that group agents would causally overdetermine the effects already caused by their constituent individuals. I argue that non-reductive views of agency and responsibility lack a coherent causal story about how group agents impact the world as relatively independent entities. I explain the practical importance of higher-order entities and suggest a fictionalist stance towards group agency talk. Chapter IV analyses the puzzle of effect selection – if causes have infinitely many effects, but only one or a few are mentioned in causal claims, what determines their selection from the complete set of consequents? I argue that the criteria governing the difference between effects and by-products lack clarity and stability. I use the concerns about appropriate effect selection to formulate an epistemic argument against consequentialism. (shrink)

Standpoint epistemology is committed to a cluster of views that pays special attention to the role of social identity in knowledge‐acquisition. Of particular interest here is the situated knowledge thesis. This thesis holds that for certain propositions p, whether an epistemic agent is in a position to know that p depends on some nonepistemic facts related to the epistemic agent's social identity. In this article, I examine two possible ways to interpret this thesis. My first goal (...) here is to clarify existing interpretations of this thesis that appear in the literature but that are undeveloped and often mistakenly conflated. In so doing, I aim to make clear the different versions of standpoint epistemology that one might accept and defend.This project is of significance, I argue, because standpoint epistemology provides helpful tools for understanding a phenomenon of recent interest: epistemic oppression. My second goal is to provide an analysis that makes clear how each of the readings I put forth can be used to illuminate forms of epistemic oppression. (shrink)

Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency – as though these inferences were a reflexive response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuronlike elements represent a (...) large body of systemic knowledge and perform a range of inferences with such speed? We describe a computational model that takes a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables and perform a class of inferences in a few hundred milliseconds. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model (which we refer to as SHRUTI) achieves this by representing (1) dynamic bindings as the synchronous firing of appropriate nodes, (2) rules as interconnection patterns that direct the propagation of rhythmic activity, and (3) long-term facts as temporal pattern-matching subnetworks. The model is consistent with recent neurophysiological evidence that synchronous activity occurs in the brain and may play a representational role in neural information processing. The model also makes specific psychologically significant predictions about the nature of reflexive reasoning. It identifies constraints on the form of rules that may participate in such reasoning and relates the capacity of the working memory underlying reflexive reasoning to biological parameters such as the lowest frequency at which nodes can sustain synchronous oscillations and the coarseness of synchronization. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts (...) must develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (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)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the (...) fact that agents do not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

This paper deals with the connection between the Boyle-Mariotte-law and the Van der Waals-law from the perspective of the Structuralist Theory Conception as well as the Pragmatic Idealization Concept. It was inspired by an interesting paper by Martti Kuokkanen and Timo Tuomivaara, recently published in this journal.1 One result of the Kuokkanen-Tuomivaara-paper is that the Boyle-Mariotte-law is not an idealized law and therefore not an idealized special case of the Van der Waals-law, but that its models can be expanded to (...) the models of an idealized special case of the Van der Waals-law. From the perspective of idealized diachronic theory-elements and -nets the second part of this result shall be questioned. (shrink)

Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (...) (at a certain level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used. (shrink)

Historians occasionally use timelines, but many seem to regard such signs merely as ways of visually summarizing results that are presumably better expressed in prose. Challenging this language-centered view, I suggest that timelines might assist the generation of novel historical insights. To show this, I begin by looking at studies confirming the cognitive benefits of diagrams like timelines. I then try to survey the remarkable diversity of timelines by analyzing actual examples. Finally, having conveyed this (mostly untapped) potential, I argue (...) that neglecting timelines might mean neglecting significant aspects of reality that are revealed only by those signs. My overall message is that once we accept that relations are as important for the mind as what they relate, we have to pay closer attention to any semiotic device that enables or facilitates the discernment of new relations. (shrink)

Why comply with epistemic norms? In this paper, I argue that complying with epistemic norms, engaging in epistemically responsible conduct, and being epistemically trustworthy are constitutive elements of maintaining good epistemic relations with oneself and others. Good epistemic relations are in turn both instrumentally and finally valuable: they enable the kind of coordination and knowledge acquisition underpinning much of what we tend to associate with a flourishing human life; and just as good interpersonal relations with (...) others can be good for their own sake, standing in good epistemic relations is good for its own sake. On my account, we have reason to comply with epistemic norms because it is a way of respecting the final value of something that also tends to be an instrumentally valuable thing: good epistemic relations. Situating the account within the recent social turn in debates about epistemic instrumentalism, I argue that the dual-value aspect of good epistemic relations can explain important anti-instrumentalist intuitions, in a well-motivated way, within a broadly instrumentalist framework. (shrink)

This paper defends the epistemological importance of ‘diachronic’ or cross-temporal evaluation of epistemic agents against an interesting dilemma posed for this view in Trent Dougherty’s recent paper “Reducing Responsibility.” This is primarily a debate between evidentialists and character epistemologists, and key issues of contention that the paper treats include the divergent functions of synchronic and diachronic (longitudinal) evaluations of agents and their beliefs, the nature and sources of epistemic normativity, and the advantages versus the costs (...) of the evidentialists’ reductionism about sources of epistemic normativity. (shrink)

How a group G can know that p has been the subject of much investigation in social epistemology in recent years. This paper clarifies and defends a form of non-supervenient, non-summative group knowledge: G can know that p even if none of the members of G knows that p, and whether or not G knows that p does not locally supervene on the mental states of the members of G. Instead, we argue that what is central to G knowing (...) that p is whether G has an epistemic structure that is functioning appropriately in accord with the action-related purposes of the group, and this structure may include non-agential elements such as devices that retain or process information. We argue that recent objections to non-summative group knowledge given by Jennifer Lackey do not in fact succeed in undermining the view, but do help to clarify the nature of non-summative group knowledge. The main upshot of our response to Lackey’s objections is that groups put their knowledge into action in ways that often differ from how individuals do so, and social epistemologists should be careful to notice these differences, especially insofar as groups often structure themselves by employing various epistemically-relevant devices. (shrink)

In 2016, Discourse Studies published a special issue on the ‘epistemics of epistemics’ comprising six papers, all of which took issue with a strand of my research on how knowledge claims are asserted, implemented and contested through facets of turn design and sequence organization. Apparently coordinated through some years of discussion, the critique is nonetheless somewhat confused and confusing. In this article, I take up some of more prominent elements of the critique: my work is ‘cognitivist’ substituting causal psychological (...) analysis for the classic conversation analytic focus on the normative accountability of social action, my work devalues and indeed flouts basic tenets of CA methodology such as the ‘next-turn proof procedure’, my analysis of epistemic stance introduces unwarranted themes of conflict and hostility into CA thinking, various concepts that I have introduced involve the invocation of ‘hidden orders’ of social conduct that is inimical to the traditions of our field and that my work rests on an unwarranted ‘informationism’ – the discredited idea that much of human interaction is driven by a need to traffic in information. In this rebuttal, I refute all of these commentaries and correct many other ancillary mistakes of representation and reasoning that inhabit these papers. (shrink)

The work of Luciano Floridi lies at the interface of philosophy, information science and technology, and ethics, an intersection whose existence and significance he was one of the first to establish. His closely related concepts of a philosophy of information (PI), informational structural realism, information logic (IL), and information ethics (IE) provide a new ontological perspective from which moral concerns can be addressed, especially but not limited to those arising in connection with the new information and communication technologies. In this (...) paper, I relate Floridi's approach to another novel perspective, namely, that of an extension of logic to complex real processes, including those of information production and transfer. This non-propositional, non-truth-functional logic (logic in reality (LIR)) is grounded in the fundamental dualism (dynamic opposition) inherent in energy and accordingly present at all levels of reality. The LIR description of the dynamics of processes and their evolution is relevant to what Floridi refers to as the possible non-linguistic aspects of information. It suggests answers to some of Floridi's “outstanding problems” in PI related to the ontological status of information and how it is used in cognition. Floridi's IL retains the formal structure of the doxastic and epistemic logics from which he correctly distinguishes it and is the basis for his conceptual PI. However, LIR fulfills Floridi's implied requirement that logic be regarded as a natural phenomenon dealing with other natural phenomena, recovering its original philosophical function. LIR provides a logical foundation for discussion of ethical questions based on kinds of information that complements IL. Both are reconsiderations of logic that, as Marijuan suggests, may be necessary for the advancement of information technology in an ethical direction (cf. also Brenner). IE focuses on entities as constituted by information in an overall strategy that generalizes the concept of moral agents. LIR and its related ontology naturalize critical aspects of Floridi's theses, especially, the moral value of being as such and a non-separable joint responsibility of individuals and groups. I compare IE to other current approaches to ethics and information technology (e.g., phenomenological and social constructivist). Ethical information is defined “ecologically” in process terms as reality in a physical space (cf. Floridi), with an intentional “valence,” positive and negative, in the morally valued interaction between producer and receiver. LIR is neither topic-neutral nor context independent and can support an ethics involving apparently contradictory perspectives (e.g., internalist and externalist). Ethics involves practical reasoning, and unlike standard logics, LIR supports Magnani's approach to abductive reasoning in rational moral decision making. The basis of moral responsibility and the consequent behavior of individuals involved in information and communications technologies is the same logical–metaphysical principle of dynamic opposition instantiated at other levels of reality. The way moral responsibilities are actively accepted (or not) by individuals supervenes on their primitive psychological structure, which in turn reflects an evolutionary development grounded in the fundamental dualism of the physical world. The paper concludes with some suggestions of areas of philosophical research, such as causality, identity, and the ontological turn, where convergence of the Floridi and LIR approaches might be envisaged. Their overall motivation is the same, namely, the development of strategies for reinforcing and increasing ethical sensitivity wherever possible. The ethical information concept outlined in the paper supports the function of IE, assigned to it by Floridi, of potentially determining what is right and what is wrong. (shrink)