In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my appropriating insights about (...) indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis (...) of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised (...) to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

Cosmic Justice Hypotheses. -/- This applied-logic lecture builds on [1] arguing that character traits fostered by logic serve clarity and understanding in ethics, confirming hopeful views of Alfred Tarski [2, Preface, and personal communication]. Hypotheses in one strict usage are propositions not known to be true and not known to be false or—more loosely—propositions so considered for discussion purposes [1, p. 38]. Logic studies hypotheses by determining their implications (propositions they imply) and their implicants (propositions that imply them). Logic also (...) studies hypotheses by seeing how variations affect implications and implicants. People versed in logical methods are more inclined to enjoy working with hypotheses and less inclined to dismiss them or to accept them without sufficient evidence. Cosmic Justice Hypotheses (CJHs), such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness”, have been entertained by intelligent thinkers. Absolute CJHs, ACHJs, imply that it is pointless to make sacrifices, make pilgrimages, or ask divine forgiveness: once acts are done, doers must ready themselves for the inevitable payback, since the cosmos works inexorably toward justice. Ceteris Paribus CJHs, CPCJHs, on the other hand, such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness—other things being equal”, leave room for exceptions. For example, some people subscribing to Ceteris Paribus CJHs think that certain bad acts can be performed with impunity as long as certain procedures are carried out previous to, or simultaneous with, or even after the acts. Belief Ceteris Paribus CJHs has been exploited by unscrupulous “spiritual leaders” who claim to have power to grant exceptions. In opposition to belief in CPCJHs are CJHs that hold belief in CPCJHs to be inherently wrong and subject to punishment. Other variants of CJHs are Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their acts”. Still other variants include the Hereditary Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their ancestors’ acts”. [1] JOHN CORCORAN, Inseparability of Logic and Ethics, Free Inquiry, S. 1989, pp. 37–40. [2] ALFRED TARSKI, Introduction to Logic, Dover, 1995. (shrink)

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

The topic of this essay is “the slingshot,” a short argument that purports to show that sentences1 designate (stand for, refer to) truth values. Versions of this argument have been used by Frege 2, Church 3, Quine4 and Davidson5; thus it is historically important, even if it immediately strikes one as fishy. The argument turns on two principles, which I call substitution and redistribution. In “Semantic Innocence and Uncompromising Situations,”6 Jon Barwise and I rejected both principles, as part of our (...) attempt.. (shrink)

In all probability, future generations will outnumber us by thousands or millions to one. In the aggregate, their interests therefore matter enormously, and anything we can do to steer the future of civilization onto a better trajectory is of tremendous moral importance. This is the guiding thought that defines the philosophy of longtermism. Political science tells us that the practices of most governments are at stark odds with longtermism. But the problems of political short-termism are neither necessary nor inevitable. In (...) principle, the state could serve as a powerful tool for positively shaping the long-term future. In this chapter, we make some suggestions about how to align government incentives with the interests of future generations. First, in Section II, we explain the root causes of political short-termism. Then, in Section III, we propose and defend four institutional reforms that we think would be promising ways to increase the time horizons of governments: 1) government research institutions and archivists; 2) posterity impact assessments; 3) futures assemblies; and 4) legislative houses for future generations. Section IV concludes with five additional reforms that are promising but require further research: to fully resolve the problem of political short-termism we must develop a comprehensive research program on effective longtermist political institutions. (shrink)

The consequence argument purports to show that determinism is true only if no one has free will. Judgments about whether the argument is sound depend on how one understands locutions of the form 'p and no one can render p false'. The main interpretation on offer appeals to counterfactual sufficiency: s can render p false just in case there is something s can do such that, were s to do it, p would be false; otherwise, s cannot render p false. (...) Here I show that, in the context of the consequence argument, this interpretation conflicts with widely endorsed principles governing the logic of counterfactuals. (shrink)

