We present and show topological completeness for LB, the logic of the topological border. LB is also a logic of epistemic ignorance. Also, we present and show completeness for LUT, the logic of unknown truths. A simple topological completeness proof for S4 is also presented using a T1 space.

We introduce an operator to represent the simple notion of being wrong. Read Wp to mean: the agent is wrong about p . Being wrong about p means believing p though p is false. We add this operator to the language of propositional logic and study it. We introduce a canonical model for logics of being wrong, show completeness for the minimal logic of being wrong and various other systems. En route we examine the expressiveness of the language. In conclusion, (...) we discuss an open question regarding K4. (shrink)

In this highly original text, Christopher Steinsvold explores an alternative semantics for logics of rational belief. Topologies, as mathematical objects, are typically interpreted in terms of space; here topologies are re-interpreted in terms of an agent with rational beliefs. The topological semantics tells us that the agent can never, in principle, know everything; that the agent's beliefs can never be complete. -/- A number of completeness proofs are given for a variety of logics of rational belief. Beyond this, the (...) author explores the philosophical question of why our beliefs can never be complete, and considers the possibility that a totality of truths is a dialethia. -/- This work will be of interest to all philosophers interested in epistemology, and modal logicians as well. (shrink)

We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy.

Patrick Grim has presented arguments supporting the intuition that any notion of a totality of truths is incoherent. We suggest a natural semantics for various logics of belief which reflect Grim’s intuition. The semantics is a topological semantics, and we suggest that the condition can be interpreted to reflect Grim’s intuition. Beyond this, we present a natural canonical topological model for K4 and KD4.

Interpreting the diamond of modal logic as the derivative, we present a topological canonical model for extensions of K4 and show completeness for various logics. We also show that if a logic is topologically canonical, then it is relationally canonical.

Given the frequency of human error, it seems rational to believe that some of our own rational beliefs are false. This is the axiom of epistemic modesty. Unfortunately, using standard propositional quantification, and the usual relational semantics, this axiom is semantically inconsistent with a common logic for rational belief, namely KD45. Here we explore two alternative semantics for KD45 and the axiom of epistemic modesty. The first uses the usual relational semantics and bisimulation quantifiers. The second uses a topological semantics (...) and standard propositional quantification. We show the two different semantics validate many of the same formulas, though we do not know whether they validate exactly the same formulas. Along the way we address various philosophical concerns. (shrink)

The Boxdot Conjecture is shown to hold for a novel class of modal systems. Each system in this class is K plus an instance of a natural generalization of the McKinsey axiom. [Note from the editors: This paper was accepted for publication in 2011. It should have been published in 2014. The lateness of the appearance of the article is due entirely to an editorial oversight.].

A message appears on the moon. It is legible from Earth, and almost no one knows how it was created. Markus West leads the government’s investigation to find the creator. -/- The message is simple and familiar. But those three words, written in blazing crimson letters on the lunar surface, will foster the strangest revolution humankind has ever endured and make Markus West wish he was never involved. -/- The message is ‘Drink Diet Coke.’ -/- When Coca-Cola denies responsibility, global (...) annoyance becomes indignation. And when his investigation confirms Coca-Cola’s innocence, Markus West becomes one of the most hated men on Earth. -/- Later, five miles above the White House, a cylinder is discovered floating in the night. It is 400 feet tall, 250 feet in diameter, and exactly resembles a can of Campbell’s Chicken Noodle Soup. Nearly everyone thinks the cylinder is a promotional stunt gone wrong, just like the lunar advertisement. And this is exactly what the alien in the cylinder wants people to think. -/- Ralph, an eccentric extraterrestrial who’s been hiding on the moon, needs Markus’s help to personally deliver a dark warning to the White House. Ralph has a big heart, a fetish for Andy Warhol, and a dangerous plan to save the world. (shrink)

An adequate theory of rights ought to forbid the harming of animals to promote trivial interests of humans, as is often done in the animal-user industries. But what should the rights view say about situations in which harming some animals is necessary to prevent intolerable injustices to other animals? I develop an account of respectful treatment on which, under certain conditions, it’s justified to intentionally harm some individuals to prevent serious harm to others. This can be compatible with recognizing the (...) inherent value of the ones who are harmed. My theory has important implications for contemporary moral issues in nonhuman animal ethics, such as the development of cultured meat and animal research. (shrink)

