This article aims to contribute to the elucidation of the nature of inquiry. I start with some common desiderata for any theory of inquiry. I then categorize inquiry as a structured process. By focusing on its essential components, I advance a new characterization of inquiry as a combination of questioning attitudes guiding actions. Finally, I turn to the recent objection that questioning attitudes are not necessary for inquiry. I argue that inquiry is a structured process essentially constituted by questioning attitudes (...) having two precise functional roles, initiating and guiding the deployment of cognitive capacities towards an epistemic goal. (shrink)

En este artículo se analiza el caso del descubrimiento del megaterio desde una perspectiva abductiva, prestando atención al proceso de generación y selección de hipótesis de algunos de los actores involucrados en este singular acontecimiento. El análisis muestra la importancia de ciertos puntos metodológicos relacionados con la práctica y el rigor científico para proponer hipótesis plausibles.

An agent-centered, goal-directed, resource-bound logic of human reasoning would do well to note that individual cognitive agency is typified by the comparative scantness of available cognitive resources—information, time, and computational capacity, to name just three. This motivates individual agents to set their cognitive agendas proportionately, that is, in ways that carry some prospect of success with the resources on which they are able to draw. It also puts a premium on cognitive strategies which make economical use of those resources. These (...) latter I callscant-resource adjustment strategies,and they supply the context for an analysis of abduction. The analysis is Peircian in tone, especially in the emphasis it places on abduction’signorance-preservingcharacter. My principal purpose here is to tie abduction’s scarce-resource adjustment capacity to its ignorance preservation. (shrink)

Single-premise epistemic closure is the principle that: if one is in an evidential position to know that P where P entails Q, then one is in an evidential position to know that Q. In this paper, I defend the viability of opposition to closure. A key task for such an opponent is to precisely formulate a restricted closure principle that remains true to the motivations for abandoning unrestricted closure but does not endorse particularly egregious instances of closure violation. I focus (...) on two brands of epistemic theory that naturally incorporate closure restrictions. The first type holds that the truth value of a knowledge ascription is relative to a relevant question. The second holds that the truth value of a knowledge ascription is relative to a relevant topic. For each approach, I offer a formalization of a leading theory from the literature and use this formalization to evaluate the theory’s adequacy in terms of a precise set of desiderata. I conclude that neither theory succeeds in meeting these desiderata, casting doubt on the viability of the underlying approaches. Finally, I offer a novel variant of the topic-sensitive approach that fares better. (shrink)

This paper advances a version of the theory whereby logic had deep origins in democracy, by re-reading Gorgias’ Encomium of Helen. Democracy, ‘the government by debate’, called political (and scientific) attention to the inferential abilities of citizens and to politicians’ ability of taking advantage of them. Sophists, in particular, discovered that people’s inferences follow constant repeatable forms, that these forms have impact on choices and decisions concerning public good, and then by dominating them you dominate politics in democracy. With the (...) Encomium Gorgias launched these ideas, so laying the ground for Aristotle’s science of deduction. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

La noción de mundos posibles, sostiene que nuestro mundo es un mundo entre otros, un subconjunto de todas las cosas que existen. Esto implica aceptar que existen mundos estructuralmente equivalentes con sus propios lenguajes [formales], que entre sí no tienen ningún estatuto privilegiado, p.e., el mundo y lenguaje del arte o el mundo y lenguaje de la física; no obstante, la idea de aceptar otros mundos equivalentes como mundos posibles epistémica y ontológicamente legítimos para acceder y expresar lo cognoscible del (...) mundo no goza de gran aceptación. En este sentido, de entre las múltiples dimensiones de la noción de mundos posibles anotada, su dimensión lógica, es una de las más extendidas, ésta se entiende como un posible estado de cosas o un posible curso de eventos. Empero, esta concepción es la más restrictiva de la noción de mundos posibles, no sólo porque dicha noción transmuta en una especie de «técnica predictiva» que nos permite analizar y visualizar posibles escenarios de un estado de cosas o un curso de eventos, sino porque fundamentalmente, la noción de mundos posibles pierde gran parte de su potencia conceptual. Hablar de proposiciones como conjuntos de mundos posibles, no es un error, pero es limitar innecesariamente el alcance y campo de acción de la noción de mundos posibles. Si entendemos dicha noción en la versión primaría de Lewis [«Nuestro mundo actual es sólo un mundo entre otros»], sería plausible recuperar, entre otras, las dimensiones ontológica y epistémica de la noción de mundos posibles, y por ende la posibilidad objetiva de indagar en formas alternativas y legitimas de acceder y expresar lo cognoscible del mundo; en este sentido, en este trabajo me propongo: (1) retomar la noción primaria de mundos posibles de Lewis, para analizar y explicitar brevemente sus limitaciones, virtudes y requerimientos; (2) examinar las condiciones de posibilidad de un mundo; y, (3) sugerir los lineamientos epistémicos que deberían considerarse y explicitarse cuando se habla de y desde un mundo posible a la hora de expresar un enunciado. (shrink)