I critically examine the claim that modal collapse arguments against the traditional doctrine of divine simplicity (DDS) are in general fallacious. In a recent paper, Christopher Tomaszewski alleges that modal collapse arguments against DDS are invalid, owing to illicit substitutions of nonrigid singular terms into intensional contexts. I show that this is not, in general, the case. I show, further, that where existing modal collapse arguments are vulnerable to this charge the arguments can be repaired without any apparent dialectical impropriety. (...) I conclude that the genuine debate over modal collapse and divine simplicity and modal collapse is substantially a controversy over the metaphysics of divine action, and that this constitutes a fruitful direction in which to take future discussions of the subject. (shrink)

Self, person, and identity are among the concepts most central to the way humans think about themselves and others. It is often natural in biology to use such concepts; it seems sensible to say, for example, that the job of the immune system is to attack the non-self, but sometimes it attacks the self. But does it make sense to borrow these concepts? Don’t they only pertain to persons, beings with sophisticated minds, and perhaps even souls? I argue that if (...) we focus on the every-day concepts of self and identity, and set aside loftier concepts found in religion, philosophy, and psychology that are applicable, at most, to humans, we can see that self and identity can be sensibly applied widely in biology. (shrink)

Beliefs are concrete particulars containing ideas of properties and notions of things, which also are concrete. The claim made in a belief report is that the agent has a belief (i) whose content is a specific singular proposition, and (ii) which involves certain of the agent's notions and ideas in a certain way. No words in the report stand for the notions and ideas, so they are unarticulated constituents of the report's content (like the relevant place in "it's raining"). The (...) belief puzzles (Hesperus, Cicero, Pierre) involve reports about two different notions. So the analysis gets the puzzling truth values right. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

Chalmers and Hájek argue that on an epistemic reading of Ramsey’s test for the rational acceptability of conditionals, it is faulty. They claim that applying the test to each of a certain pair of conditionals requires one to think that one is omniscient or infallible, unless one forms irrational Moore-paradoxical beliefs. I show that this claim is false. The epistemic Ramsey test is indeed faulty. Applying it requires that one think of anyone as all-believing and if one is rational, to (...) think of anyone as infallible-if-rational. But this is not because of Moore-paradoxical beliefs. Rather it is because applying the test requires a certain supposition about conscious belief. It is important to understand the nature of this supposition. (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart (...) of Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

Neil Sinhababu and I presented Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge. Fred Adams, John Barker and Murray Clarke argue that Backward Clock is no such counterexample. Their argument fails to nullify Backward Clock which also shows that other tracking analyses, such as Dretske’s and one that Adams et al. may well have in mind, are inadequate.

I offer a novel account of the absurdity of Moore-paradoxical assertion in terms of an interlocutor’s fully conscious beliefs. This account starts with an original argument for the principle that fully conscious belief collects over conjunction. The argument is premised on the synchronic unity of consciousness and the transparency of belief.

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...) classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

I objected that the defeasibility theory of knowledge prohibits you from knowing that you know that p if your knowledge that p is a posteriori. Rodrigo Borges claims that Peter Klein has already satisfactorily answered a version of my objection. He attempts to defend Klein’s reply and argues that my objection fails because a principle on which it is based is false.I will show that my objection is not a version of the old one that Klein attempts (unsuccessfully) to address, (...) that Borges’ defence of Klein’s reply fails and that his argument against my new objection leaves it untouched. (shrink)

John Perry has recently developed a form of Compatibilism that respects the Principle of Alternatives (PA), according to which free agency requires having the ability to do more than one thing. Eschewing so-called Frankfurt counterexamples to this intuitively plausible principle, long the bête noire of those who would like to believe in free agency and Determinism, Perry argues that there is an important sense in which we can act differently than we do. It signifies the “natural” property of possessing (...) a latent ability, a notion free of the mysteriousness surrounding accounts of the freedom to do otherwise based on religious or even philosophical considerations, yet sufficient to conceptually ground our assignments of praise and blame. Perry goes on to advise his readers to abandon all such unscientific accounts in favor of his common sense approach. -/- I argue that Perry’s Compatibilism (PC) leads to the same objection as other Humean versions thereof, as well as fails to explain certain intuitions regarding self-control and initiative. I conclude with an assessment of the prospects for his proposed revision of PC, written in light of these concerns. (shrink)