Value capture occurs when an agent’s values are rich and subtle; they enter a social environment that presents simplified — typically quantified — versions of those values; and those simplified articulations come to dominate their practical reasoning. Examples include becoming motivated by FitBit’s step counts, Twitter Likes and Re-tweets, citation rates, ranked lists of best schools, and Grade Point Averages. We are vulnerable to value capture because of the competitive advantage that such crisp and clear expressions of value have in (...) our private reasoning and our public justification. There is, however, a price. In value capture, we take a central component of our autonomy — our ongoing deliberation over the exact articulation of our values — and we outsource it. And the metrics to which we outsource usually engineered for the interests of some external force, like a large-scale institution’s interest in cross-contextual comprehensibility and quick aggregability. That outsourcing cuts off one of the key benefits to personal deliberation. In value capture, we no longer adjust our values and their articulations in light of own rich experience of the world. Our values should often be carefully tailored to our particular selves or our small-scale communities, but in value capture, we buy our values off the rack. In some cases – like decreasing CO2 emissions – the costs of non-tailored values are outweighed by the benefit of precise collective coordination. In other cases, like in our aesthetic lives, they are not. This suggests that we should want different values suited to different scales. We should want value federalism. Some values are perhaps best pursued at the largest-scale level, others at smaller scales. The problem occurs when we exhibit an excess preference for the largest-scale values – when we consistently let the universal metrics swamp our quieter interests. (shrink)

In The Case for Animal Rights, Tom Regan argues that although all subjects-of-a-life have equal inherent value, there are often differences in the value of lives. According to Regan, lives that have the highest value are lives which have more possible sources of satisfaction. Regan claims that the highest source of satisfaction, which is available to only rational beings, is the satisfaction associated with thinking impartially about moral choices. Since rational beings can bring impartial reasons to bear on decision making, (...) Regan maintains that they have an additional possible source of satisfaction that nonrational beings do not have and, consequently, the lives of rational beings turn out to have greater value.. (shrink)

Анотація. У статті проаналізовані досягнення Соціального Вчительства Католицької Церкви, репрезентовані працями Лева ХІІІ, Пія ХІ, Пія ХІІ, Івана Павла ІІ, що розкривають змістовні характеристики поняття «принцип субсидіарності», його роль і значення в системі християнських цінностей. Принцип субсидіарності робить можливими такі взаємовідносини в соціальному житті, коли спільнота вищого порядку не втручається у внутрішнє життя спільноти нижчого порядку, перебираючи на себе належні тій функції; заради спільного добра, спільного блага вона надає їй у разі потреби підтримку й допомогу, узгоджуючи у такий спосіб її (...) взаємодію з іншими соціальними структурами. Принцип субсидіарності скеровує соціальну практику на утвердження спільного блага в людському співтоваристві. Поширення і застосування принципу субсидіарності протистоїть небезпеці «одержавлення» суспільства та найзагрозливіших проявів колективізму, обмежує абсолютизацію влади, бюрократизацію державних і соціокультурних структур, стає одним із гарантів дотримання прав і свобод громадян своєї країни. (shrink)

In her BBC Reith Lectures on Trust, Onora O’Neill offers a short, but biting, criticism of transparency. People think that trust and transparency go together but in reality, says O'Neill, they are deeply opposed. Transparency forces people to conceal their actual reasons for action and invent different ones for public consumption. Transparency forces deception. I work out the details of her argument and worsen her conclusion. I focus on public transparency – that is, transparency to the public over expert domains. (...) I offer two versions of the criticism. First, the epistemic intrusion argument: The drive to transparency forces experts to explain their reasoning to non-experts. But expert reasons are, by their nature, often inaccessible to non-experts. So the demand for transparency can pressure experts to act only in those ways for which they can offer public justification. Second, the intimate reasons argument: In many cases of practical deliberation, the relevant reasons are intimate to a community and not easily explicable to those who lack a particular shared background. The demand for transparency, then, pressures community members to abandon the special understanding and sensitivity that arises from their particular experiences. Transparency, it turns out, is a form of surveillance. By forcing reasoning into the explicit and public sphere, transparency roots out corruption — but it also inhibits the full application of expert skill, sensitivity, and subtle shared understandings. The difficulty here arises from the basic fact that human knowledge vastly outstrips any individual’s capacities. We all depend on experts, which makes us vulnerable to their biases and corruption. But if we try to wholly secure our trust — if we leash groups of experts to pursuing only the goals and taking only the actions that can be justified to the non-expert public — then we will undermine their expertise. We need both trust and transparency, but they are in essential tension. This is a deep practical dilemma; it admits of no neat resolution, but only painful compromise. (shrink)

