EXISTENTIALISM IN PHILOSOPHICAL LOGIC IS THE DOCTRINE THAT STATES OF AFFAIRS, PROPOSITIONS AND PROPERTIES INVOLVING OBJECTS INCLUDE THESE OBJECTS AS DIRECT CONSTITUENTS IN AT LEAST THE SENSE THAT THE NONEXISTENCE IN A WORLD w OF SOCRATES, SAY, IMPLIES THE NONEXISTENCE IN w OF SOCRATES' BEING SNUB-NOSED. JOHN POLLOCK HAS RECENTLY ARGUED (IN "THE FOUNDATIONS OF PHILOSOPHICAL SEMANTICS") THAT SUCH AN EXISTENTIALISM HARBOURS AN INCONSISTENCY. THE PRESENT PAPER REBUTS POLLOCK'S ARGUMENT BY ARGUING THAT IT DEPENDS ON A CHARACTERIZATION OF EXISTENTIALISM THAT (...) EXISTENTIALISTS HAVE NO REASON TO ACCEPT, AND, INDEED, GOOD REASON TO REJECT. (shrink)

Let g E(m, n)=o mean that n is the Gödel-number of the shortest derivation from E of an equation of the form (m)=k. Hao Wang suggests that the condition for general recursiveness mn(g E(m, n)=o) can be proved constructively if one can find a speedfunction s s, with s(m) bounding the number of steps for getting a value of (m), such that mn s(m) s.t. g E(m, n)=o. This idea, he thinks, yields a constructivist notion of an effectively computable function, (...) one that doesn't get us into a vicious circle since we intuitively know, to begin with, that certain proofs are constructive and certain functions effectively computable. This paper gives a broad possibility proof for the existence of such classes of effectively computable functions, with Wang's idea of effective computability generalized along a number of dimensions. (shrink)

This paper deals with a philosophical question that arises within the theory of computational complexity: how to understand the notion of INTRINSIC complexity or difficulty, as opposed to notions of difficulty that depend on the particular computational model used. The paper uses ideas from Blum's abstract approach to complexity theory to develop an extensional approach to this question. Among other things, it shows how such an approach gives detailed confirmation of the view that subrecursive hierarchies tend to rank functions in (...) terms of their intrinsic, and not just their model-dependent, difficulty, and it shows how the approach allows us to model the idea that intrinsic difficulty is a fuzzy concept. (shrink)

Appearing in English for the first time, Schelling’s 1842 lectures develop the idea that many philosophical concepts are born of religious-mythological notions.

This is an English translation of Schelling's Ideas for a Philosophy of Nature (first published in 1797 and revised in 1803), one of the most significant works in the German tradition of philosophy of nature and early nineteenth-century philosophy of science. It stands in opposition to the Newtonian picture of matter as constituted by inert, impenetrable particles, and argues instead for matter as an equilibrium of active forces that engage in dynamic polar opposition to one another. In the revisions of (...) 1803 Schelling incorporated this dialectical view into a neo-Platonic conception of an original unity divided upon itself. The text is of more than simply historical interest: its daring and original vision of nature, philosophy, and empirical science will prove absorbing reading for all philosophers concerned with post-Kantian German idealism, for scholars of German Romanticism, and for historians of science. (shrink)

The use of biotechnology in food productiongives rise to consumer concerns. The term ``consumerconcern'' is often used as a container notion. Itincludes concerns about food safety, environmental andanimal welfare consequences of food productionsystems, and intrinsic moral objections againstgenetic modification. In order to create clarity adistinction between three different kinds of consumerconcern is proposed. Consumer concerns can be seen assigns of loss of trust. Maintaining consumer trustasks for governmental action. Towards consumerconcerns, governments seem to have limitedpossibilities for public policy. Under current (...) WTOregulations designed to prevent trade disputes,governments can only limit their policies to 1) safetyregulation based upon sound scientific evidence and 2)the stimulation of a system of product labeling. Ananalysis of trust, however, can show that ifgovernments limit their efforts in this way, they willnot do enough to avoid the types of consumer concernsthat diminish trust. The establishment of a technicalbody for food safety – although perhaps necessary –is in itself not enough, because concerns that relatedirectly to food safety cannot be solved by ``pure''science alone. And labeling can only be a good way totake consumer concerns seriously if these concerns arerelated to consumer autonomy. For consumer concernsthat are linked to ideas about a good society,labeling can only provide a solution if it is seen asan addition to political action rather than as itssubstitution. Labeling can help consumers take uptheir political responsibility. As citizens, consumershave certain reasonable concerns that can justifiableinfluence the market. In a free-market society, theyare, as buyers, co-creators of the market, andsocietal steering is partly done by the market.Therefore, they need the information to co-create thatmarket. The basis of labeling in these cases, however,is not the good life of the individual but thepolitical responsibility people have in their role asparticipants in a free-market. Then, public concernsare taken seriously. Labeling in that case does nottake away the possibilities of reaching politicalgoals, but it adds a possibility. (shrink)

Schelling’s masterpiece investigating evil and freedom.

Schelling's first systematic attempt to articulate a complete philosophy of nature.

Colin McGinn urged that while a brain state P explains consciousness, a conception P is cognitively inaccessible to us. This paper argues that McGinn's argument for his form of materialism is committed to P being epiphenomenal or causally inert relative to such things as the movements of our bodies. As a result, McGinn's materialism creates a duality in the brain and thereby faces the same problem of epiphenomenalism which plagues the Cartesian dualist.