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)

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

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)

Few editors of Virgil have given these last three words a satisfactory sense: none, to my knowledge, has fully recognized their difficulty. The root of the trouble lies in the Roman repugnance for limiting words to a single, specialized, technical sense: licium and tela are, consequently, found with a variety of different meanings. Notwithstanding this difficulty, however, I hope to show that this passage has a meaning that is both simple and unambiguous.

Sir D'Arcy Thompson's emendation of νθρωπоς to νоς in several passages of the Historia Animalium , and his explanation of the corruption as due to confusion between νος and an abbreviation both receive strong confirmation from a passage of Polybius, describing an allenged procession held by Demetrius of Phalerum, in which a similar emendation has already been made and widely accepted.

For 20th century mathematicians, the role of Cantor's sets has been that of the ideally featureless canvases on which all needed algebraic and geometrical structures can be painted. (Certain passages in Cantor's writings refer to this role.) Clearly, the resulting contradication, 'the points of such sets are distinc yet indistinguishable', should not lead to inconsistency. Indeed, the productive nature of this dialectic is made explicit by a method fruitful in other parts of mathematics (see 'Adjointness in Foundations', Dialectia 1969). This (...) role of Cantor's theory is compared with the role of Galois theory in algebraic geometry. (shrink)

Schelling’s masterpiece investigating evil and freedom.

On the History of Modern Philosophy is a key transitional text in the history of European philosophy. In it, F. W. J. Schelling surveys philosophy from Descartes to German Idealism and shows why the Idealist project is ultimately doomed to failure. The lectures trace the path of philosophy from Descartes through Spinoza, Leibniz, Kant, Fichte, Jacobi, to Hegel and Schelling's own work. The extensive critiques of Hegel prefigure many of the arguments to be found in Feuerbach, Kierkegaard, Marx, Nietzsche, Heidegger, (...) and Derrida. This is the first English translation of On the History of Modern Philosophy. In his introduction Andrew Bowie sets the work in the context of Schelling's career and clarifies its philosophical issues. The translation will be of special interest to philosophers, intellectual historians, literary theorists, and theologians. (shrink)

Part novella, part philosophy, Clara was Schelling's most popular work during his lifetime, and appears here in English for the first time.