Online research in philosophy

Metaphysics is definitely back on the agenda of contemporary philosophy. It is a metaphysics in the full traditional sense, seeking to provide the means to gain knowledge that covers being as a whole, not just parts of it (such as the metaphysics of mind, the metaphysics of values, etc.). Oxford University Press published three books in 2011 and 2012 each of which spells out that ambition. The present review sums up the main topics covered in these books and offers (...) some comments. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the (...) Logic of the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

We present the paradigm of categories-as-syntax. We briefly recall the even stronger paradigm categories-as-machine-language which led from -calculus to categorical combinators viewed as basic instructions of the Categorical Abstract Machine. We extend the categorical combinators so as to describe the proof theory of first order logic and higher order logic. We do not prove new results: the use of indexed categories and the description of quantifiers as adjoints goes back to Lawvere and has been developed in detail in works (...) of R. Seely. We rather propose a syntactic, equational presentation of those ideas. We sketch the (quasi-equational) categorical structures for dependent types, following ideas of J. Cartmell (contextual categories). All these theories of categorical combinators, together with the translations from -calculi into them, are introduced smoothly, thanks to the systematic use of– - an abstract variable-free notation for -calculus, going back to N. De Bruijn, – - a sequent formulation of the natural deduction. (shrink)

When Charles Dodgson died in 1898, my father succeeded to his rooms, which had been cleared, rather rapidly, by the College. Among the items that had been disposed of were some tiles which had surrounded the fireplace, and which were evidently the inspiration for "The Hunting of the Snark". My father bought them back from a second-hand shop, and they have been in Christ Church ever since.

One of the great virtues of Oxford is that most of its members are not academics, nor ever supposed that they sould be. They come to Oxford for three or four years and then go on their way to other occupations in "the service of God in Church and State". It is not that they were not good enough to become dons: it is simply that they had other fish to fry, and would rather be a barrister, a Member of (...) Parliament, a schoolmaster or a clergyman, and would not be tempted from their chosen vocation by any offer of a Fellowship or a life of ease and scholarship. The benefits of this are great. To have left Oxford of one's own accord and not on account of having failed to get an award or a post is to part from a friend with no sense of having been rejected. The Civil Servant who goes down with a first in Greats has no sense that he did not make it at Oxford, no need to shake its dust off his shoes because Oxford did not offer him a job, and in consequence he can easily look back on four golden years of widening horizons, untarnished by some final disappointment. And in general our alumni can feel warmly to their alma mater, because their going was of their choosing, and not because they were rudely pushed out of the nest. (shrink)

Critics of Oxbridge take unkindly to our M.A. When I had to fill in one of those innumerable time-wasting forms to show how unqualified I was to hold an academic post, I was specifically instructed to describe myself as a B.A., which I was proud to do, since our B.A. is our best degree (everything in Oxford being the opposite of what it seems). But the real equivalent of a mediaeval M.A. is a modern D.Phil, with every academic wanting to (...) call himself Doctor rather than Master, which is felt to offend our egalitarian age; and now we are going back to the mediaeval trivium followed by a post-grad quadrivium, it might seem that we should tidy up our gradations, and have simply a B.A. for the former, and a D.Phil. for the latter. (shrink)

Economic markets are not morally free zones. Contrary to popular misconceptions, market functioning rests on the ethical principles of fairness and voluntariness. This ethical foundation can be traced back at least to moral philosopher Adam Smith, one of the founders of modern economics. In the inconspicuous form of microeconomic axioms, these moral foundations are preserved. Thus, virtually all “neo-classic” economic concepts presuppose a market ethics of fairness and voluntariness. In a world of pervasive uncertainty on the long-term development of (...) the human-environment interaction, the protection of the global life-support systems is an important test case for the scope of the ethical content of market ethics. We review risk protection strategies in the face of this uncertainty that are (i) based on the insurance effect of biological diversity, and (ii) that employ a safe minimum standard (SMS). Because the fairness principle of market ethics requires that economic agents who cause “external” costs must, at least, compensate those who are burdened with these costs, the interests of future generations have to be included in responsible economic decision-making. The market and market ethics approach is applied to the analysis of a SMS for biological diversity, and to the inherent problems of such an approach. At the microeconomic level of individual decision-making, an unconditional protection is supported by market ethics neither for the putative interests of future generations nor for biological diversity: Poor people who struggle to cover their basic needs cannot not be required to care for biological diversity. In all other cases, the protection of biological diversity in favour of future generations is supported—if costs are not “unacceptably high”. At which cost level this point is approached, market ethics is not designed to decide. (shrink)

NCMRD initiated the Women in Management Research Program in January 1988. One of the objectives of the program is to help managers and policy makers deal with issues arising from women's increased participation in managerial and professional jobs backing research to help arrive at solutions to the problems being encountered both by institutions and by women themselves. Significant research funds have been raised from the private sector and ten projects have been funded to date. This article describes the early development (...) of the Program and its research mandate. (shrink)

'Numbers and Proofs' presents a gentle introduction to the notion of proof to give the reader an understanding of how to decipher others' proofs as well as construct their own. Useful methods of proof are illustrated in the context of studying problems concerning mainly numbers (real, rational, complex and integers). An indispensable guide to all students of mathematics. Each proof is preceded by a discussion which is intended to show the reader the kind of thoughts they might have before any (...) attempt proof is made. Established proofs which the student is in a better position to follow then follow. Presented in the author's entertaining and informal style, and written to reflect the changing profile of students entering universities, this book will prove essential reading for all seeking an introduction to the notion of proof as well as giving a definitive guide to the more common forms. Stressing the importance of backing up "truths" found through experimentation, with logically sound and watertight arguments, it provides an ideal bridge to more complex undergraduate maths. (shrink)