Walter Sinnott-Armstrong argues that moral disagreement and widespread moral bias pose a serious problem for moral intuitionism. Seneca’s view that we just recognise the good could be criticised using a similar argument. His approach to argumentation offers a way out, one that may serve as a model for a revisionary intuitionism.

This book employs a new eco-cognitive model of abduction to underline the distributed and embodied nature of scientific cognition. Its main focus is on the knowledge-enhancing virtues of abduction and on the productive role of scientific models. What are the distinctive features that define the kind of knowledge produced by science? To provide an answer to this question, the book first addresses the ideas of Aristotle, who stressed the essential inferential and distributed role of external cognitive tools and epistemic mediators (...) in abductive cognition. This is analyzed in depth from both a naturalized logic and an ecology of cognition perspective. It is shown how the maximization of cognition, and of abducibility – two typical goals of science – are related to a number of fundamental aspects: the optimization of the eco-cognitive situatedness; the maximization of changeability for both the input and the output of the inferences involved; a high degree of information-sensitiveness; and the need to record the “past life” of abductive inferential practices. Lastly, the book explains how some impoverished epistemological niches – the result of a growing epistemic irresponsibility associated with the commodification and commercialization of science – are now seriously jeopardizing the flourishing development of human creative abduction. (shrink)

Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...) de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini; 8 La lógica, el tiempo y el lenguaje natural: un sistema formal para tiempos de portugués, Carlos Luciano Manholi. / Temas em filosofia contemporânea II / Jonas Rafael Becker Arenhart, Jaimir Conte, Cezar Augusto Mortari (orgs.) – Florianópolis : NEL/UFSC, 2016. 167 p. : tabs. - (Rumos da epistemologia ; v. 14); ISBN 978-85-87253-27-9 (papel); ISBN 978-85-87253-26-2 (e-book). (shrink)

Rosenkranz (2021) offered a logic and a detailed account of justification, according to which justification that p can be analyzed as a form of second-level ignorance: ¬K¬Kp. An intuition behind the analysis is that the justified subject has the potential, at least in a nearby world, to either come to know p or come to know ¬Kp. However, given Rosenkranz’s hyperintensional semantics for modeling knowledge states, we can always construct, out of an ¬K¬K-agent’s knowledge state, epistemic possibilities that prohibit the (...) agent from having that potential. This shows that Rosenkranz’s analysis is still insufficient for carrying all the epistemic weight underlying the notion of justification. A better analysis would require a deeper look into an agent’s knowledge structure and its involved modalities, which could be a lot more complex than what the ¬K¬K rule tells us. (shrink)

In the human cognitive economy there are four grades of epistemic involvement. Knowledge partitions into distinct sorts, each in turn subject to gradations. This gives a fourwise partition on ignorance, which exhibits somewhat different coinstantiation possibilities. The elements of these partitions interact with one another in complex and sometimes cognitively fruitful ways. The first grade of knowledge I call “anselmian” to echo the famous declaration credo ut intelligam, that is, “I believe in order that I may come to know”. As (...) construed here, one knows in this anselmian way that E = mc2 just in case one knows that sentence expresses a true statement, but without having to understand the proposition it expresses. Most epistemologists ignore the significance of this grade of epistemic involvement. In a second grade of epistemic involvement, knowing that E = mc2 is knowing what that sentence means and understanding the proposition it express. This is knowledge in the propositional or semantic sense, and is the dominant target of epistemological investigation. Tacit and implicit knowledge occupies another tier. A typical example would be something that someone has “known all along” but, until now, hasn’t had occasion to put her mind to it or formulate in words. TI-knowledge remains a minority interest in today’s epistemology. Operating at a fourth grade of epistemic involvement is what I call “impact”-knowledge, which is the knowledge of a matter at its deepest and most widespread. An example, to be discussed below, is the knowledge that was generated by the Wiles proof of Fermat’s last theorem. Its true importance lies not only, or even mainly, in its verification of a commonly accepted fact about numbers, but rather in its enrichment of the mathematics of elliptical curves and the promise it holds for greater advancement into the mathematical unknown. Knowledge of this fourth grade has yet to find a seat in the parliaments of epistemology. Knowledge of the anselmian sort is independent of the other three. Tacit and implicit knowledge is incompatible with anselmian and semantic knowledge but coinstantiable with impact-knowledge. Semantic knowledge is incompatible with tacit and implicit knowledge but coinstantiable with the others. Impact-knowledge is pairwise coinstantiable with the others. Below I will bring the ignorance partitions into such alignment as they have with these ones. In doing so, I’ll propose a naturalized causal response epistemology designed to give these interactive distinctions the theoretical air they need to breathe. (shrink)

The concepts of question evocation and erotetic implication play central role in Inferential Erotetic Logic. In this paper, deduction theorems for question evocation and erotetic implication are proven. Moreover, it is shown how question evocation by a finite non-empty set of declaratives can be reduced to question evocation by the empty set, and how erotetic implication based on a finite non-empty set of declaratives can be reduced to a relation between questions only.

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound and complete (...) proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions. (shrink)