ArgumentIn the United States, scientific knowledge is brought before the courts by way of testimony – the testimony of scientific experts. We argue that this expertise is best understoodfirstas related to the quality of the underlying scienceand thenin terms of who delivers it. Bloodstain pattern analysis (BPA), a contemporary forensic science, serves as the vaulting point for our exploration of objectivity as a metric for the quality of a science in judicial contexts. We argue that BPA fails to meet the (...) minimal standard set by Helen Longino’s social-procedural account of objectivity (1990, 2002). In light of some pressing issues for social-procedural accounts, we offer an infrastructural account of objectivity. This account offers what amounts to a friendly amendment to Longino’s account and adds to the ways in which we might analyze social-procedural objectivity. Finally, we address an issue that is pressing in the legal context: given that scientific knowledge is delivered by individuals, not communities, at least in U.S. courts, we (may) need a way to evaluate individual scientific and epistemic agents. We suggest a means for making this evaluation that is derived from our infrastructural account of objectivity. (shrink)

Placebo-trials on HIV-infected pregnant women in developing countries like Thailand and Uganda have provoked recent controversy. Such experiments aim to find a treatment that will cut the rate of vertical transmission more efficiently than existing treatments like zidovudine. This scenario is first stated as generally as possible, before three ethical principles found in the Belmont Report, itself a sharpening of the Helsinki Declaration, are stated. These three principles are the Principle of Utility, the Principle of Autonomy and the Principle of (...) Justice. These are taken as voices of moral imperative. But although each has intuitive appeal, it can be shown that there are possible scenarios in which they give conflicting prescriptions. To achieve consistency, one must be subordinate to the others. The voice of utility is taken as subordinate to those of justice and autonomy and it is shown that given plausible assumptions about the level of poverty and education in the developing country targeted, the experiment is ruled morally wrong in the name of both justice and autonomy. Moreover, it is argued that no justification can be found for the inclusion of a placebo group, when strictly defined. By contrast, a ‘no- treatment’ control arm might be justified, but only when the demands of autonomy are satisfied, demands that are more stringent than they might appear. A utilitarian defence of the experiment is examined, namely that the would-be participants are in a no-loss situation, and it is shown that this defence is seriously flawed. Finally, it is concluded that there is no justification for amending the Declaration of Helsinki. (shrink)

Over the last two decades, William Lycan’s work on the semantics of conditionals has been distinguished by his careful attention to the connection between syntax and semantics, and more generally by his impeccable methodology. Lycan takes compositionality seriously, so he requires that the meaning of compound expressions like ‘even if’ be a combination of the constituent expressions, here ‘even’ and ‘if’. After reading his work, it’s hard to take seriously work that does not share this methodology.

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

Skeptical theism is a popular response to arguments from evil. Recently, Matthew A. Benton, John Hawthorne, and Yoaav Isaacs have argued that the theses that ground skeptical theism are either false or limited in scope. In this article, I show that their objections rest on dubious assumptions about the nature of skeptical theism. Along the way, I develop and clarify the ambiguous parts of skeptical theism. The upshot of this is that—once the nature of skeptical theism is made clearer—it (...) is far more difficult to resist. (shrink)

Recent theory suggests that action prediction relies of a motor emulation mechanism that works by mapping observed actions onto the observer action system so that predictions can be generated using that same predictive mechanisms that underlie action control. This suggests that action prediction may be more accurate when there is a more direct mapping between the stimulus and the observer. We tested this hypothesis by comparing prediction accuracy for two stimulus types. A mannequin stimulus which contained information about the effectors (...) used to produce the action and a point stimulus, which contained identical dynamic information but no effector information. Prediction was more accurate for the mannequin stimulus. However, this effect was dependent on the observer having previous experience performing the observed action. This suggests that experienced and na¨ıve observers might generate predictions in qualitatively difference ways, which may relate to the presence of an internal representation of the action laid down through action performance. (shrink)