Recent discussions in the just war literature suggest that soldiers have a duty to assume certain risks in order to protect the lives of all innocent civilians. I challenge this principle of risk by arguing that it is justified neither as a principle that guides the conduct of combat soldiers, nor as a principle that guides commanders in the US military. I demonstrate that the principle of risk fails on the first account because it requires soldiers both to violate their (...) strict duty of obedience and loyalty and to exceed their special obligations to protect their fellow comrades, the state, the state's constituents and other protected civilians. I then illustrate that the principle of risk fails on the second account since it conflicts with the commander's primary obligation to protect and promote the welfare and lives of his or her soldiers. I conclude by arguing that we cannot reasonably expect soldiers and commanders to adhere to the principle of risk until there is a radical, institutional-level transformation of militaristic goals, values, strategies, policies, warrior codes and expectations of service members in the US Armed Forces. (shrink)

Монографія "Функціональність релігії: український контекст".

A selection of speeches and essays from the author's second decade as president of Yale University.

In his celebrated masterpiece, Symposium, Plato imagines a high-society dinner-party in Athens in 416 BC at which the guests - including the comic poet Aristophanes and, of course, Plato's mentor Socrates - each deliver a short speech in praise of love. The sequence of dazzling speeches culminates in Socrates' famous account of the views of Diotima, a prophetess who taught him that love is our means of trying to attain goodness. And then into the party bursts the drunken Alcibiades, the (...) most popular and notorious Athenian of the time, who insists on praising Socrates himself rather than love, and gives us a brilliant sketch of this enigmatic character. The power, humour, and pathos of Plato's creation engages the reader on every page. This new translation is complemented by full explanatory notes and an illuminating introduction. (shrink)

Стаття С. Присухіна «Іван Павло ІІ про логіку діалогу між Католицькою Церквою та ісламом» присвячена філософськобогословським напрацюванням Папи Римського Івана Павла ІІ щодо аналізу змістовних характеристик поняття «діалог між католицизмом і ісламом», а також логіки його здійснення в непростому й суперечливому сьогоденні.

The goal of this study was to determine whether it is possible to teach children with serious decoding problems four text comprehension strategies in listening contexts. The subjects were 9-11 year old students from special schools for children with learning disabilities. All the students were very poor at decoding; half of the group were also poor listeners, whereas the other half consisted of normal listeners. The experimental children were trained in strategies of clarifying, questioning, summarising and predicting through a combination (...) of reciprocal teaching and direct instruction. The results indicated significant programme effects on a strategic listening comprehension test. A transfer effect on general listening comprehension and general reading comprehension tests was not found. The poor listeners within the experimental group did not perform better than the normal listeners. (shrink)

Because factory-farmed meat production inflicts gratuitous suffering upon animals and wreaks havoc on the environment, there are morally compelling reasons to become vegetarian. Yet industrial plant agriculture causes the death of many field animals, and this leads some to question whether consumers ought to get some of their protein from certain kinds of non factory-farmed meat. Donald Bruckner, for instance, boldly argues that the harm principle implies an obligation to collect and consume roadkill and that strict vegetarianism is thus immoral. (...) But this argument works only if the following claims are true: all humans have access to roadkill, roadkill would go to waste if those who happen upon it don’t themselves consume it, it’s impossible to harvest vegetables without killing animals, the animals who are killed in plant production are all-things-considered harmed by crop farming, and the best arguments for vegetarianism all endorse the harm principle. As I will argue in this paper, each claim is deeply problematic. Consequently, in most cases, humans ought to strictly eat plants and save the roadkill for cats. (shrink)

This is a reply to Elisabeth Camp's and Elijah Millgram's probing discussions of "Games and the Art of Agency", in a symposium in Journal of Ethics and Social Philosophy. Millgram argues that games cannot function as a guide to life, because they are too different from life. Games are limited in a special way: in life, we deliberate about what goals we want to take on, but in games, the goals are fixed and given to us. Camp argues that there (...) is nothing particularly special about games, because the fluidity of agency is all over ordinary life too - games are just like ordinary life. I respond to Millgram: we do deliberate about our ends, in games, when we aesthetically reflect on which games to play. And I respond to Camp: games are distinctive in the way they regulate how our reasons flow across the game/life border. To respond to these criticisms, I add some substantial new features to my account of the motivational structure of game-play. (shrink)

C. S. Lewis takes us on a profound journey through both heaven and hell in this engaging allegorical tale. Using his extraordinary descriptive powers, Lewis introduces us to supernatural beings who will change the way we think about good and evil.

C. S. Lewis sets out to persuade his audience of the importance and relevance of universal values such as courage and honor in contemporary society.

'Original and provocative . . . engagingly written. (C Fred Alford) counters Levinas's notorious obscurity with a goodly dose of transparency' - John Lechte, Macquarrie University Abstract and evocative, writing in what can only be ...