Questions are triggers for explicit events of ‘issue management’. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to multi-agent scenarios and long-term temporal protocols. We sketch a comparison with some alternative accounts.

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this line of (...) response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

In this paper certain aspects of rigidity are studied through Hintikka’s work in modal semantics. The paper surveys Hintikka’s extraordinary struggles with rigidity from the late 50’s to this millennium. I argue that Hintikka’s many ambivalent remarks concerning rigidity become more comprehensible if, first, three different variants of rigidity are distinguished and, second, Hintikka’s largely implicit doctrine of semantic neo-Kantianism is made explicit.

In this paper, we argue for the centrality of prediction in the use of computational models in science. We focus on the consequences of the irreversibility of computational models and on the conditional or ceteris paribus, nature of the kinds of their predictions. By irreversibility, we mean the fact that computational models can generally arrive at the same state via many possible sequences of previous states. Thus, while in the natural world, it is generally assumed that physical states have a (...) unique history, representations of those states in a computational model will usually be compatible with more than one possible history in the model. We describe some of the challenges involved in prediction and retrodiction in computational models while arguing that prediction is an essential feature of non-arbitrary decision making. Furthermore, we contend that the non-predictive virtues of computational models are dependent to a significant degree on the predictive success of the models in question. (shrink)

Many parts of the contemporary philosophical debate have been built on the radicalization of conclusions derived from the acceptance of a certain set of classical dichotomies. It also discusses how pragmatism and abduction are currently presented to solve the problems arising from these dichotomies. For this reason, the efforts of this article have been directed to analyze the impact of this fact on the philosophy of science and logic. The starting point is that accepting abduction implies, in many ways, accepting (...) the foundations of pragmatism. Also, that the analysis of such problems from pragmatism and the particular use of abduction dissolve the dichotomies and, with it, also modify the philosophical problems related to them. Therefore, I propose to understand abduction as the right conceptual device to review the problems and debates of the twentieth century’s epistemology from a pragmatic perspective. In doing so, the aim is to propose that the current use of abduction in contemporary debates may imply a change of the philosophical perspective. (shrink)

What is the relation, in Plato, between the account of knowledge and the account of inquiry? Is the account of knowledge independent of the account of inquiry? These strike me as important, even pressing, questions. While so much work has been done on Plato’s account of knowledge, and quite a lot is being done on his account of inquiry, I know of only the odd critic who has considered the two together. It is remarkable that critics have generally treated of (...) the two topics—Plato’s account of knowledge and his account of inquiry—as if they were separate. This suggests critics have been tacitly supposing that, for Plato, the account of knowledge is independent of the account of inquiry. In this paper, I pose these questions, and take them up for investigation. I argue that Plato’s account of knowledge is not independent of his account of inquiry; on the contrary, Plato’s account of knowledge cannot be understood if separated from his account of inquiry. I do so, in this paper, with reference to the Phaedo exclusively. (shrink)

Dans la philosophie de Hintikka la notion d'analyticité occupe une place particulière (e.g., [Hintikka 1973], [Hintikka 2007]) ; plus précisément, le philosophe finnois distingue deux notions d'analyticité : l'une qui est basée sur la notion d'information, l'autre sur la notion de preuve. Alors que ces deux notions ont été largement utilisées pour étudier la logique propositionnelle et la logique du premier ordre, aucun travail n'a été développé pour la logique modale. Cet article se propose de combler cette lacune et ainsi (...) d'examiner l'analyticité des validités de la logique modale. (shrink)

Are knowledge and belief pivotal in science, as contemporary epistemology and philosophy of science nearly universally take them to be? I defend the view that scientists are not primarily concerned with knowing and that the methods of arriving at scientific hypotheses, models and scenarios do not commit us having stable beliefs about them. Instead, what drives scientific discovery is ignorance that scientists can cleverly exploit. Not an absence or negation of knowledge, ignorance concerns fundamental uncertainty, and is brought out by (...) retroductive inferences, which are roughly characterised as reasoning from effects to causes. I argue that recent discoveries in sciences that coped with under-structured problem spaces testify the prevalence of retroductive logic in scientific discovery and its progress. This puts paid to the need of finding epistemic justification or confirmation to retroductive methodologies. A scientist, never frightened of unknown unknowns, strives to advance the forefront of uncertainty, not that of belief or knowledge. Far from rendering science irrational, I conclude that catering well for the right conditions in which to cultivate ignorance is a key to how fertile retroductive inferences arise. (shrink)

