In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost (...) from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of stratification is concerned only with variables, but we extend it to abstraction terms in order to simplify further development. We reflect on nested abstraction terms, proving that they get the expected types. These extensions enable us to check whether some complex formula (...) is stratified without rewriting it in the basic language. We also introduce natural numbers and a variant of the axiom of infinity, in order to precisely introduce type level ordered pairs, which are crucial in simplifying the definitions in the last part of the article. Using these notions we can easily define the sets of ordinal and cardinal numbers, which we show at the end of the article. The same approach can be readily applied to NF. (shrink)

Deceased organ donation is widely considered as a case of easy rescue―that is, a case in which A may bestow considerable benefits on B while incurring negligent costs herself. Yet, the policy implications of this observation remain unclear. Drawing on Christopher H. Wellman’s samaritan account of political obligations, the paper develops a case for a so-called opt-out system, i.e., a scheme in which people are defaulted into being donors. The proposal’s key idea is that we may arrange people’s options in (...) specific ways for the sake of others. (shrink)

The Cambridge Companion to Philosophical Methodology offers clear and comprehensive coverage of the main methodological debates and approaches within philosophy. The chapters in this volume approach the question of how to do philosophy from a wide range of perspectives, including conceptual analysis, critical theory, deconstruction, experimental philosophy, hermeneutics, Kantianism, methodological naturalism, phenomenology, and pragmatism. They explore general conceptions of philosophy, centred on the question of what the point of philosophising might be; the method of conceptual analysis and its recent naturalistic (...) critics and competitors; perspectives from continental philosophy; and also a variety of methodological views that belong neither to the mainstream of analytic philosophy, nor to continental philosophy as commonly conceived. Together they will enable readers to grasp an unusually wide range of approaches to methodological debates in philosophy. (shrink)

The emerging epistemic community of ecosemioticians and the multidisciplinary field of inquiry known as ecosemiotics offer a radical and relevant approach to so-called global environmental crisis. There are no environmental fixes within the dominant code, since that code overdetermines the future, thereby perpetuating ecologically untenable cultural forms. The possibility of a sustainability transition (the attempt to overcome destitution and avoid ecocatastrophe) becomes real when mediated by and through ecosemiotics. In short, reflexive awareness of humankind's linguisticality is a necessary condition for (...) transforming ecologically maladaptive cultural forms. As a multidisciplinary, interdisciplinary research program integrating the human and natural sciences, ecosemiotic inquiry closes the gap between biophysical ecology and human ecology. A provisional outline of a pragmatic theory of ecoserniotics attempts to describe the processes by which adaptive cultural changes might be facilitated and points toward substantive content areas that constitute sites for further research. Ecosemiotic inquiry frames cultural codes as these shape and reproduce the ongoing stream of individual and societal choices that shape distinctively human existence in a larger context of biophysical realities that drive natural selection. However, while ecosemiotics is a necessary condition for the sustainability transition, it is not a sufficient condition. (shrink)

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has only recently started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics (...) to artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

In the luck egalitarian literature, one influential formulation of luck egalitarianism does not specify whether equalities that do not reflect people’s equivalent exercises of responsibility are bad with regard to inequality. This equivocation gives rise to two competing versions of luck egalitarianism: asymmetrical and symmetrical luck egalitarianism. According to the former, while inequalities due to luck are unjust, equalities due to luck are not necessarily so. The latter view, by contrast, affirms the undesirability of equalities as well as inequalities insofar (...) as they are due to luck. The symmetrical view, we argue, is by far the more compelling, both by internal luck egalitarian standards and in light of the external rightist emphasis on choice and responsibility to which luck egalitarianism may partly be seen as a response. Our main case for the symmetrical view is that when some people, against a background of equal opportunities, do not exercise their responsibility to the same degree as others, they cannot justifiably call for equalizing measures to be put in place. Indeed, such measures would be positively unfair. The symmetrical view, accordingly, rejects compensation in such cases, whereas the asymmetrical view, implausibly, enjoins it. We also examine two objections to this argument. First, that this view fails to qualify as genuinely egalitarian, instead collapsing the notion of equality into the notion of desert. Second, that the opposing asymmetrical view, in contrast to the symmetrical view, can draw support from its compatibility with sufficientarian concerns. Both objections are rebutted. We conclude that luck egalitarians are best served by endorsing the symmetrical, luck-neutralizing stance. (shrink)

