Values and beliefs regarding communityfood security were investigated among participants in2–3 day participatory planning events related to thelocal food system in six rural counties from oneregion of upstate New York. The results of Qmethodology reveal three distinct viewpoints: a) theSocial Justice viewpoint, which is primarily concernedwith hunger and the potential harm caused by welfarereform; b) the Pragmatist viewpoint, which values thecontributions agriculture makes to local communitiesand is not concerned about environmental or socialexternalities of the dominant food system; and c) theVisionary (...) viewpoint, which also values agriculture inthe community but is very concerned aboutenvironmental and social externalities. After theplanning events, the Pragmatist viewpoint experiencedan 88% increase in members and the other twoviewpoints became less salient. Various categories ofprofessionals (e.g., nutrition, social welfare,agriculture, environmental) tend to express theviewpoints associated with their professions and/orthe client groups they serve. Despite thesedifferences among participants, the planning events inall six counties resulted in a wide range of goals andobjectives centered on a theme of re-localizing avariety of food system activities. These results arediscussed in relation to the desirability ofdeveloping an explicit philosophy of food andagriculture and the ideal processes required to doso. (shrink)

G.W. Leibniz addresses the issue of reality in different ways according to the objects that are considered. One way relates to the characterisation of mental contents, another to the dis...

The central concern of Knowledge in a Social World is to restore the notion of Truth to the rightful place of glory that it had before the onslaught of those pragmatic, cultural-studying, social constructing, critical legalistic and feministic postmodernists (PoMo’s, for short). As G sees it, these PoMo’s have never put forward any “real” arguments for their veriphobia; and, well, how could they, since their position is committed to the “denial of Truth” and hence committed to denying that there is (...) any such thing as a valid or a sound argument. Instead, according to G, they have artfully inculcated various types of considerations so that a defender of Truth now must swim against the entire flow of academe to even stand a chance of making his or her voice heard. G finds six overlapping currents in this wash of anti-veritas ideas, listing them in his §1.3 and devoting a further section to each of them in turn (§1.4–§1.9). These currents spring up in various later parts of the book for further discussion, but even in these places G refers the reader back to the material in Chapter 1 as refuting them. (Insofar as a current that is not based on any consideration of Truth, validity, or soundness is susceptible of refutation.) I think it is fair to say that G does not really intend that his comments about the anti-veritas ideas will be taken as definitive by the veriphobes, but rather that he believes the strength of his positive account in the rest of the book (which accords Truth a central role) will sway all neutral readers into a belief of the usefulness of Truth in an account of social knowledge. Still, I think many readers…even veriphiles…will find the considerations that G brings against the six currents to be disappointingly short. I want to consider some of the currents in the stream of PoMo ideas. As I said, G’s six currents overlap at various points, and each of the currents has sub-flows. This means that we might put.... (shrink)

Different researchers use "the philosophy of automated theorem p r o v i n g " t o cover d i f f e r e n t concepts, indeed, different levels of concepts. Some w o u l d count such issues as h o w to e f f i c i e n t l y i n d e x databases as part of the philosophy of automated theorem p r o v i n g . (...) Others wonder about whether f o r m u l a s should be represented as strings or as trees or as lists, and call this part of the philosophy of automated theorem p r o v i n g . Yet others concern themselves w i t h what k i n d o f search should b e embodied i n a n y automated theorem prover, or to what degree any automated theorem prover should resemble Prolog. Still others debate whether natural deduction or semantic tableaux or resolution is " b e t t e r " , a n d c a l l t h i s a part of the p h i l o s o p h y of automated theorem p r o v i n g . Some people wonder whether automated theorem p r o v i n g should be " h u m a n oriented" or "machine o r i e n t e d " — sometimes arguing about whether the internal p r o o f methods should be " h u m a n - I i k e " or not, sometimes arguing about whether the generated proof should be output in a f o r m u n d e r s t a n d a b l e by p e o p l e , and sometimes a r g u i n g a b o u t the d e s i r a b i l i t y o f h u m a n intervention in the process of constructing a proof. There are also those w h o ask such questions as whether we s h o u l d even be concerned w i t h completeness or w i t h soundness of a system, or perhaps we should instead look at very efficient (but i n c o m p l e t e ) subsystems or look at methods of generating models w h i c h might nevertheless validate invalid arguments. A n d a l l of these have been v i e w e d as issues in the philosophy of automated theorem proving. Here, I w o u l d l i k e to step back from such i m p l e m e n t - ation issues and ask: " W h a t do we really think we are doing when we w r i t e an automated theorem prover?" My reflections are perhaps idiosyncratic, but I do think that they put the different researchers* efforts into a broader perspective, and give us some k i n d of handle on w h i c h directions we ourselves m i g h t w i s h to pursue when constructing (or extending) an automated theorem proving system. A logic is defined to be (i) a vocabulary and formation rules ( w h i c h tells us w h a t strings of symbols are w e l l - formed formulas in the logic), and ( i i ) a definition of ' p r o o f in that system ( w h i c h tells us the conditions under which an arrangement of formulas in the system constitutes a proof). Historically speaking, definitions of ' p r o o f have been given in various different manners: the most c o m m o n have been H i l b e r t - s t y l e ( a x i o m a t i c ) , Gentzen-style (consecution, or sequent), F i t c h - s t y l e (natural deduction), and Beth-style (tableaux).. (shrink)

