(for Adam Morton's half) I argue that if we take the values of persons to be ordered in a way that allows incomparability, then the problems Broome raises have easy solutions. In particular we can maintain that creating people is morally neutral while killing them has a negative value.

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

a review of John Pollock's *Thinking about Acting* with a focus on his aim of describing psychological mechanisms which are humanly feasible.

review of two similar collections on well-being.

The purpose of this paper is to consider the ethical, political, and epistemological dimensions of upward mobility, through higher education, from a personal perspective. I explore some of the contradictions exposed in my experience pursuing aphilosophy Ph.D., in light of scholarship highlighting challenges for low socio-economic status (SES) undergraduate students. I evaluate the proposal from the philosopher Jennifer M. Morton (2019) that low-SES students need ‘clear-eyed ethical narratives’ to navigate higher education. I argue that, in order to develop these (...) narratives, low-SES graduate students must self-conceive in a way that incorporates ‘oppositional consciousness’. (shrink)

a review of John Kekes' *The Roots of Evil*. I express admiration for the aims and scope of the book, and disagree with some of Kekes' accounts of some historical cases.

In this paper, I argue that many recent interpretations of John Dewey's vision of democracy distort that vision by filtering it through the prism of contemporary deliberative democratic theories. An earlier attempt to defend Dewey's theory of moral deliberation is instructive for understanding the nature and function of this filter. In James Gouinlock's essay "Dewey's Theory of Moral Deliberation," he argues that Morton White and Charles L. Stevenson's criticisms of John Dewey's ethical theory are based upon fundamental (...) misinterpretations of Dewey's theory of moral deliberation. In the spirit of Gouinlock's 1978 essay, I show how this historical debate relates to a claim of political philosophers and political theorists that is currently in vogue, namely, that Dewey's writings contain a nascent theory of deliberative democracy. Deliberative democratic theorists contend that deliberation is the group activity that transforms individual preferences and behavior into mutual understanding, agreement, and collective action. Once Dewey's vision of democracy is identified with this theory of deliberative democracy, the strategic question for Deweyans arises: If Deweyan democracy is identified too closely with deliberative democracy, will Dewey scholars risk making Dewey's democratic vision an outmoded approach to theorizing about democracy in the wake of an expired deliberative turn? One way to see our way clear of this strategic question is to remove the deliberative democracy filter and appreciate Dewey's vision of democracy as a unique and free-standing contribution to democratic theory. (shrink)

Philosophers have often noted a contrast between practical and theoretical reasons when it comes to cases involving equally balanced reasons. When there are strong practical reasons for A-ing, and equally strong practical reasons for some incompatible option, B-ing, the agent is permitted to make an arbitrary choice between them, having sufficient reason to A and sufficient reason to B. But when there is strong evidence for P and equally strong evidence for ~ P, one isn’t permitted to simply believe one (...) or the other. Instead, one must withhold belief, neither believing that P nor believing that ~ P. This paper examines what explains this contrast, focusing in particular on a proposal recently developed by Mark Schroeder across several papers. Schroeder aims to explain the contrast by an appeal to non-evidential, epistemic reasons against belief. But, I argue, it’s not clear exactly what those reasons are, nor how those reasons are to be weighed against evidential reasons. Despite these challenges, I argue that there are grounds for optimism that the contrast can be explained within the broad framework Schroeder provides, and I aim to provide resources to meet the aforementioned challenges. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

This paper examines some recent arguments for internalism that (i) appeal to an analogy between practical and theoretical reasons, (ii) look toward our practices of reasoning with others, or (iii) tie reasons to good deliberation. The conclusion of this paper is a skeptical one: none of these new arguments gives us sufficient reason to think that internalism is true.

Is it possible to misidentify the object of an episode of bodily awareness? I argue that it is, on the grounds that a person can reasonably be unsure or mistaken as to which part of his or her body he or she is aware of at a given moment. This requires discussing the phenomenon of body ownership, and defending the claim that the proper parts of one’s body are at least no less ‘principal’ among the objects of bodily awareness than (...) is the body as a whole. I conclude with some reasons why this should lead us to think that bodily awareness, unlike introspection, is a form of perception. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

What constitutes a “good” life—not necessarily a morally good life, but a life that is good for the person who lived it? In response to this question of “well-being," philosophers have offered three significant answers: A good life is one in which a person can satisfy their desires (“Desire-Satisfaction” or “Preferentism”), one that includes certain good features (“Objectivism”), or one in which pleasurable states dominate or outweigh painful ones (“Hedonism”). To adjudicate among these competing theories, moral philosophers traditionally gather data (...) from thought experiments and intuition. In this chapter, we supplement that traditional approach with a pair of experimental studies that examine whether the three theories reflect laypeople’s intuitions about well-being. The empirical studies yield two primary findings. First, they provide evidence for lay "well-being pluralism": laypeople treat desire satisfaction, positive objective conditions, and happiness as all constitutive of well-being. Second, the studies provide evidence of "hedonic dominance": laypeople evaluate an individual’s happiness as more important to an individual’s overall well-being than desire satisfaction or objective conditions. (shrink)

It is commonly thought that one is irrationally akratic when one believes one ought to F but does not intend to F. However, some philosophers, following Robert Audi, have argued that it is sometimes rational to have this combination of attitudes. I here consider the question of whether rational akrasia is possible. I argue that those arguments for the possibility of rational akrasia advanced by Audi and others do not succeed. Specifically, I argue that cases in which an akratic agent (...) acts as he has most reason to act, and cases in which an akratic agent achieves a kind of global coherence he wouldn’t have achieved had he instead formed intentions in line with his best judgment, do not establish the possibility of rational akrasia. However, I do think that rational akrasia is possible, and I present two arguments for this thesis. The first argument involves a case in which one is incapable of revising one’s belief about what one ought to do, where one also acknowledges this belief to be insufficiently supported by the evidence. The second argument involves a case in which one rationally believes that one ought to have an akratic combination of attitudes. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

One is sometimes, but only sometimes, justified in pursuing a suboptimal course of action due to a concern that, in attempting the ideal course, one might fail to follow through and so make the situation even worse. This paper explains why such hedging is sometimes justified and sometimes not. -/- The explanation we offer relies on Elizabeth Anscombe’s distinction between reasons and logoi. Reasons are normative considerations that identify something good or bad that an act will secure or avoid, while (...) logoi constrain which actions one may consider at all. We argue that a careful unpacking of this distinction, in light of Anscombe’s associated notion of natural unintelligibility, explains why hedging is only sometimes justified. First, the intuitively inappropriate cases of hedging all involve treating logoi as though they had the normative bearing of reasons. Second, the action-theoretic differences between reasons and logoi ground a principled explanation of why one may hedge when considering reasons but not when considering logoi. -/- Having made this argument, we then show how our approach to hedging is superior to the two approaches recently developed by Berislav Marušić and Stephen White. First, we show that their accounts give counter-intuitive results in some cases. Second, we argue that their accounts violate a plausible principle of interpersonal parity (i.e., they sometimes allow us to consider the faults of others while precluding us from considering our own faults). Finally, we argue that our account better explains how intuitions shift as we vary the details of cases. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

Frege’s claim that proper names have senses has come to seem untenable following Kripke’s argument that names are rigid designators. It is commonly thought that if names had senses, their referents would vary with circumstances of evaluation. The article defends Frege’s claim by arguing that names have word-reflexive senses. This analysis of names’ senses does not violate Kripke’s noncircularity condition, and it differs crucially from related views of Bach and Katz. That names have reflexive senses confirms Frege’s own solution to (...) his puzzle about the content of identity sentences, solves Kripke’s Pierre and Peter puzzles about belief ascription, and entails that bearerless names have meanings. Furthermore, names’ having reflexive senses explains why they designate rigidly. (shrink)

According to the Aristotelian Thesis, the conclusion of practical reasoning is an action. Critics argue against it by pointing to cases in which some interference or inability prevents the production of action, yet in which that interference or inability doesn’t impugn the success of an agent’s reasoning. Some of those critics suggest instead that practical reasoning concludes in an intention, while others suggest it concludes in a belief with normative content, such as a belief about what one has conclusive, or (...) sufficient, reason to do. In this paper, I argue that we should allow that practical reasoning could conclude in either an intention or a belief with normative content. I begin by developing an objection to the Aristotelian Thesis, showing how the objection will not also undermine the possibility of practical reasoning concluding in an intention or a belief. I then respond to an argument from Joseph Raz designed to exclude the possibility of intentions as conclusions of practical reasoning. Lastly, I show how the worry that belief isn’t sufficiently “practical” to qualify as a conclusion of practical reasoning is misplaced. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

William James wrote that the life of religion “consists of the belief that there is an unseen order, and that our supreme good lies in harmoniously adjusting ourselves thereto.” Naturalism organizes our experiences of the universe within a science-grounded philosophical and/or religious framework aligning it with what is supremely good for our lives. This article describes a science-grounded specific “Framework of Spirituality” identifying part of this unseen order that opens a “spiritual core” within persons as a source of healing and (...) happiness. A cognitive behavioral therapy (CBT) expanded process shows how experiences of human worth and dignity are keys to this new awareness and provides speculation for a brain function and evolutionary explanation. Details of this knowledge are related to various perspectives and authors of naturalism—scientific, religious, ecstatic, and ecological—to contribute to a future direction for the understanding, development, and further expression of naturalism. (shrink)

This paper is concerned with the problem of speaking past one another due to an asymmetry of the interlocutors' backgrounds. When individuals with different levels of relative privilege interact, the party with relative privilege may fail to engage with what is being communicated. I take up critical Gadamerian hermeneutics to ask how we, as individuals with relative privilege, can 'unstop' our ears so that the burden of explanation does not (unfairly) remain on those we hurt by our mishearing/non-hearing. I offer (...) two methods to achieve this 'unstopping': 'critical self-knowledge' through Quassim Cassam's 'Vice Epistemology' framework and 'critical world-knowledge' through the Frankfurt School of Critical Theory (Max Horkheimer and Jürgen Habermas, specifically). I then take up contemporary critical hermeneutics (Lorenzo Simpson) to show how, through the application of the critical methods, one might be able to achieve a useful, cross-cultural dialogue. This is imperative given our inexorably multi-cultural world today. (shrink)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. This lecture expands points which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)