An aim of science is to find truths about reality. These truths are collected together to form systematic knowledge structures called theories. Theories are intended to create a truthful picture of the reality behind the study. Together with all the other fields of science we get a scientific picture or a world view. This scientific world view is open in the sense that not all truths are known by scientists and not all present day theories are true. So, there is (...) no reason to assume that any field of science has been or will be completed; science is essentially progressive, or an open ended approach. Science is not the only method of picturing, but the view that science is the best human method for knowledge acquisition is well justified. Knowledge is not all we humans are looking for; we need to make our lives meaningful. The meaningfulness may be achieved through science, art, or practical activity. It is interesting to compare literature and science. Both are expressed linguistically, but the aims of literature and science seem to be very different. We are looking for the theoretical interconnection between science and literature, but the proper dialogue can be found not through science, literature or philosophy, but through pedagogy. (shrink)

In the paper, I contrast my contextualist account of Cartesian skepticism with Keith DeRose’s account. I agree with DeRose that when the Cartesian skeptic and her opponent meet in the same context, their claims are truth-value-less. But I agree with him on the basis of different conception of context sensitivity. According to DeRose, the content of context sensitive expressions in general, and of knowledge in particular, is personally indicated. Instead, for me, the content of context sensitive expressions in general, and (...) of knowledge in particular, is objectively determined by the goals of the conversation and the environment in which the conversation takes place. (shrink)

The study of defeasible reasoning unites epistemologists with those working in AI, in part, because both are interested in epistemic rationality. While it is traditionally thought to govern the formation and (with)holding of beliefs, epistemic rationality may also apply to the interrogative attitudes associated with our core epistemic practice of inquiry, such as wondering, investigating, and curiosity. Since generally intelligent systems should be capable of rational inquiry, AI researchers have a natural interest in the norms that govern interrogative attitudes. Following (...) its recent coinage, we use the term ``zetetic'' to refer to the properties and norms associated with the capacity to inquire. In this paper, we argue that zetetic norms can be modeled via defeasible inferences to and from questions---a.k.a erotetic inferences---in a manner similar to the way norms of epistemic rationality are represented by defeasible inference rules. We offer a sequent calculus that accommodates the unique features of ``erotetic defeat" and that exhibits the computational properties needed to inform the design of zetetic agents. The calculus presented here is an improved version of the one presented in Millson (2019), extended to cover a new class of defeasible erotetic inferences. (shrink)