This paper examines relationships between accountants’ personal values and their moral reasoning. In particular, we hypothesize that there is an inverse relationship between accountants’ “Conformity” values and principled moral reasoning. This investigation is important because the literature suggests that conformity with rule-based standards may be one reason for professional accountants’ relatively lower scores on measures of moral reasoning (Abdolmohammadi et al. J Bus Ethics 16 (1997) 1717). We administered the Rokeach Values Survey (RVS) (Rokeach: 1973, The Nature of Human Values (...) (The Free Press, New York)) and the Defining Issues Test (DIT) (Rest: 1979, Development in Judgment Moral Issues (University of Minnesota Press, Minneapolis, MN)) to164 graduating accounting students enrolled in capstone courses at two universities in the Northeastern United States. As potential entrants into the accounting profession, these subjects bring their values and moral reasoning to bear on attitudes and behaviors in the workplace. We find a highly significant inverse relationship between “Conformity” values and principled moral reasoning (i.e., those who prefer Conformity values have lower levels of moral reasoning). However, we also find that accounting students as a group do not prefer Conformity values above other values such as Self-actualization and Idealism, and we find positive relationships between Self-actualization and Idealism values and moral reasoning. Implications for values and ethics research are discussed. (shrink)

There is the world of ideas and the world of practice; the French are often for sup pressing the one and the English the other; but neither is to be suppressed. -Matthew Arnold The Function of Criticism at the Present Time From its inception, bioethics has confronted the need to reconcile theory and practice. At first the confrontation was purely intellectual, as writers on ethical theory (within phi losophy, theology, or other humanistic disciplines) turned their attention to topics from the (...) world of medical practice. Recently the confrontation has grown more intense. The ap pointment of clinical ethicists in hospitals and other health care settings is an accelerating trend in North America. Concomitantly, those institutions involved in training peo ple in clinical ethics have added organized exposure to the world of practice, in the form of placement requirements, to the normal academic course load. In common with other dis ciplines, bioethics has begun to see clinical training as a con dition of didactic theory and apprenticeship. (shrink)

Aristotle on Practical Wisdom is the first full-scale commentary on Nicomachean Ethics VI to be issued in a century, and the most illuminating ever. A meticulous translation with facing-page analysis enables readers to engage directly with Aristotle's account, while the lucid introduction locates it in the context of his—and later—ethical thought.

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.

Visit the author's Web site at www.11PicsOfTime.com Time is a mystery that has perplexed humankind since time immemorial. Resolving this mystery is of significance not only to philosophers and physicists but is also a very practical concern. Our perception of time shapes our values and way of life; it also mediates the interaction between science and religion both of which rest fundamentally on assumptions about the nature of time. C K Raju begins with a critical exposition of various time-beliefs, ranging (...) from the earliest times through Augustine, Newton and Einstein to Stephen Hawking and current notions of chaos and time travel. He traces the role of organised religion in subverting time beliefs for its political ends. The book points out how this resulted in a facile dichotomy between 'linear' and 'cyclic' time, thereby inaugurating a confusion which, according to the author, has handicapped Western thought ever since, eventually influencing the content of science itself. Thus, this book daringly asserts that physical theory, traditionally regarded as amoral and objective, has depended on cultural beliefs about time. The author points out that time beliefs are again being manipulated today as the credibility of science is being exploited to promote a picture of time and, hence, a pattern of human behaviour which is convenient to the agenda of globalisation of culture. The linkages between modern theology and this 'brave new physics' are traced against the wider context of the so-called 'clash of civilisations', and the attempts to remake the world order. The conclusions point to the need to de-theologise time. The author challenges Einstein's understanding of relativity theory and suggests that a 'tilt in the arrow of time', or a small tendency towards cyclicity, will help repair the prevalent confusion about time. A 'tilt' also enables a physics that permits both memory and creativity, so that purpose and spontaneous growth of order are returned to human life. The book ends with a vision of Man as Creator, surprising God. Extensive research in physics, the history of science, comparative religions, and sociology lend weight to the important and challenging conclusions reached by the author. Written as a rejoinder to Stephen Hawking's A Brief History of Time, this book goes much further and, unlike any previous book, it gives a critical exposition of various world religions-Buddhism, Christianity, Hinduism, Islam, and Jainism-while exploring their intricate links, through time beliefs, to current physics on the one hand, and to global political and economic trends, on the other. This book will appeal to scholars and laypersons equally. It will fascinate anyone who reads it and will teach its readers to question the unquestionable. (shrink)

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)