This work presents a large selection of Venturi, Scott Brown, and Izenour's pictures in large size. The essays complement the pictures and investigate how they used images to contemplate the phenomenon of the modern city and forge the link to the architectural practice of the past decades.

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

In the Tractatus, it is stated that questions about logical formatting cannot be meaningfully formulated, since it is precisely the application of logical rules which enables the formulation of a question whatsoever; analogously, Wittgenstein’s celebrated infinite regress argument on rule-following seems to undermine any explanation of deduction, as relying on a logical argument. On the other hand, some recent mathematical developments of the Curry-Howard bridge between proof theory and type theory address the issue of describing the “subjective” side of logic, (...) that is, the concrete manipulation of rules and proofs in space and time. It is advocated that such developments can shed some light on the question of logical formatting and its apparently unintelligible paradoxes, thus reconsidering Wittgenstein’s verdict. (shrink)

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

Winner of the 1975 National Book Award, this brilliant and widely acclaimed book is a powerful philosophical challenge to the most widely held political and social positions of our age--liberal, socialist, and conservative.

This paper contributes to the generalization of lattice-valued models of set theory to non-classical contexts. First, we show that there are infinitely many complete bounded distributive lattices, which are neither Boolean nor Heyting algebra, but are able to validate the negation-free fragment of \. Then, we build lattice-valued models of full \, whose internal logic is weaker than intuitionistic logic. We conclude by using these models to give an independence proof of the Foundation axiom from \.

Despite their controversial ontological status, the discussion on arbitrary objects has been reignited in recent years. According to the supporting views, they present interesting and unique qualities. Among those, two define their nature: their assuming of values, and the way in which they present properties. Leon Horsten has advanced a particular view on arbitrary objects which thoroughly describes the earlier, arguing they assume values according to a sui generis modality, which he calls afthairetic. In this paper, we offer a general (...) method for defining the minimal system of this modality for any given first-order theory, and possible extensions of it that incorporate further aspects of Horsten’s account. The minimal system presents an unconventional inference rule, which deals with two different notions of derivability. For this reason and the failure of the Necessitation rule, in its full generality, the resulting system is non-normal. Then, we provide conditional soundness and completeness results for the minimal system and its extensions. (shrink)

We analyze axioms and postulates as speech acts. After a brief historical appraisal of the concept of axiom in Euclid, Frege, and Hilbert, we evaluate contemporary axiomatics from a linguistic perspective. Our reading is inspired by Hilbert and is meant to account for the assertive, directive, and declarative components of modern axiomatics. We will do this by describing the constitutive and regulative roles that axioms possess with respect to the linguistic practice of mathematics.

We present a case study for the debate between the American and the Australian plans, analyzing a crucial aspect of negation: expressivity within a theory. We discuss the case of non-classical set theories, presenting three different negations and testing their expressivity within algebra-valued structures for ZF-like set theories. We end by proposing a minimal definitional account of negation, inspired by the algebraic framework discussed.

Robert Stern investigates how scepticism can be countered by using transcendental arguments concerning the necessary conditions for the possibility of experience, language, or thought. He shows that the most damaging sceptical questions concern neither the certainty of our beliefs nor the reliability of our belief-forming methods, but rather how we can justify our beliefs.

This is a paradigmatic work of contemporary philosophy.

In this paper, we argue for an instrumental form of existence, inspired by Hilbert’s method of ideal elements. As a case study, we consider the existence of contradictory objects in models of non-classical set theories. Based on this discussion, we argue for a very liberal notion of existence in mathematics.

In this paper we extend to non-classical set theories the standard strategy of proving independence using Boolean-valued models. This extension is provided by means of a new technique that, combining algebras (by taking their product), is able to provide product-algebra-valued models of set theories. In this paper we also provide applications of this new technique by showing that: (1) we can import the classical independence results to non-classical set theory (as an example we prove the independence of $\mathsf {CH}$ ); (...) and (2) we can provide new independence results. We end by discussing the role of non-classical algebra-valued models for the debate between universists and multiversists and by arguing that non-classical models should be included as legitimate members of the multiverse. (shrink)