This guide accompanies the following article(s): ‘Full Disclosure of the “Raw Data” of Research on Humans: Citizens’ Rights, Product Manufacturer’s Obligations and the Quality of the Scientific Database.’Philosophy Compass 6/2 (2011): 90–99. doi: 10.1111/j.1747‐9991.2010.00376.x Author’s Introduction Securing consent (and informed consent) from patients and research study participants is a key concern in patient care and research on humans. Yet, the legal doctrines of consent and informed consent differ in their applications. In patient care, the judicial doctrines of consent and informed (...) consent are disclosure doctrines based on the obligation of physicians to inform their patients of the following types of information: the nature of the procedure the physician is recommending in the patent’s care (P), the alternatives to the physician‐recommendation (A), and the risks of procedure and its alternatives (R). In addition, the physician must provide truthful answers to the patient’s questions (Q) to the best of the physician’s abilities. In research on humans, the onus of disclosure by study sponsors and principal investigators is much greater than in patient care precisely because the purpose of research is not patient care. The purpose of research is the identification and development of new generalizable knowledge. Thus, participation in a research study or trial may not benefit the study volunteer at all. In addition, the participant may carry a heavy risk burden in relationship to any testing of a newly designed drug or device as part of their experiences in the research study. Presently, despite the risks borne by the research study participant, the raw data collected from volunteers in research trials are treated by courts as if they were the private property of the study sponsor rather than generally owed to the public as would be expected by an effort like research participation aimed at contributing to the development of generalizable knowledge. This paper reviews the obligations that study sponsors owe to their study participants based on the very definition of research as a systematic activity whose purpose is to develop generalizable knowledge to help all humans. Author Recommends Court cases Canterbury v. Spence, United States Court of Appeals, District of Columbia Circuit 464 F.2d 772 (1972). (Federal appellate decision heard in the District of Columbia, USA) Reibl v. Hughes, 2 S.C.R. 880 (1980). (Supreme Court of Canada) Rogers v. Whitaker, 175 C.L. R. 479 (1992). (High Court of Australia) Sidaway v. Board of Governors of the Bethlem Royal Hospital and the Maudsley Hospital and Others. 1 A.C. 871 (1985) (House of Lords) Canterbury v. Spence is the landmark Federal informed consent case in the United States heard in the District of Columbia. In this case, Judge Spottswood Robinson articulated the reasonable person standard of informed consent. This standard was subsequently adopted by the Supreme Court of Canada (Reibl v. Hughes, 2 S.C.R. 880 (1980)) and the High Court of Australia (Rogers v. Whitaker, 175 C.L. R. 479 (1992)). The House of Lords rejected the reasonable person standard in England in Sidaway v. Board of Governors of the Bethlem Royal Hospital and the Maudsley Hospital and Others. 1 A.C. 871 (1985). Book Mazur, Dennis J. The Science and Ethics of Research on Humans. Baltimore, MD: Johns Hopkins University Press, 2007. This book is a detailed guide for the review of scientific and ethical aspects of research on humans contained in the research study protocols and research informed consent forms which need to be submitted by study sponsors and principal investigators to institutional review boards (IRBs) for IRB review before a research study can receive approval to be conducted within a human study population in those institutions over which the IRB has authority. It also presents basic definitions in the area of research on humans and basic approaches to help conduct a deep review of the underlying scientific and ethical issues that are present within a research study protocol and its accompanying research informed consent form. Report National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research. The Belmont Report: Ethical Guidelines for the Protection of Human Subjects of Research. Washington, DC: DHEW Publications, 1978 (78‐0012). This U.S. National Commission in the Belmont Report argued for the necessity of a reasonable volunteer standard in research on humans in the United States. Arguing that the professional standard and the reasonable person standard of consent and informed consent were insufficient to base a disclosure standard in research on humans, this National Commission developed the reasonable volunteer standard where a study participant is to be approached in research informed consent with that information that a reasonable volunteer would want to know. Online Materials Belmont Report: Syllabus Topics for Lecture and Discussion Week I: Introduction and Overview Readings: Rogers v. Whitaker, 175 C.L.R. 479 (1992). (High Court of Australia) Sidaway v. Board of Governors of the Bethlem Royal Hospital and the Maudsley Hospital and Others. 1 A.C. 871 (1985) (House of Lords) Week II: The Different Standards of Consent and Informed Consent Readings: Canterbury v. Spence, 464 F.2d 772 (1972). (Federal appellate opinion heard in the District of Columbia) Sidaway v. Board of Governors of the Bethlem Royal Hospital and the Maudsley Hospital and Others. 1 A.C. 871 (1985) (House of Lords) Week III: Definition of Research Reading: Mazur, Dennis J. The Science and Ethics of Research on Humans. Baltimore, MD: Johns Hopkins University Press, 2007. (Especially Chapters 2 and 3) Week IV: How to Review a Research Study Protocol and Research Informed Consent Form Reading: Mazur, Dennis J. The Science and Ethics of Research on Humans. Baltimore, MD: Johns Hopkins University Press, 2007. (Especially Chapters 4–6, 10, and 12–14) Week V: Obligations in Research of Humans Versus Patient Care Reading: National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research. The Belmont Report: Ethical Guidelines for the Protection of Human Subjects of Research. Washington, DC: DHEW Publications, 1978 (78‐0012). Focus Questions • How do the judicial doctrines of consent in England and Australia compare to the judicial doctrines of informed consent in the United States and Canada? • How does a professional standard of disclosure differ from a reasonable person standard of disclosure? • What is the definition of research? • How is a research study (study proposal and research informed consent form) reviewed from scientific and ethical bases for considerations of approval by an IRB? • How do the obligations of a study sponsor, a principal investigator, and a research team conducting a research trial on human study participants differ from the obligations of a physician caring for a patient? • Should all raw data of research derived from humans be made available to the public for use in developing generalizable knowledge to help others, or should raw data be considered the private property of the study sponsors (for example, prescription drug manufacturers), who fund the research trials? Seminar/project Idea Draw a timeline of the development of the basic concepts of consent and informed consent in patient care and in patient research. On this timeline, first place the dates of the key court cases in England, the United States, Canada, and Australia on consent and informed consent. Then place the date of the development of the Belmont Report. Why do differences exist between these four countries in terms of the legal requirements of informedness of a patient (in medical care) and a study participant (in medical research)? What roles if any do the concepts of self‐determination and self‐decision have in consent and informed consent in patient care and in informed consent in research on humans among the four countries of interest? What are the realities of research on human participants that require a new standard of informed consent, the reasonable volunteer standard, to be developed beyond the two standards in patient care, the professional standard, and the reasonable person standard? Counterpoint Arguments The following are counterpoint arguments that need to be appreciated to more fully understand the concepts that impact the thesis that ‘raw data’ should be open to the public to allow the opportunity of checking of the results of its associated scientific paper and for further analysis. De‐Identified (Anonymized) Raw Data A current approach to identifying (anonymizinig) raw data is based on the Health Insurance Portability and Accountability Act (HIPAA) of 1996 (P.L.104‐191). HIPAA was enacted by the U.S. Congress in 1996 to keep a person’s medical information private. In a research study, a person’s private medical information can become research data. HIPAA’s Privacy Rule allows a covered entity to de‐identify data by removing all 18 elements that could be used to identify the individual or the individual’s relatives, employers, or household members; these elements are enumerated in the Privacy Rule. The covered entity must also have no actual knowledge that the remaining information could be used alone or in combination with other information to identify the individual who is the subject of the information. Under this method, the identifiers that must be removed are the following: 1 Names. 2 All geographic subdivisions smaller than a state, including street address, city, county, precinct, ZIP Code, and their equivalent geographical codes, except for the initial three digits of a ZIP Code if, according to the current publicly available data from the Bureau of the Census: 2a. The geographic unit formed by combining all ZIP Codes with the same three initial digits contains more than 20,000 people. 2b. The initial three digits of a ZIP Code for all such geographic units containing 20,000 or fewer people are changed to 000. 3 All elements of dates (except year) for dates directly related to an individual, including birth date, admission date, discharge date, and date of death, and all ages over 89 and all elements of dates (including year) indicative of such age, except that such ages and elements may be aggregated into a single category of age 90 or older. 4 Telephone numbers. 5 Facsimile numbers. 6 Electronic mail addresses. 7 Social security numbers. 8 Medical record numbers. 9 Health plan beneficiary numbers. 10 Account numbers. 11 Certificate/license numbers. 12 Vehicle identifiers and serial numbers, including license plate numbers. 13 Device identifiers and serial numbers. 14 Web universal resource locators (URLs). 15 Internet protocol (IP) address numbers. 16 Biometric identifiers, including fingerprints and voiceprints. 17 Full‐face photographic images and any comparable images. 18 Any other unique identifying number, characteristic, or code, unless otherwise permitted by the Privacy Rule for re‐identification. Even though ‘raw data’ can be de‐identified (anonymized) so that there is no way to trace back the data to the study participant from which it was drawn, there are still questions whether the ‘de‐identified raw data’ can be given to other researchers or made public without the original study participant’s approval. It may be the case that this approval could be done at the start of any research study where the individual considering study participation would be counseled on what the process of de‐identification consists of and would be asked whether the participant would allow use of the data by other researchers or made available to the public in a de‐identified state. However, there may be questions of the study participants as to whether the data are truly de‐identified and untraceable back to the study participant since the participant would not be able to see the process actually being carried out in detail in all relevant circumstances. Using Raw Data in Context Simply being in possession of raw data is never enough to build on that data from a research perspective. Researchers need to understand the context of the scientific research study in which the data were collected. This research context includes (but is not limited to): (i) the scientific hypothesis of the research study, (ii) the inclusion and exclusion criteria selected by the research designers of the study to determine which study participants were included and which were excluded from the study, (iii) the methods used to collect the data and possibilities of errors in the data collection processes, and (iv) answers to questions regarding whether any data were excluded from the study data and why these data were excluded. Ownership Rights Over Data There are ownership rights over data. Ownership rights include court decision making related to the question which parties are to be considered as the owners of the data. Possible owners here include (but are not limited to) (i) the study sponsor whose only role was to fund that study, (ii) the principal investigator(s) who developed the scientific hypothesis, and (iii) individual study participants through special contracts made by individual participants who negotiate such contracts with study sponsors and principal investigators to share in the ownership of data. Examples of such data are participant sources of unique gene lines or unique cell lines to be used in future research. Objections to Data Sharing Finally, individual researchers may simply object to sharing data. A researcher’s arguments here may be simply stating that he or she has a right to fully analyze the data since the collection of the data was the researchers’ idea in the first place. These researchers may argue that they have the right to mine the data as fully as they can before deciding to make the data open to the public for others to analyze. Works Cited 1 Kaiser, J. ‘Making Clinical Data Widely Available.’Science 322.5899 (10 Oct. 2008): 217–8. 2 de Lusignan, S., J.F. Metsemakers, P. Houwink, V. Gunnarsdottir, and J. van der Lei. ‘Routinely Collected General Practice Data: Goldmines for Research? A Report of the European Federation for Medical Informatics Primary Care Informatics Working Group (EFMI PCIWG) from MIE2006, Maastricht, The Netherlands.’Informatics in Primary Care 14.3 (2006): 203–9. 3 Sim, I. ‘Human Studies Database Project’, CTSA Data Repositories Symposium (17 Oct. 2008). 23 Nov. 2010. 4 Sim, I., C.G. Chute, H. Lehmann, R. Nagarajan, M. Nahm, and R.H. Scheuermann. ‘Keeping Raw Data in Context.’Science 323.5915 (6 Feb. 2009): 713. 5 U.S. Department of Health and Human Services, National Institutes of Health, HIPAA Privacy Rule, Information for Researchers. 13 Nov. 2010. 6 Wilczynski, N.L., R.B. Haynes, and Hedges Team. ‘EMBASE Search Strategies for Identifying Methodologically Sound Diagnostic Studies for Use by Clinicians and Researchers.’BMC Medicine 29.3 (March 2005): 7. (shrink)

