Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras.
Harris and Brokmeyer met in 1858 at the St. Louis Mercantile Library, where Harris was offering a public lecture. Brokmeyer convinced Harris of the significance of Hegel’s system, and its relevance to the historical trends of American society. They immediately joined forces, attracting a number of other youthful followers with intellectual ambitions, many of whom were, like Harris, teachers in the public schools. The nascent Hegelian movement was temporarily stalled when Brokmeyer went off to serve as a Colonel in (...) the Union Army during the Civil War, but it rebounded in full force upon his return with the formation of the St. Louis Philosophical Society in 1866, and the launching of the Journal of Speculative Philosophy, the official organ of the Society, in 1867. (shrink)
As an accompaniment to the translation into English of Louis Althusser's 'Letter to the Central Committee of the PCF, March 18th, 1966', this note provides the historical and theoretical context necessary to understand Althusser's 'anti-humanist' interventions into French Communist Party policy decisions during the mid-1960s. Because nowhere else in Althusser's published writings do we see as clearly the political stakes involved in his philosophical project, nor the way in which this project evolved from a 'theoreticist' pursuit into a more (...) practical one, the note also argues that the letter is of importance to Althusser scholars, to historians of Marxist thought, and to those interested in the relevance of Althusser's work to contemporary Marxist philosophy. (shrink)
Best known for his theories of ideology and its impact on politics and culture Louis Althusser revolutionized Marxist theory. His writing changed the face of literary and cultural studies and continues to influence political modes of criticism such as feminism, postcolonialism and queer theory. Beginning with an introduction to the crucial context of Marxist theory, this book goes on to explain: - How Althusser interpreted and developed Marx's work - The political implications of reading - Ideology and its significance (...) for culture and criticism - Althusser's aesthetic criticism of literature, theatre and art Placing Althusser's key ideas in the context of earlier Marxist thought, as well as tracing their development and impact, Luke Ferretter provides a wide-ranging yet accessible guide, ideal for those new to the work of this influential critical thinker. (shrink)
Hofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this paper, a precise formalization of Hofstadter's notion and then show that true explicit Henkin sentences exist.
Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension L * 1(H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close L * 1(H) with respect to Boolean operations, and obtain the language L 1(H). At the next level, we consider an extension L * 2(H) of L 1(H) in (...) which every sentence is an L 1(H)-sentence prefixed with a Henkin quantifier. We repeat this construction to infinity. Using the (un)-definability of truth – in – N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996). (shrink)
The philosophy of pattern cladism has been variously explained by reference to the work of Louis Agassiz. The present study analyzes Agassiz's attempt to combine an empirical approach to the study of nature with an idealistic philosophy. From this emerges the problem of empiricism and of the isomorphy between the order of nature and human thinking. The analysis of the writings of Louis Agassiz serves as the basis for discussion of the reality of natural groups as postulated by (...) pattern cladists. (shrink)
A general result is proved about the existence of maximally consistent theories satisfying prescribed closure conditions. The principle is then used to give streamlined proofs of completeness and omitting-types theorems, in which inductive Henkin-style constructions are replaced by a demonstration that a certain theory respects a certain class of inference rules.
Before the Enlightenment, and before the imperialism of the later eighteenth century, how did European readers find out about the varied cultures of Asia? Orientalism in Louis XIV's France presents a history of Oriental studies in seventeenth-century France, mapping the place within the intellectual culture of the period that was given to studies of Arabic, Persian, Turkish, and Chinese texts, as well as writings on Mughal India. The Orientalist writers studied here produced books that would become sources used throughout (...) the eighteenth century. Nicholas Dew places these scholars in their own context as members of the "republic of letters" in the age of the scientific revolution and the early Enlightenment. (shrink)
In 1994, Joyce Trebilcot retired from teaching at Washington University in St. Louis, where she had founded the Women's Studies Program and had been a member of the Philosophy Department since 1970. In the Fall of 1994 I participated on a SWIP conference panel on her book Dyke Ideas (Trebilcot 1994) conference; I used that occasion also to reminisce and place her work in the context of her life as a SWIP activist. What follows is adapted from that (...) presentation. (shrink)
It is known that various complexity-theoretical problems can be translated into some special spectra problems. Thus, questions about complexity classes are translated into questions about the expressive power of some languages. In this paper we investigate the spectra of some logics with Henkin quantifiers in the empty vocabulary.
On August 19, 1297, a young man of royal heritage died in the household of the Count of Provence and King of Naples at Brignoles, a short distance from Marseille. The young man was Louis of Anjou, a Franciscan friar and Bishop of Toulouse, who had renounced his inheritance and claim to the Kingdom of Naples to pursue a religious vocation. Only twenty-three years old when he died, Louis nevertheless had long been inspired by Franciscan spirituality, and less (...) than eight months before had realized his dream of professing vows within the Order of Friars Minor at the same time that he submitted to consecration as Bishop of Toulouse. In March of the following year, Peter of John Olivi, a native son of .. (shrink)
The Nikolais/Louis Dance Technique provides the definite resource for understanding and practicing the influential dance technique developed by two pioneers of modern dance, Alwin Nikolais and Murray Louis. The Nikolais/Louis technique is presented in a week-to-week classroom manual, providing an indispensable tool for teachers and students of this widely studied movement practice. Theoretical background for further reading is set off from the manual for those interested in deeper study. Their philosophy and methodology span a broad readership and (...) offer an important addition to dance literature and American cultural history. (shrink)
Montesquieu was one of the great political philosophers of the Enlightenment. Insatiably curious and mordantly funny, he constructed a naturalistic account of the various forms of government, and of the causes that made them what they were and that advanced or constrained their development. He used this account to explain how governments might be preserved from corruption. He saw despotism, in particular, as a standing danger for any government not already despotic, and argued that it could best be prevented by (...) a system in which different bodies exercised legislative, executive, and judicial power, and in which all those bodies were bound by the rule of law. This theory of the separation of powers had an enormous impact on liberal political theory, and on the framers of the constitution of the United States of America. (shrink)
In “Reliabilism Leveled” Jonathan Vogel (2000) provides a strong case against epistemic theories that stress the importance of tracking/sensitivity conditions. A tracking/sensitivity condition is to be understood as some version of the following counterfactual.
Cette étude a pour objectif de présenter les articulations et les implications du modèle tout-partie dans l'ontologie lavellienne. Pour Lavelle, l'être ne doit pas être conçu comme une donnée, mais plutôt comme un tout dynamique qui confère à chaque partie une égale densité ontologique et à l'intérieur duquel s'articulent toutes les relations entre les parties. Ce modèle entraîne d'importantes conséquences : au plan logique, la notion d'être est universelle et univoque ; au plan ontologique, l'être n'est pas susceptible de degrés (...) et le néant ne peut être que relatif ; enfin, au plan épistémologique, la connaissance est homogène à l'être et la méthode analytique est la seule qui puisse rendre justice à la complétude de l'être-tout. This study aims at presenting the articulations and the implications of the whole-part model in the Lavellian ontology. According to Lavelle, the being should not be conceived as a datum, but rather as a dynamic whole which confers to each part the very same ontological density and within which all the relations between parts are articulated. This model entails important consequences : at the logical level, the notion of being is universal and univocal ; at the ontological level, being is not susceptible of degrees and nothingness can be only relative ; finally, at the epistemological level, knowledge is homogeneous with being and the analytical method alone can do justice to the completeness of the being-whole. (shrink)
Ludwig Büchner wrote one of the most popular and polemical books of the strong materialist movement in the later nineteenth-century Germany, his Kraft und Stoff (Force and Matter) (1855). He tried to develop a comprehensive worldview, which was based solely on the findings of empirical science and did not take refuge in religion or any other transcendent categories in explaining nature and its development, including human beings. When Büchner tried to expose the backwardness of traditional philosophical and religious views in (...) scientific matters, his arguments had some force, but the positive part of his programme was not free of superficiality and naivety. Büchner’s writings helped to strengthen progressive and rational traditions inside and outside philosophy, but they can also serve as the prime example of the uncritical nineteenth- century belief in science’s capacity to redeem humankind from all evil. (shrink)