Robert Hanna presents a fresh view of the Kantian and analytic traditions that have dominated continental European and Anglo-American philosophy over the last two centuries, and of the connections between them. But this is not just a study in the history of philosophy, for out of this emerges Hanna's original approach to two much-contested theories that remain at the heart of contemporary philosophy. Hanna puts forward a new 'cognitive-semantic' interpretation of transcendental idealism, and a vigorous defense of Kant's theory (...) of analytic and synthetic necessary truth, making this compelling reading for all who are interested in these fundamental philosophical issues. (shrink)

We present a generalization of the algebra-valued models of \ where the axioms of set theory are not necessarily mapped to the top element of an algebra, but may get intermediate values, in a set of designated values. Under this generalization there are many algebras which are neither Boolean, nor Heyting, but that still validate \.

In this paper we study a new operator of strong modality ⊞, related to the non-contingency operator ∆. We then provide soundness and completeness theorems for the minimal logic of the ⊞-operator.

In this paper, we examine the logics of essence and accident and attempt to ascertain the extent to which those logics are genuinely formalizing the concepts in which we are interested. We suggest that they are not completely successful as they stand. We diagnose some of the problems and make a suggestion for improvement. We also discuss some issues concerning definability in the formal language.

One of our great behavioral scientists, the bestselling author of Behave, plumbs the depths of the science and philosophy of decision-making to mount a devastating case against free will, an argument with profound consequences Robert Sapolsky's Behave, his now classic account of why humans do good and why they do bad, pointed toward an unsettling conclusion: We may not grasp the precise marriage of nature and nurture that creates the physics and chemistry at the base of human behavior, but (...) that doesn't mean it doesn't exist. Now, in Determined, Sapolsky takes his argument all the way, mounting a brilliant (and in his inimitable way, delightful) full-frontal assault on the pleasant fantasy that there is some separate self telling our biology what to do. Determined offers a marvelous synthesis of what we know about how consciousness works-the tight weave between reason and emotion and between stimulus and response in the moment and over a life. One by one, Sapolsky tackles all the major arguments for free will and takes them out, cutting a path through the thickets of chaos and complexity science and quantum physics, as well as touching ground on some of the wilder shores of philosophy. He shows us that the history of medicine is in no small part the history of learning that fewer and fewer things are somebody's "fault"; for example, for centuries we thought seizures were a sign of demonic possession. Yet, as he acknowledges, it's very hard, and at times impossible, to uncouple from our zeal to judge others and to judge ourselves. Sapolsky applies the new understanding of life beyond free will to some of our most essential questions around punishment, morality, and living well together. By the end, Sapolsky argues that while living our daily lives recognizing that we have no free will is going to be monumentally difficult, doing so is not going to result in anarchy, pointlessness, and existential malaise. Instead, it will make for a much more humane world. (shrink)

This article outlines a semantic approach to the logics of unknown truths, and the logic of false beliefs, using neighborhood structures, giving results on soundness, completeness, and expressivity. Relational semantics for the logics of unknown truths are also addressed, specically the conditions under which sound axiomatizations of these logics might be obtained from their normal counterparts, and the relationship between refexive insensitive logics and logics containing the provability operator as the primary modal operator.

We present recent results on the model companions of set theory, placing them in the context of a current debate in the philosophy of mathematics. We start by describing the dependence of the notion of model companionship on the signature, and then we analyze this dependence in the specific case of set theory. We argue that the most natural model companions of set theory describe (as the signature in which we axiomatize set theory varies) theories of $H_{\kappa ^+}$, as $\kappa (...) $ ranges among the infinite cardinals. We also single out $2^{\aleph _0}=\aleph _2$ as the unique solution of the continuum problem which can (and does) belong to some model companion of set theory (enriched with large cardinal axioms). While doing so we bring to light that set theory enriched by large cardinal axioms in the range of supercompactness has as its model companion (with respect to its first order axiomatization in certain natural signatures) the theory of $H_{\aleph _2}$ as given by a strong form of Woodin’s axiom $(*)$ (which holds assuming $\mathsf {MM}^{++}$ ). Finally this model-theoretic approach to set-theoretic validities is explained and justified in terms of a form of maximality inspired by Hilbert’s axiom of completeness. (shrink)