In this paper we provide an interpretation of Aristotle's rule for the universal quantifier in Topics Θ 157a34–37 and 160b1–6 in terms of Paul Lorenzen's dialogical logic. This is meant as a contribution to the rehabilitation of the role of dialectic within the Organon. After a review of earlier views of Aristotle on quantification, we argue that this rule is related to the dictum de omni in Prior Analytics A 24b28–29. This would be an indication of the dictum’s origin in (...) the context of dialectical games. One consequence of our approach is a novel explanation of the doctrine of the existential import of the quantifiers in dialectical terms. After a brief survey of Lorenzen's dialogical logic, we offer a set of rules for dialectical games based on previous work by Castelnérac and Marion, to which we add here the rule for the universal quantifier, as interpreted in terms of its counterpart in dialogical logic. We then give textual evidence of the use of that rule in Plato's dialogues, thus showing that Aris... (shrink)

In recent decades much literature has been produced on disagreement; the puzzling conclusion being that epistemic disagreement is, for the most part, either impossible (e.g. Aumann (Ann Stat 4(6):1236–1239, 1976)), or at least easily resolvable (e.g. Elga (Noûs 41(3):478–502, 2007)). In this paper I show that, under certain conditions, an equally puzzling result arises: that is, disagreement cannot be rationally resolved by belief updating. I suggest a solution to the puzzle which makes use of some of the principles of Hintikka’s (...) Socratic epistemology. (shrink)