Advances in the underlying theory of a subdiscipline of AI can result in an apparently impressive improvement in the performance of a system that incorporates the advance. This impression typically comes from observing improved performance of the new system on some test problems. However, the improvement in performance may be for only the problems used in the testing, and performance on other problems may be degraded, possibly resulting overall in an degradation of the system’s performance. This comes about typically when (...) the incorporation of the new feature increases the resources required overall, but the feature has bene- fits on only some problems (e.g., those used to test the new new system). In general, a localized theoretical advance is only rarely sufficient to increase the overall performance of any complex system. Therefore, researchers who make theoretical advances, also need some way to demonstrate that an advance really does have general, overall positive consequences for system.. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

Natural deduction is the type of logic most familiar to current philosophers, and indeed is all that many modern philosophers know about logic. Yet natural deduction is a fairly recent innovation in logic, dating from Gentzen and Jaśkowski in 1934. This article traces the development of natural deduction from the view that these founders embraced to the widespread acceptance of the method in the 1960s. I focus especially on the different choices made by writers of elementary textbooks—the standard conduits of (...) the method to a generation of philosophers—with an eye to determining what the ‘essential characteristics’ of natural deduction are. (shrink)

The author presents and defends three theses: (1) "the first is that it is not profitable for us at present to do moral philosophy; that should be laid aside at any rate until we have an adequate philosophy of psychology." (2) "the second is that the concepts of obligation, And duty... And of what is morally right and wrong, And of the moral sense of 'ought', Ought to be jettisoned if this is psychologically possible...." (3) "the third thesis is that (...) the differences between the well-Known english writers on moral philosophy from sidgwick to the present day are of little importance." (staff). (shrink)

This book offers an introduction to the Sophists of fifth-century Athens and a new overall interpretation of their thought. Since Plato first animadverted on their activities, the Sophists have commonly been presented as little better than intellectual mountebanks - a picture which Professor Kerferd forcefully challenges here. Interpreting the evidence with care, he shows them to have been part of an exciting and historically crucial intellectual movement. At the centre of their teaching was a form of relativism, most famously expressed (...) by Protagoras as 'Man is the measure of all things', and which they developed in a wide range of views - on knowledge and argument, virtue, government, society, and the gods. On all these subjects the Sophists did far more than simply provoke Plato to thought. Their contributions were substantial and serious; they inaugurated the debate on many central philosophical questions and decisively shifted the focus of philosophical attention from the cosmos to man. (shrink)

Dans cet ouvrage collectif, l'article de Guy Bouchard intitulé "Comment émasculiniser l' écriture philosophique" met d'abord en lumière le sexisme qui a caractérisé tant la philosophie que le langage en général; il s'interroge ensuite sur les façons "d'émasculiniser" l' écriture philosophique et au niveau de la pensée, et à celui du langage.

Dans un article intitulé "Féminisme et théorie politique" inclus dans cet ouvrage collectif, Guy Bouchard présente la critique féministe de la théorie politique, tant dans son volet philosophique que dans sa dimension scientifique; il insiste sur l'actualité de cette critique, puisque l'image officielle d'elle-même que projette la discipline continue à ignorer les femmes; et il discute trois modèles de rapports entre féminisme et théorie politique: (1) le rejet féministe de cette théorie; (2) l'intégration à celle-ci des préoccupations féministes; (3) sa (...) reconstruction dans une perspective féministe, reconstruction pouvant emprunter trois voies: remplacer l'androcentrisme par le gynocentrisme; juxtaposer la théorie politique traditionnelle et une théorie politique féministe; élaborer une orientation qui ne soit ni androcentrique ni gynocentrique et qui transcende la simple juxtaposition. (shrink)

Towards the end of Aline Medeiros Ramos’s study of John Buridan on craft as an intellectual virtue, she mentions William Ockham in passing and points towards his conception of craft. In this paper, I take up her implicit invitation to explore that conception. I begin by reconstructing Ockham’s notion of craft, and then proceed to discuss three consequences of that conception: the moral neutrality of craft, the role of deliberation in craftwork, and the epistemic status of craft and the craftworker. (...) I conclude by summarizing a number of issues that Buridan, according to Medeiros Ramos, finds it important to discuss, and which are noticeably absent from Ockham’s considerations. (shrink)