Serious thinking about the computational aspects of situation theory is just starting. There have been some recent proposals in this direction (viz. PROSIT and ASTL), with varying degrees of divergence from the ontology of the theory. We believe that a programming environment incorporating bona fide situation-theoretic constructs is needed and describe our very recent BABY-SIT implementation. A detailed critical account of PROSIT and ASTL is also offered in order to compare our system with these pioneering and influential frameworks.

Name der Zeitschrift: Jahrgang: 13 Heft: 2 Seiten: 128-146.

While situation theory and situation semantics provide an appropriate framework for a realistic model-theoretic treatment of natural language, serious thinking on their 'computational' aspects has just started. Existing proposals mainly offer a Prolog- or Lisp-like programming environment with varying degrees of divergence from the ontology of situation theory. In this paper, we introduce a computational medium (called BABY-SIT) based on situations. The primary motivation underlying BABY-SIT is to facilitate the development and testing of programs in domains ranging from linguistics to (...) artificial intelligence in a unified framework built upon situation-theoretic constructs. (shrink)

We describe a novel approach to the analysis of pronominal anaphora in Turkish. A computational medium which is based on situation theory is used as our implementation tool. The task of resolving pronominal anaphora is demonstrated in this environment which employs situation-theoretic constructs for processing.

This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

Over the course of the twentieth century, nationalistic approaches to the obstacles of racism in the United States have increasingly come to be seen as the more revolutionary of the various forms of anti-racist struggle. This paper explores several historical instances of Black Nationalism and seeks to demonstrate that, despite the many points on which they might diverge, they share in common a tendency to naturalize and embrace the category of race as a basis for political struggle, and that they (...) therefore constitute an ideologically accommodating and hence essentially regressive approach to the questions of race and racism. It is suggested that a critique of the modern category of race and a political practice aimed at its denaturalization will be a necessary aspect of any attempt to overcome racial oppression and inequality. (shrink)

The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic with respect to Veltman models, and we prove the finite model property of the systems and with respect to generalized Veltman models.

Sobre la base de una línea interpretativa propiciada por la misma doctrina de Plotino, este trabajo pretende estudiar el problema que conlleva el fin último del alma humana en vista de su ascenso hacia el Uno-Bien. En varios pasajes de su obra, el filósofo sostiene que, conociendo el propio sí-mismo, se puede tomar contacto con un principio supremo, anterior incluso a la potencia intelectiva, en virtud de cuya visión es dable gozar de un amor sin medida. El remate en la (...) unificación no depende en última instancia del acierto racional, sino de concordar en el mismo centro con aquello de semejante al Uno-Bien que hay en el alma. Estas distinciones abonarían la posibilidad de una unión mística dentro del sistema plotiniano. Sin embargo, desde el punto de vista epistemológico, el estatuto místico es controvertido y plantea una serie dificultades teóricas que es necesario dilucidar. Para el análisis de los tópicos mentados se desarrolla una lectura a la vez hermenéutica y crítica tanto de las fuentes como de la bibliografía erudita. (shrink)

This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...) nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed. (shrink)