We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.

Ockham’s razor is the characteristic scientific penchant for simpler, more testable, and more unified theories. Glymour’s early work on confirmation theory eloquently stressed the rhetorical plausibility of Ockham’s razor in scientific arguments. His subsequent, seminal research on causal discovery still concerns methods with a strong bias toward simpler causal models, and it also comes with a story about reliability—the methods are guaranteed to converge to true causal structure in the limit. However, there is a familiar gap between convergent reliability and (...) scientific rhetoric: convergence in the long run is compatible with any conclusion in the short run. For that reason, Carnap suggested that the proper sense of reliability for scientific inference should lie somewhere between short-run reliability and mere convergence in the limit. One natural such concept is straightest possible convergence to the truth, where straightness is explicated in terms of minimizing reversals of opinion and cycles of opinion prior to convergence. We close the gap between scientific rhetoric and scientific reliability by showing that Ockham’s razor is necessary for cycle-optimal convergence to the truth, and that patiently waiting for information to resolve conflicts among simplest hypotheses is necessary for reversal-optimal convergence to the truth. (shrink)

This article investigates the relationship between moral judgments, fallibility, and imaginative insight. It will draw heavily from the canon of classical American philosophy, the members of which (from Ralph Waldo Emerson, to C.S. Peirce, E.L. Cabot, to Jane Addams, to John Dewey) took up this relationship as pivotally important in moral theorizing. It argues that the process of hypothesis formation—characterized as “insight” by Emerson and extended by Peirce in his notion of “abduction”—is a necessary condition of moral progress for it (...) allows individuals to think through the boundaries of social and ethical life. In a world of unexpected occurrences and uncertainty, the ability to generate novel explanatory frameworks and normative ideals is a crucial, if normally underappreciated, moral faculty. This paper attempts to respond to this relative neglect. (shrink)

Why do we formulate arguments? Usually, things such as persuading opponents, finding consensus, and justifying knowledge are listed as functions of arguments. But arguments can also be used to stimulate reflection on one’s own reasoning. Since this cognitive function of arguments should be important to improve the quality of people’s arguments and reasoning, for learning processes, for coping with “wicked problems,” and for the resolution of conflicts, it deserves to be studied in its own right. This contribution develops first steps (...) towards a theory of reflective argumentation. It provides a definition of reflective argumentation, justifies its importance, delineates it from other cognitive functions of argumentation in a new classification of argument functions, and it discusses how reflection on one’s own reasoning can be stimulated by arguments. (shrink)

The modern notion of the axiomatic method developed as a part of the conceptualization of mathematics starting in the nineteenth century. The basic idea of the method is the capture of a class of structures as the models of an axiomatic system. The mathematical study of such classes of structures is not exhausted by the derivation of theorems from the axioms but includes normally the metatheory of the axiom system. This conception of axiomatization satisfies the crucial requirement that the derivation (...) of theorems from axioms does not produce new information in the usual sense of the term called depth information. It can produce new information in a different sense of information called surface information. It is argued in this paper that the derivation should be based on a model-theoretical relation of logical consequence rather than derivability by means of mechanical (recursive) rules. Likewise completeness must be understood by reference to a model-theoretical consequence relation. A correctly understood notion of axiomatization does not apply to purely logical theories. In the latter the only relevant kind of axiomatization amounts to recursive enumeration of logical truths. First-order “axiomatic” set theories are not genuine axiomatizations. The main reason is that their models are structures of particulars, not of sets. Axiomatization cannot usually be motivated epistemologically, but it is related to the idea of explanation. (shrink)