Classical American pragmatism: the pragmatist -- Enlightenment-and its problematic semantics -- Analyzing pragmatism: pragmatics and pragmatisms -- A Kantian rationalist pragmatism: pragmatism -- Inferentialism, and modality in Sellars's arguments against -- Empiricism -- Linguistic pragmatism and pragmatism about norms: an arc of -- Thought from Rorty's eliminative materialism to his pragmatism -- Vocabularies of pragmatism: synthesizing naturalism and -- Historicism -- Towards an analytic pragmatism: meaning-use analysis -- Pragmatism, expressivism, and anti-representationalism: -- Local and global possibilities.

We propose a novel, ontological approach to studying mathematical propositions and proofs. By “ontological approach” we refer to the study of the categories of beings or concepts that, in their practice, mathematicians isolate as fruitful for the advancement of their scientific activity (like discovering and proving theorems, formulating conjectures, and providing explanations). We do so by developing what we call a “formal ontology” of proofs using semantic modeling tools (like RDF and OWL) developed by the computer science community. In this (...) article, (i) we describe this new approach and, (ii) to provide an example, we apply it to the problem of the identity of proofs. We also describe open issues and further applications of this approach (for example, the study of purity of methods). We lay some foundations to investigate rigorously and at large scale intellectual moves and attitudes that underpin the advancement of mathematics through cognitive means (carving out investigationally valuable concepts and techniques) and social means (like communication, collaboration, revision, and criticism of specific categories, inferential patterns, and levels of analysis). Our approach complements other types of analysis of proofs such as reconstruction in a deductive system and examination through a proof-assistant. (shrink)

A sourcebook for developing and facilitating collaborative groups capable of continuously adapting to anticipate the evolving learning needs of students. Based on a theoretical foundation of schools as complex systems in which linear management models are no longer sufficient.

The Joy of Philosophy is a return to some of the perennial questions of philosophy--questions about the meaning of life; about death and tragedy; about the respective roles of rationality and passion in the good life; about love, compassion, and revenge; about honesty, deception, and betrayal; and about who we are and how we think about who we are. Recapturing the heart-felt confusion and excitement that originally brings us all to philosophy, internationally renowned teacher and lecturer Robert C. Solomon (...) offers both a critique of contemporary philosophy and an invitation to engage in philosophy in a different way. He attempts to save philosophy from itself and its self-imposed diet of thin arguments and logical analysis to recover the richness and complexity of life in thought. Solomon defends the passionate life in contrast to the life of thoughtful contemplation idealized by so many philosophers, attempting to recapture the kind of philosophy that Nietzsche celebrated as a "joyful wisdom.". (shrink)

Comprehensie collection of historical and contemporary philosophies of technology, including Plato, Aristotle, St. Simon, Comte, Marx, Heidegger, Mumford, Foucault.

In this article we analyze the method of forcing from a more philosophical perspective. After a brief presentation of this technique we outline some of its philosophical imports in connection with realism. We shall discuss some philosophical reactions to the invention of forcing, concentrating on Mostowski’s proposal of sharpening the notion of generic set. Then we will provide an overview of the notions of multiverse and the related philosophical debate on the foundations of set theory. In conclusion, we connect this (...) modern debate and Mostowski’s proposal, suggesting a way to analyze the notion of genericity within the framework of a multiverse structure. (shrink)

In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.

This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin’s generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a $$\Pi _2$$ -property formalized in an appropriate language for second order number theory is forcible (...) from some $$T\supseteq \mathsf {ZFC}+$$ large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. In particular we show that the first order theory of $$H_{\omega _1}$$ is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for $$\Delta _0$$ -properties and for all universally Baire sets of reals. We will extend these results also to the theory of $$H_{\aleph _2}$$ in a follow up of this paper. (shrink)