Philosophy and science employ abstract hypothetical scenarios- thought experiments - to illustrate, defend, and dispute theoretical claims. Since thought experiments furnish no new empirical observations, the method prompts two epistemological questions: whether anything may be learnt from the merely hypothetical, and, if so, how. Various sceptical arguments against the use of thought experiments in philosophy are discussed and criticized. The thesis that thought experiments in science provide a priori knowledge through non-sensory grasping of abstract entities is discussed and rejected. The (...) thesis that thought experimentation consists in manipulations of mental models is examined and found to be of limited epistemological relevance. It is argued that thought experiments are associated with characteristic arguments in a manner similar to ordinary experiments. It is further argued that thought experiments function in the same way as experiments in general: by providing premises for their associated arguments. Like other experiments, a thought experiment is successful when the premises it provides are true. This holds both for philosophical and scientific thought experiments. An argument schema is proposed and shown to be a formal analogue to that associated with ordinary experiments; similar in being subject to epistemological holism; but differing in being modal: in employing statements about possibility and necessity. The evaluation of thought experiments thus depends on how modal statements may be justified. Intuition and conceivability are discussed as sources of modal justification and found problematic. Instead it is suggested that evaluation proceed by accommodation of the statements describing the experiment's hypothetical scenario. The method of accommodation is developed and applied to five influential thought experiments in philosophy: the brain in a vat; Putnam's Twin Earth; Burge's arthritis example; Searle's Chinese Room; and Newcomb's problem. Its application shows some of these to be failed, others to be successful only relative to controversial philosophical doctrines. (shrink)

A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper, a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. The notion of modal definability is then generalized by combining these two. For thus obtained (...) types of modal definability on the level of Kripke models, we give characterization theorems in the usual form, in terms of algebraic closure conditions. As some consequences of these, various preservation results are presented. Also, some characterizations are strengthened by replacing closure under ultraproducts with closure under ultrapowers. (shrink)

In this article I argue for the continuity of Sartre's theory of alienation. Therefore, I will depict how the concept of 'alienation' is further developed by Sartre since his early writings, by discussing the different forms of alienation in his late oeuvre and in his works on moral philosophy. First, I will take up the differenciation of individual and social alienation and, furthermore, I will discuss Sartre's radicalized form of alienation, which is beyond pure forms of exploitation or recurrence and (...) was not discussed in the literature, yet. I will connect Sartres theory of value in his "L'Être et le Néant" with the theory of alienation in his "Cahiers pour une Moral" and the "Critique de la Raison dialectique". (shrink)

Sharon Street vertritt einen Humeanischen Konstruktivismus in der Metaethik, nach dem die normativen Gründe einer Akteurin von dem System ihrer eigenen normativen Urteile abhängen. Ein normatives Urteil ist nach Street genau dann wahr, wenn es zu der ideal kohärenten Menge der normativen Urteile gehört, die die Akteurin im Überlegungsgleichgewicht hätte. In diesem Aufsatz wird die Frage diskutiert, wie diese Konzeption von Normativität mit einer Konzeption von Moral verbunden werden kann. Eine Möglichkeit hierfür besteht darin, an einer engen Verbindung von Normativität (...) und Moral festzuhalten. In diesem Fall muss die Wahrheit moralischer Sätze jedoch auf eine ähnliche Art als akteursrelativ verstanden werden, wie Street die Wahrheit normativer Sätze versteht. Eine zweite Möglichkeit besteht darin, an einem absolutistischen Verständnis moralischer Sätze festzuhalten. Dann wären nach Streets Konzeption von Normativität jedoch Fälle denkbar, in denen eine Akteurin keinen normativen Grund hat, moralisch zu handeln. Beide theoretische Optionen scheinen kontraintuitive Implikationen zu haben, die z.B. mit der Möglichkeit moralischen Tadels oder der Vorstellung der Kategorizität moralischer Sätze zusammenhängen. Aufbauend auf Überlegungen von Street, Bernard Williams und David Lewis wird jedoch dafür argumentiert, dass insbesondere die zweite der genannten Optionen nicht so sehr von einem herkömmlichen Moralverständnis abweicht, wie es zunächst erscheint. (shrink)