The viewpoint that consciousness, including feeling, could be fully expressed by a computational device is known as strong artificial intelligence or strong AI. Here I offer a defense of strong AI based on machine-state functionalism at the quantum level, or quantum-state functionalism. I consider arguments against strong AI, then summarize some counterarguments I find compelling, including Torkel Franzén’s work which challenges Roger Penrose’s claim, based on Gödel incompleteness, that mathematicians have nonalgorithmic levels of “certainty.” Some consequences of strong AI are (...) then considered. A resolution is offered of some problems including John Searle’s Chinese Room problem and the problem of consciousness propagation under isomorphism. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Responds to the article by Brad Brown and Susan Perry in the August 1995 issue of `Business & Society' periodical on the measure of corporate social responsibility (CSP).

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

We apply spatialized game theory and multi-agent computational modeling as philosophical tools: (1) for assessing the primary social psychological hypothesis regarding prejudice reduction, and (2) for pursuing a deeper understanding of the basic mechanisms of prejudice reduction.

In 2002, Bernard Williams delivered a lecture that revisited the arguments of his article 'Ought and moral obligation', published in his Moral Luck. The lecture attributed to the earlier article the thesis that there are no ‘personal’ or (as I put it) ‘owned’ oughts. It also rejected this thesis. This paper explains the idea of an owned ought, and supports Williams’s lecture in asserting that there are owned oughts. It also examines the question of how accurately Williams’s later lecture interprets (...) his earlier article. (shrink)

Many will readily acknowledge there being rights of humans which trump the rights of states. Thus, these rights are aptly labeled ‘Human Rights,’ by which we may measure and admonish state-conduct. However, in contemporary Human Rights discourse, there is an emerging strand of thought in the academy that is Anti-Human Rights. To understand the foundations of Anti-Human Rights discourse, and to address the arguments that have been put forth, I analyze and incorporate the works of John O. Nelson, Raymond (...) Geuss, Wendy Brown, and Slavoj Žižek. Based on the same, I argue that the core arguments to these assertions are unpersuasive. I attempt at viewing Human Rights justification in different terms, and, to argue for the legitimacy of Human Rights while abandoning the search for justifications in nature, U.S. Foreign Policy, or Neo-Marxist views. (shrink)

John Maynard Keynes’s A Treatise on Probability is the seminal text for the logical interpretation of probability. According to his analysis, probabilities are evidential relations between a hypothesis and some evidence, just like the relations of deductive logic. While some philosophers had suggested similar ideas prior to Keynes, it was not until his Treatise that the logical interpretation of probability was advocated in a clear, systematic and rigorous way. I trace Keynes’s influence in the philosophy of probability through a (...) heterogeneous sample of thinkers who adopted his interpretation. This sample consists of Frederick C. Benenson, Roy Harrod, Donald C. Williams, Henry E. Kyburg and David Stove. The ideas of Keynes prove to be adaptable to their diverse theories of probability. My discussion indicates both the robustness of Keynes’s probability theory and the importance of its influence on the philosophers whom I describe. I also discuss the Problem of the Priors. I argue that none of those I discuss have obviously improved on Keynes’s theory with respect to this issue. (shrink)

This is a brief reference article on William Wollaston's moral theory, including some influential objections to it.

This critical review of John Perry’s recent compilation of his work (Perry (1993) is mainly devoted to surveying the path leading towards a certain rapprochement between philosophers with Fregean inclinations and philosophers attracted by the picture of thought and meaning brought out by Direct Reference theorists like Donnellan, Kaplan, Kripke, Putnam, and, of course, Perry himself, by taking advantage of the suggestions in the postscripts to very well-known and deservedly influential articles.

This paper contains replies to comments on the author's paper "A Priori Knowledge and the Scope of Philosophy." Several points in the argument of that paper are given further clarification: the notion of our standard justificatory procedure, the notion of a basic source of evidence, and the doctrine of modal reliabilism. The reliability of intuition is then defended against Lycan's skepticism and a response is given to Lycan's claim that the scope of a priori knowledge does not include (...) philosophically central topics such as the nature of consciousness. Next a counterfactual account of intuitions proposed by Sosa is criticized. Finally, in response to certain questions raised by Sosa, the explanation of the evidential status of intuition offered in the original paper receives further elaboration. (shrink)

There are two general routes that Augustine suggests in De Trinitate, XV, 14-16, 23-25, for a psychological account of the Father's intellectual generation of the Word. Thomas Aquinas and Henry of Ghent, in their own ways, follow the first route; John Duns Scotus follows the second. Aquinas, Henry, and Scotus's psychological accounts entail different theological opinions. For example, Aquinas (but neither Henry nor Scotus) thinks that the Father needs the Word to know the divine essence. If we compare the (...) theological views entailed by their psychologies we find a trajectory from Aquinas, through Henry, and ending with Scotus. This theological trajectory falsifies a judgment that every Augustinian psychology of the divine persons amounts to a pre-Nicene functional Trinitarianism. This study makes clear how one's awareness of the theological views entailed by these psychologies enables one to assess more thoroughly psychological accounts of the identity and distinction of the divine persons. (shrink)

What is the relation between meaning and use? This chapter first defends a non-reductionist understanding of Wittgenstein’s suggestion that ‘the meaning of a word is its use in the language’; facts about meaning cannot be reduced to, or explained in terms of, facts about use, characterized non-semantically. Nonetheless, it is contended, facts about meaning do supervene on non-semantic facts about use. That supervenience thesis is suggested by comments of Wittgenstein’s and is consistent with his view of meaning and rule-following. Semantic (...) supervenience is then defended against two criticisms: first, John McDowell’s suggestion that the supervenience thesis falsifies the epistemology of meaning and fails to accommodate common-sense truths about meaning; second, a series of counter-examples proposed by Stephen Kearns and Ofra Magidor, who argue that worlds may differ semantically without differing non-semantically. It is argued that neither criticism is convincing: we should accept the thesis that semantic facts supervene on non-semantic facts. (shrink)

A critical study of John Searle's Minds, Brains and Science (Cambridge, MA: Harvard University Press, 1984).

In his recent book, John Norton has created a theory of inference to the best explanation, within the context of his "material theory of induction". I apply it to the problem of scientific explanations that are false: if we want the theories in our explanations to be true, then why do historians and scientists often say that false theories explained phenomena? I also defend Norton's theory against some possible objections.

John Hawthorne in a recent paper takes issue with Lewisian accounts of counterfactuals, when relevant laws of nature are chancy. I respond to his arguments on behalf of the Lewisian, and conclude that while some can be rebutted, the case against the original Lewisian account is strong.I develop a neo-Lewisian account of what makes for closeness of worlds. I argue that my revised version avoids Hawthorne’s challenges. I argue that this is closer to the spirit of Lewis’s first (non-chancy) (...) proposal than is Lewis’s own suggested modification. (shrink)

The present essay is a critical study of Barwise and Perry’s book, emphasizing the logical and model-theoretical aspects of their work. I begin by presenting the authors’ criticism of the classical view of logic and semantics within the tradition of Frege, Russell and Tarski. In this connection, I discuss the so-called Frege argument (“the slingshot”). I try to show that the argument appears inconclusive, not only from a situation-theoretic perspective, but also from such alternative perspectives as orthodox Fregean semantics or (...) Russellian semantics. I then discuss the ontology of situation semantics and the way it is modeled within set theory. In particular, I compare the notion of an abstract situation with that of a possible world. The last two sections concern the model-theoretic aspects of the authors’ theory. In Section 7, I discuss how the “partial” perspective of situation semantics differs from that of classical model theory. Finally, in Section 8, different model-theoretic accounts of attitude reports within situation semantics are discussed, in particular the “relations to situations”-approach presented by the authors in Chapter 9 of S & A. The usual problems of “logical omniscience” that appear in standard Hintikka-style epistemic logic are avoided in situation semantics. I argue, however, that situation semantics is faced with analogous counter-intuitive results, unless the expressive power of the language under study is suitably restricted. (shrink)