The Interrogative Model of Inquiry and Dynamic Epistemic Logics are two central paradigms in formal epistemology. This paper is motivated by the observation of a significant complementarity between them: on the one hand, the IMI provides a framework for investigating inquiry represented as an idealized game between an Inquirer and Nature, along with an account of the interaction between questions and inferences in information-seeking processes, but is lacking a formulation in the multi-agent case; on the other hand, DELs model various (...) operations of information change in multi-agent systems, but the field is lacking a proper integration of question and inference dynamics, along with an application to the investigation of inquiry processes. The goal of this paper is to integrate the two paradigms in such a way as to combine their respective insights. To this end, we develop a formal system called DEL $$_\mathrm{IMI }$$ IMI which aims to represent the interaction between question and inference dynamics in inquiry—as described by the IMI—in a multi-agent setting, and this in such a way as to enable an investigation of inquiry games with multi-agent dimensions. The DEL $$_\mathrm{IMI }$$ IMI system is designed to represent the possible moves of such inquiry games through three types of epistemic actions: agents addressing questions to Nature, agents addressing questions to other agents, agents drawing logical inferences. We then show how the resulting framework can be used to formally define multi-agent inquiry games. We conclude by evaluating the interest of the DEL $$_\mathrm{IMI }$$ IMI system for the IMI and DELs paradigms. (shrink)

Traditional logical theories are concerned with the characterization of valid reasoning. For such logical theories, the main object of investigation is the notion of entailment, a notion that is construed as a relation between two or more declarative statements, dictating when one of them can be legitimately inferred from the others. In the course of the previous century, however, and especially since the 1970s, the scope of logical theories has become much broader. In particular, logic is no longer only concerned (...) with declarative statements, but also with questions. Accordingly, the field is no longer focusing exclusively on the entailment relation that may hold between two or more statements, but also aims to characterize fundamental relations that may hold between questions, or between questions and statements. For instance, when does a statement resolve a given question? When does a statement evoke a certain question? And when does the resolution of one question depend on the resolu .. (shrink)

I. Levi has advocated a decision-theoretic account of belief revision. We argue that the game-theoretic framework of Interrogative Inquiry Games, proposed by J. Hintikka, can extend and clarify this account. We show that some strategic use of the game rules generate Expansions, Contractions and Revisions, and we give representation results. We then extend the framework to represent explicitly sources of answers, and apply it to discuss the Recovery Postulate. We conclude with some remarks about the potential extensions of interrogative games, (...) with respect to some issues in the theory of belief change. (shrink)

This paper examines whether Sherlock Holmes’ “Science of Deduction and Analysis,” as reconstructed by Hintikka and Hintikka The sign of three: Peirce, Dupin, Holmes, Indiana University Press, Bloomington, 1983), exemplifies a logic of discovery. While the Hintikkas claimed it does, their approach remained largely programmatic, and ultimately unsuccessful. Their reconstruction must thus be expanded, in particular to account for the role of memory in inquiry. Pending this expansion, the Hintikkas’ claim is vindicated. However, a tension between the naturalistic aspirations of (...) their model and the formal apparatus they built it on is identified. The paper concludes on suggestions for easing this tension without losing the normative component of the Hintikkas’ epistemological model. (shrink)

M. B. Hintikka and J. Hintikka claimed that their reconstruction of the ‘Sherlock Holmes sense of deduction’ can “serve as an explication for the link between intelligence and memory”. The claim is vindicated, first for the single-agent case, where the reconstruction captures strategies for accessing the content of a distributed and associative memory; then, for the multi-agent case, where the reconstruction captures strategies for accessing knowledge distributed in a community. Moreover, the reconstruction of the ‘Sherlock Holmes sense of deduction’ allows (...) to conceptualize those strategies as belonging to a continuum of behavioral strategies. (shrink)

This paper examines critically the reconstruction of the ‘Sherlock Holmes sense of deduction’ proposed jointly by M.B. Hintikka and J. Hintikka in the 1980s, and its successor, the interrogative model of inquiry developed by J. Hintikka and his collaborators in the 1990s. The Hintikkas’ model explicitly used game theory in order to formalize a naturalistic approach to inquiry, but the imi abandoned both the game-theoretic formalism, and the naturalistic approach. It is argued that the latter better supports the claim that (...) the imi provides a ‘logic of discovery’, and safeguards its empirical adequacy. Technical changes necessary to this interpretation are presented, and examples are discussed, both formal and informal, that are better analyzed when these changes are in place. The informal examples are borrowed from Conan Doyle’s The Case of Silver Blaze, a favorite of M.B. and J. Hintikka. (shrink)

Some fictionalist approaches to the notion of scientific model are based on the concept of game of make-believe developed by Kendall Walton, without proposing a similar interpretation of it. The distinction between authorized and unauthorized games can be one of the sources of those divergences. In relation to the distinction made by Walton, the de dicto and de re modalities of the fiction-operator reflect different epistemological engagements concerning objects which satisfy properties. This paper aims at following up on the proposals (...) formulated by Roman Frigg and Adam Toon by using some modal logic concepts, notably by defining the identities of properties in modal contexts in terms of world-lines. Applying a model to a target-system consists in transposing fictional truths into actual situations, through an extrapolation that goes beyond the games of make-believe. (shrink)

In his Lectures on the History of Philosophy, Hegel develops a subtle analysis of Megarian paradoxes: the Liar, the Veiled Man and the Sorites. In this paper, we focus on Hegel's interpretation of...

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)