This is an encyclopedia article about epistemic closure principles. The article explains what they are, their various philosophical uses, how they are argued for or against, and provides an overview of the related literature.

Economists can value things for cost-benefit analysis using either a structured or an unstructured approach. The first imposes some theoretical structure on the valuation; the second does not. This paper explains the difference between the approaches and examines the relative merits of each. Cost-benefit analysis may be aimed at finding what would be the best action, or alternatively at finding which action should be done in a democracy. The paper explains the difference, and argues that the appropriate aim is the (...) first. Given that, it comes down in favour of the structured approach to valuation. As an example, it discusses different approaches to valuing life in economics. (shrink)

A psychological study of thought and language which takes an exposition of scientific linquistics as a point of departure.

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

This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.

Misinformation can have significant societal consequences. For example, misinformation about climate change has confused the public and stalled support for mitigation policies. When people lack the expertise and skill to evaluate the science behind a claim, they typically rely on heuristics such as substituting judgment about something complex (i.e. climate science) with judgment about something simple (i.e. the character of people who speak about climate science) and are therefore vulnerable to misleading information. Inoculation theory offers one approach to effectively neutralize (...) the influence of misinformation. Typically, inoculations convey resistance by providing people with information that counters misinformation. In contrast, we propose inoculating against misinformation by explaining the fallacious reasoning within misleading denialist claims. We offer a strategy based on critical thinking methods to analyse and detect poor reasoning within denialist claims. This strategy includes detailing argument structure, determining the truth of the premises, and checking for validity, hidden premises, or ambiguous language. Focusing on argument structure also facilitates the identification of reasoning fallacies by locating them in the reasoning process. Because this reason-based form of inoculation is based on general critical thinking methods, it offers the distinct advantage of being accessible to those who lack expertise in climate science. We applied this approach to 42 common denialist claims and find that they all demonstrate fallacious reasoning and fail to refute the scientific consensus regarding anthropogenic global warming. This comprehensive deconstruction and refutation of the most common denialist claims about climate change is designed to act as a resource for communicators and educators who teach climate science and/or critical thinking. (shrink)