As we write this, philosophers all over the world are in a state of temporary, collective self-scrutiny. Tey are poring over the results of the PhilPapers Survey, conducted by David Chalmers and David Bourgeta grand-scale survey of the professions views on 30 major philosophical issues, ranging from aesthetic value to zombies. More than 3000 people have responded, andmanymore are currently absorbing and analyzing the results.

We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...) an example of derivation, a formal proof of Arrow’s impossibility theorem is given. (shrink)

In Either/Or, using the voices of two characters—the aesthetic young man of part one, called simply "A," and the ethical Judge Vilhelm of the second section—Kierkegaard reflects upon the search for a meaningful existence, contemplating subjects as diverse as Mozart, drama, boredom, and, in the famous Seducer's Diary, the cynical seduction and ultimate rejection of a young, beautiful woman. A masterpiece of duality, Either/Or is a brilliant exploration of the conflict between the aesthetic and the ethical - both meditating ironically (...) and seductively upon Epicurean pleasures, and eloquently expounding the noble virtues of a morally upstanding life. For more than seventy years, Penguin has been the leading publisher of classic literature in the English-speaking world. With more than 1,700 titles, Penguin Classics represents a global bookshelf of the best works throughout history and across genres and disciplines. Readers trust the series to provide authoritative texts enhanced by introductions and notes by distinguished scholars and contemporary authors, as well as up-to-date translations by award-winning translators. (shrink)

Dedicated to the life and work of Heinz Von Foerster, this is a double issue of the journal "Cybernetics and Human Knowing".

This book brings together international experts on the application of Niklas Luhmann’s theory of society as autopoietic communication. Luhmann’s sociological systems theory is counter-intuitive and in its detached coolness difficult for many to understand and accept. Naturally they ask: is it really worth the trouble to learn? This book demonstrates what this combination of systems theory, Batesonian information theory, von Foerster’s second-order cybernetics, Maturana and Varela’s autopoiesis and Husserl’s phenomenology can offer. The book is produced in cooperation with the Sociocybernetic (...) Group and Copenhagen Business School. (shrink)

This special double issue of _Cybernetics and Human Knowing_ is comprised of a collection of papers devoted to the cybernetics and mathematics of Charles Sanders Peirce with a special focus on its synergies with George Spencer-Brown's thinking. Peirce was a truly original American philosopher and logician working in the late 1800s and early 1900s; Spencer-Brown is an English polymath, best known as the author of _Laws of Form_. The contributions reflect the extraordinary richness of Peirce's work and his relevance to (...) present concerns in cybernetics. The similarities in the focus on some of the deep foundational subjects are astonishing, amongst those especially the concept of the void or Firstness and the continuity of mind and matter. (shrink)

The guiding idea behind this collection of papers is a presentation of the transdisciplinary scope of the new semiotics offering a deeper and broader framework than the structuralist semiology that has been the foundation of most European semiotic analyses of culture, texts and languages.

Dedicated to the life and work of Thomas Sebeok, this is an issue of the journal "Cybernetics and Human Knowing".

The article examines the role of natural kinds in semantic theorizing, which has largely been conducted in isolation from relevant work in science, metaphysics, and philosophy of science. We argue that the Kripke–Putnam account of natural kind terms, despite recent claims to the contrary, depends on a certain metaphysics of natural kinds; that the metaphysics usually assumed—micro-essentialism—is untenable even in a ‘placeholder’ version; and that the currently popular homeostatic property cluster theory of natural kinds is correct only to an extent (...) that fails to vindicate the Kripke–Putnam account. This undermines the metasemantics required for anti-descriptivist semantics. _1_ Introduction _2_ From Semantics to Metaphysics _3_ Metaphysics, Part I: The Demise of Micro-essentialism _3.1_ Original micro-essentialism _3.2_ Placeholder essentialism _4_ Metaphysics, Part II: Homeostatic Property Cluster Theory _5_ Prospects for Natural Kind Term Semantics. (shrink)