Some utterances of sentences such as ‘Every student failed the midterm exam’ and ‘There is no beer’ are widely held to be true in a conversation despite the facts that not every student in the world failed the midterm exam and that there is, in fact, some beer somewhere. For instance, the speaker might be talking about some particular course, or about his refrigerator. Stanley and Szabó (in Mind and Language v. 15, 2000) consider many different approaches to how contextual (...) information might give meaning to these ‘restricted quantifier domains’, and find all of them but one wanting. The present paper argues that their considerations against one of these other theories, considerations that turn on notions of compositionality, are incorrect. (shrink)

In the case of an actual proper name such as ‘Aristotle’ opinions as to the Sinn may differ. It might, for instance, be taken to be the following: the pupil of Plato and teacher of Alexander the Great. Anybody who does this will attach another Sinn to the sentence ‘Aristotle was born in Stagira’ than will a man who takes as the Sinn of the name: the teacher of Alexander the Great who was born in Stagira. So long as the (...) Bedeutung remains the same, such variations of Sinn may be tolerated, although they are to be avoided.. (shrink)

In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the (...) current state of the art in the semantics of generics, and afford insight into various generic phenomena. (shrink)

In an interesting experimental study, Bonini et al. (1999) present partial support for truth-gap theories of vagueness. We say this despite their claim to find theoretical and empirical reasons to dismiss gap theories and despite the fact that they favor an alternative, epistemic account, which they call ‘vagueness as ignorance’. We present yet more experimental evidence that supports gap theories, and argue for a semantic/pragmatic alternative that unifies the gappy supervaluationary approach together with its glutty relative, the subvaluationary approach.

The general aim of this volume is to investigate the nature of the relation between pictorial experience and aesthetic appreciation. In particular, it is concerned with the character and intimacy of this relationship: is there a mere causal connection between pictorial experience and aesthetic appreciation, or are the two relata constitutively associated with one another? The essays in the book's first section investigate important conceptual issues related to the pictorial experience of paintings. In Section II, the essays discuss the notion (...) of styles, techniques, agency, and facture, and also take into account the experience of photographic and cinematic pictures. The Pleasure of Pictures goes substantially beyond current debates in the philosophy of depiction to launch a new area of reflection in philosophical aesthetics. (shrink)

T. K. Menas [4, pp. 225-234] introduced a combinatorial property χ (μ) of a measure μ on a supercompact cardinal κ and proved that measures with this property also have the partition property. We prove here that Menas' property is not equivalent to the partition property. We also show that if α is the least cardinal greater than κ such that P κ α bears a measure without the partition property, then α is inaccessible and Π 2 1 -indescribable.

This edited volume presents new lines of research dealing with the language of thought and its philosophical implications in the time of Ockham. It features more than 20 essays that also serve as a tribute to the ground-breaking work of a leading expert in late medieval philosophy: Claude Panaccio. Coverage addresses topics in the philosophy of mind and cognition, concepts, logic and language, action theory, and more. A distinctive feature of this work is that it brings together contributions in both (...) French and English, the two major research languages today on the main theme in question. It unites the most renowned specialists in the field as well as many of Claude Panaccio’s former students who have engaged with his work over the years. In furthering this dialogue, the essays render key topics in fourteenth-century thought accessible to the contemporary philosophical community without being anachronistic or insensitive to the particularities of the medieval context. As a result, this book will appeal to a general population of philosophers and historians of philosophy with an interest in logic, philosophy of language, philosophy of mind, and metaphysics. (shrink)

A generic statement is a type of generalization that is made by asserting that a "kind" has a certain property. For example we might hear that marshmallows are sweet. Here, we are talking about the "kind" marshmallow and assert that individual instances of this kind have the property of being sweet. Almost all of our common sense knowledge about the everyday world is put in terms of generic statements. What can make these generic sentences be true even when there are (...) exceptions? A mass term is one that does not "divide its reference;" the word water is a mass term; the word dog is a count term. In a certain vicinity, one can count and identity how many dogs there are, but it doesn't make sense to do that for water--there just is water present. The philosophical literature is rife with examples concerning how a thing can be composed of a mass, such as a statue being composed of clay. Both generic statements and mass terms have led philosophers, linguists, semanticists, and logicians to search for theories to accommodate these phenomena and relationships. The contributors to this interdisciplinary volume study the nature and use of generics and mass terms. Noted researchers in the psychology of language use material from the investigation of human performance and child-language learning to broaden the range of options open for formal semanticists in the construction of their theories, and to give credence to some of their earlier postulations--for instance, concerning different types of predications that are available for true generics and for the role of object recognitions in the development of count vs. mass terms. Relevant data also is described by investigating the ways children learn these sorts of linguistic items: children can learn how to sue generic statements correctly at an early age, and children are adept at individuating objects and distinguishing them from the stuff of which they are made also at an early age. (shrink)