Develops a theory of culture based on a metaphysics that elaborates on the Platonic and Confucian traditions. In Metaphysics of Goodness, Robert Cummings Neville extends Alfred North Whitehead’s project of cultural studies, which was based on a new metaphysics that Whitehead developed in Adventures of Ideas. Neville’s focus is value or goodness in many modes. The metaphysics treated in this book derive from the Platonic and Confucian traditions, with significant modifications of Whitehead, Peirce, Dewey, Confucius, Xunzi, and Zhou Dunyi. (...) Part one develops a theory of form based on a metaphysics of harmony. Part two elaborates a theory of art based on a metaphysics of beauty. Part three sketches a theory of personhood based on a metaphysics of obligation. Part four discusses civilization in a systematic way based on a metaphysics of flourishing. Throughout the book, Neville elaborates a theory of interpretation that is inspired by Peirce, Dewey, and Xunzi but is not limited to their ideas. While the reasoning of the book is concise, it employs methodologies from many kinds of philosophy, art criticism, ethics, and cultural studies, and sees philosophy as needing to learn from all these disciplines. “Neville’s work is informed by a lifelong engagement with the most important philosophers in history, including Plato, Aristotle, Whitehead, and Dewey. Here, he offers an important argument that there is beauty not only in how people see the world, but also in the world itself.” — Kevin Schilbrack, Appalachian State University. (shrink)

On the Genealogy of Morality has become the most common point of entry into Nietzsche's thought. It offers relatively straightforward, sustained explanatory narratives addressing many of the main ideas of Nietzsche's mature thought, such as 'will to power', 'nihilism', 'perspectivism' and the 'value of truth'. It also directs its attention to what is widely taken to be Nietzsche's important philosophical contribution, the critique of morality. Yet it is challenging to understand because Nietzsche intended it as an expansion and elaboration of (...) his ideas developed elsewhere. Presupposing no prior knowledge of Nietzsche or the text, Robert Guay provides the interpretive and philosophical context to make Nietzsche's thought more accessible and shows how Nietzsche's narratives engage with philosophical issues about agency, self-knowledge, historical explanation and the critique of morality"-- Back cover. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

In this detailed study of the republican tradition in the development of the Enlightenment, the central problem of utopia and reform is crystallized in a discussion of the right to punish. Describing the political situation in Europe in the seventeenth and eighteenth centuries, the author shows how the old republics in Italy, Poland and Holland stagnated and were unable to survive in the age of absolutism. The Philosophes discussed the ideal of republicanism against this background. They were particularly influenced by (...) the political and religious radicalism of John Toland, which had survived the English Restoration and was then reaching Europe. Professor Venturi traces the debate on the penal laws and the attempt to relate utopian ideas of society to the practical problem of dealing with man in society, which culminated in the assertion by many Philosophes that an unjust social system necessitated harsh penal laws, thereby rejecting the possibility of reform. (shrink)

In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.

The volume concludes by examining a critique of Hegel's metaphysical position from the perspective of the "continental" tradition, and in particular Gilles ...

Abstract:This paper is a preliminary attempt to better understand the concept of legitimacy in stakeholder theory. The normative component of stakeholder theory plays a central role in the concept of legitimacy. Though the elaboration of legitimacy contained herein applies generally to all “normative cores” this paper relies on Phillips’s principle of stakeholder fairness and therefore begins with a brief description of this work. This is followed by a discussion of the importance of legitimacy to stakeholder theory as well as the (...) general ambiguity of the term. A distinction is then drawn between normative and derivative legitimacy. Reference to this distinction helps distinguish between a relationship with the organization based on direct moral obligation and one based on the power to help or harm the organization. It is concluded that stakeholders who retain the ability to affect the organization arelegitimate(derivatively), but that this legitimacy is derived from the moral obligation owed other (normative) stakeholders and that the two sorts of legitimacy are importantly different from one another. An example of the normative/derivative distinction at work in managerial decision making is elaborated upon and managerial and research implications are then suggested. (shrink)

We offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed.

This is the most important book on Hegel to have appeared in the past ten years. Robert Pippin offers a completely new interpretation of Hegel's idealism, which focuses on Hegel's appropriation and development of kant's theoretical project. Hegel is presented neither as a precritical metaphysician nor as a social theorist, but as a critical philosopher whose disagreements with Kant, especially on the issue of intuitions, enrich the idealist arguments against empiricism, realism and naturalism. In the face of the dismissal (...) of absolute idealism as either unintelligible or implausible, Pippin explains and defends an original account of the philosophical basis for Hegel's claims about the historical and social nature of selfconsciousness, and so of knowledge itself. (shrink)