This paper questions the idea that theism can function as an explanatory hypothesis to account for the nature and origins of the cosmos. Invoking God cannot dissolve the mystery of existence, and the characteristic religious response here is one of awe and humility. I then address David E. Cooper’s challenge of showing how a ”doctrine of mystery’ can have any discursible content. It is argued that certain aspects of our human experience afford us glimpses of the divine nature -- intimations (...) of the transcendent, which shine through from the ineffable source of our being to the human world we inhabit. (shrink)

In Rational Powers in Action, Sergio Tenenbaum sets out a new theory of instrumental rationality that departs from standard discussions of means-ends coherence in the literature on structural rationality in at least two interesting ways: it takes intentional action (as opposed to intention) to be what puts in place the relevant instrumental requirements, and it applies to both necessary and non-necessary means. I consider these two developments in more detail. On the first, I argue that Tenenbaum’s theory is too narrow (...) since there could be instrumental irrationality with respect to an intention to X even if one is not yet engaged in any relevant intentional action. On the second, I argue against Tenenbaum’s claim that “an agent is instrumentally irrational if she knowingly fails to pursue some sufficient means to an end she is pursuing.”. (shrink)

This entry considers the question of whether rationality is normative; that is, the question of whether one always ought (or, more weakly, has a reason) to be rational. It first distinguishes substantive from structural rationality, noting how structural rationality presents a more serious challenge to the thesis that rationality is normative. It then considers the plausibility of skepticism about structural rationality, and notes some problems facing such skepticism. However, if we are not skeptics about structural requirements, we face the task (...) of formulating those requirements. But both narrow-scope and wide-scope formulations seem incompatible with the idea that we always ought to be rational. This suggests that we have good reason to think that rationality is not strongly normative. (shrink)

C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...) many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

An information recovery problem is the problem of constructing a proposition containing the information dropped in going from a given premise to a given conclusion that folIows. The proposition(s) to beconstructed can be required to satisfy other conditions as well, e.g. being independent of the conclusion, or being “informationally unconnected” with the conclusion, or some other condition dictated by the context. This paper discusses various types of such problems, it presents techniques and principles useful in solving them, and it develops (...) algorithmic methods for certain classes of such problems. The results are then applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Gödel Axiom Set, e.g. whether any of its axioms can be analyzed into “informational atoms”. Two propositions are “informationally unconnected” [with each other] if no informative (nontautological) consequence of one also follows from the other. A proposition is an “informational atom” if it is informative but no information can be dropped from it without rendering it uninformative (tautological). Presentation, employment, and investigation of these two new concepts are prominent features of this paper. (shrink)

A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless (...) without rigor and objectivity. The logician’s advice to be dispassionate is in resonance and harmony with the ethicist’s advice to be compassionate. (shrink)

Aquinas, Ockham, and Burdan all claim that a person can be numerically identical over time, despite changes in size, shape, and color. How can we reconcile this with the Indiscernibility of Identicals, the principle that numerical identity implies indiscernibility across time? Almost all contemporary metaphysicians regard the Indiscernibility of Identicals as axiomatic. But I will argue that Aquinas, Ockham, and Burdan would reject it, perhaps in favor of a principle restricted to indiscernibility at a time.

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