In this paper, I argue that a naturalist approach in philosophy of mathematics justifies a pluralist conception of set theory. For the pluralist, there is not a Single Universe, but there is rather a Multiverse, composed by a plurality of universes generated by various set theories. In order to justify a pluralistic approach to sets, I apply the two naturalistic principles developed by Penelope Maddy (cfr. Maddy (1997)), UNIFY and MAXIMIZE, and analyze through them the potential of the set (...) theoretic multiverse to be the best framework for mathematical practice. According to UNIFY, an adequate set theory should be foundational, in the sense that it should allow one to represent all the currently accepted mathematical theories. As for MAXIMIZE, this states that any adequate set theory should be as powerful as possible, allowing one to prove as many results and isomorphisms as possible. In a recent paper, Maddy (2017) has argued that this two principle justify ZFC as the best framework for mathematical practice. I argue that, pace Maddy, these two principles justify a multiverse conception of set theory, more precisely, the generic multiverse with a core (GMH). (shrink)

In this paper, I argue that one of the arguments usually put forward in defence of universism is in tension with current set theoretic practice. According to universism, there is only one set theoretic universe, V, and when applying the method of forcing we are not producing new universes, but only simulating them inside V. Since the usual interpretation of set generic forcing is used to produce a “simulation” of an extension of V from a countable set inside V (...) itself, the above argument is credited to be a strong defence of universism. However, I claim, such an argument does not take into account current mathematical practice. Indeed, it is possible to find theorems that are available to the multiversists but that the advocate of universism cannot prove. For example, it is possible to prove results on infinite games in non-well-founded set-theories plus the axiom of determinacy (such as ZF + AFA + PD) that are not available in ZFC + PD. These results, I contend, are philosophically problematic on a strict universist approach to forcing. I suggest that the best way to avoid the difficulty is to adopt a pluralist conception of set theory and embrace a set theoretic multiverse. Consequently, the current practice of set generic forcing better supports a multiverse conception of set theory. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account (...) of reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these (...) positions on the spectrum from inconsistency avoidance to inconsistency toleration. By doing so, I connect a debate in philosophy of set theory with a debate in philosophy of science about the role of inconsistencies in the natural sciences. While there are important differences, like the lack of threatening explosive inferences, I show how specific philosophical positions in the philosophy of set theory can be interpreted as reactions to a state of inconsistency similar to analogous reactions studied in the philosophy of science literature. My hope is that this transfer operation from philosophy of science to mathematics sheds a new light on the current discussion in philosophy of set theory; and that it can help to bring philosophy of mathematics and philosophy of science closer together. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the (...) class='Hi'>multiverse seems to be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

In ‘Language and Race’, Luvell Anderson, Sally Haslanger, and Rae Langton highlight a slip of ambiguous expression exhibited by racial generics that harbor bad faith arguments, reduces social contingencies to racial essences, and masks oppression. They locate two psycholinguistic slips between classes of generics which communicate their use; one is between the characteristic generic and striking property generic and the other is between the characteristic generic and majority generic. I postulate three additional slips between classes of (...) generics and speaker beliefs; one between the characteristic generic and the normative generic, another between normative generics and a speaker’s belief set, and another slip from a speaker’s belief set to a striking property generic. Together, the slips between generic classes constitute both a reception theory of the meaning of subject S’s utterance and the generic belief (re)generation process that structures the passage an assertion takes from a singular definite belief to a reinforcing normative generic inference in a minimal structure I name the key schema. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

As is well known, research on generics is represented by three approaches: majority- based (Cohen 1996, 1999, 2004), normalcy-based (Nickel 2006; 2009; 2010a, b; 2013; 2016; 2018), and cognition-based (Leslie 2007a, b; 2008; 2013; 2017) approaches. Two recent approaches proposed by van Rooij and Schulz (2020) and Tessler and Goodman (2019) are more elaborated theories on generics, although neither of these approaches nor the three representative theories can fully account for various generics data, as argued by Yoon (2021). On the (...) other hand, Nguyen (2020) proposes another theory of generics, the so-called ‘radical’ theory, which argues that the generic operator has no semantic content, and that the various quantificational interpretations of bare plural generics are determined contextually. In this context, the main purpose of this paper is to provide a critical review of some recently published analyses, including Nguyen’s theory, and to analyze non-conventionalized generics. While conventionalized or conceptualized generics have received much attention from researchers, non- conventionalized generics have not been studied as extensively. It will be argued that Nguyen’s theory simply transfers the burden onto pragmatics, and that non- conventionalized as well as conventionalized generics tend to be interpreted based on people’s perceptions of their exceptions, in line with Yoon (2021). This position will be supported by experimental results. (shrink)

In Everettian quantum mechanics, justifications for the Born rule appeal to self-locating uncertainty or decision theory. Such justifications have focused exclusively on a pure-state Everettian multiverse, represented by a wave function. Recent works in quantum foundations suggest that it is viable to consider a mixed-state Everettian multiverse, represented by a (mixed-state) density matrix. Here, we develop the conceptual foundations for decoherence and branching in a mixed-state multiverse, and extend the standard Everettian justifications for the Born rule to (...) this setting. This extended framework provides a unification of 'classical' and 'quantum' probabilities, and additional theoretical benefits, for the Everettian picture. (shrink)

This thesis is concerned with the ways in which meaning is generically mediated in the novel. In particular it addresses the productive diversity of meanings generated by critical interpretation and asks how, given this diversity, comprehension and consensus might be possible. I argue that the construction of subject, object, space and time is achieved in the novel through different manifestations of four key metaphors: voice, view, setting and event. These metaphors supply meanings that rely on a common experience of embodiment. (...) Embodiment supplies the basis for an intersubjectively established consensus which identifies subjects and objects in terms that correspond to the semiotic, syntagmatic and semantic uses of metaphor. I begin by surveying and reviewing certain constructionist accounts of language and meaning in order to establish the importance of metaphor in conveying meaning in rhetorical, rather than linguistic, terms. I then discuss two examples of continental philosophy on speech: Derrida on voice and Foucault on discourse. I demonstrate how meaning is rhetorically constructed according to the use to which metaphors are put—whether they denote formal, semantic, or functional aspects of meaning—through an explication of Foucault’s theory, reserving Derrida’s grammatology for my analysis of the stabilisation of meaning in the theory of certain narratologists (Gérard Genette and Marie-Laure Ryan). Voice and view are key terms in literary theory, and I examine refinements to these metaphors in Genette and Ryan. The insistence of these narratologists on restricting the rhetorical dimension of meaning undermines the value of the literary work, prompting me to argue for a relaxing of such constraints. I read Peter Carey’s True History of the Kelly Gang for its uses of voice and point of view, many of which expose the limitations of the narratological approach. This is a theoretical thesis, which engages a wide range of perspectives—constructionist, deconstructionist, sociological and structuralist—together with their various accounts of language, metaphor, speech and meaning. In terms of sociological approaches to genre and discourse, I employ the chronotope as a critical tool, examining it in the context of the theme of the country house to demonstrate the role of two of my key metaphors, setting and event, which are important for the construction of space and time in abstract terms. Focusing on novels by Jane Austen, Virginia Woolf, and Kazuo Ishiguro, in which the country house defines the space and the temporality through which thematic and “material” elements are mediated, I reveal how the chronotope supplies an overarching coherence that unites thought and event in narrative. My readings of these novels describe a theory that is concerned with the rhetorical capacities of genre rather than with taxonomic constructions of form. To this end I argue that the metaphorical dimensions of narrative—voice, view, setting and event—be loosely drawn, according to the acknowledged mutability of genre. I also emphasise the constructive effect of metaphor whilst according it a rhetorical versatility consistent with the mutability and instability of genre as a semiotic tool, concluding that consensus is achieved in our readings of novels through the form’s reliance on these four key metaphors of embodiment. These metaphors have ordinary, everyday, widespread usage beyond narrative theory; in appreciating their rhetorical value, it must be noted nonetheless that any confusion that ensues is productive, for it results in the diversities of meaning and form celebrated in the literary work. (shrink)

We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the ‘core hypothesis’. In the first part, we examine the evidential framework for MV, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of ZFC. In the second part, we address the existence and the possible features of the core of MV_T (where T is ZFC+Large Cardinals). (...) In the last part, we discuss the hypothesis that the core is Ultimate-L, and examine whether and how, based on this fact, the Core Universist can justify V=Ultimate-L as the best (and ultimate) extension of ZFC. To this end, we take into account several strategies, and assess their prospects in the light of MV’s evidential framework. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...) (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

Is the fact that our universe contains fine-tuned life evidence that we live in a multiverse? Ian Hacking and Roger White influentially argue that it is not. We approach this question through a systematic framework for self-locating epistemology. As it turns out, leading approaches to self-locating evidence agree that the fact that our own universe contains fine-tuned life indeed confirms the existence of a multiverse. This convergence is no accident: we present two theorems showing that, in this setting, (...) any updating rule that satisfies a few reasonable conditions will have the same feature. The conclusion that fine-tuned life provides evidence for a multiverse is hard to escape. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at most (...) one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly in an order. (...) Regarding generic identity, I follow Fabrice Correia and Alexander Skiles, who consider it a form of generalized identity as distinguished from numerical identity. The SNT states that for any trope to have the full fundamental ontological form is for it to be a strongly rigidly or generically (existentially) dependent individual simple part. Therefore, the common dichotomous set-up of asking whether tropes are fundamentally properties rather than objects or vice versa is a non-starter to me in formal ontological terms. The elaboration of the SNT also supplies me with the resources to respond to the arguments against tropes by Douglas Ehring, Robert K. Garcia and Herbert Hochberg. Finally, I argue that non-fundamentally but necessarily, every trope is a proper part of a substance and is concrete in the SNT. (You may access the published paper via the external link below.). (shrink)

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should (...) be replaced by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

This article connects François Laruelle's non-philosophical experiments with the axiomatic method to non-philosophy's anti-hermeneutic stance. Focusing on two texts from 1987 composed using the axiomatic method, "The Truth According to Hermes" and "Theorems on the Good News," I demonstrate how non-philosophy utilizes structural mechanisms to both expand and contract the field of potential models allowed by non-philosophy. This demonstration involves developing a notion of interpretation, which synthesizes Rocco Gangle's work on model theory with respect to non-philosophy with Laruelle's critique of (...) hermeneutics. I use Alexander Galloway's interpretation of "The Truth According to Hermes" as a case study of the limits non-philosophy sets upon its use as a basis for philosophical models, in contrast to arguments by Gangle regarding non-philosophy's greater genericity in comparison to philosophy. (shrink)

The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, I argue (...) that pluralist accounts of mathematics render fundamental mathematical disagreements compatible with mathematical realism in a way in which moral disagreements and moral realism are not. 11. (shrink)

Inflationary cosmology has been widely accepted due to its successful predictions: for a “generic” initial state, inflation produces a homogeneous, flat, bubble with an appropriate spectrum of density perturbations. However, the discovery that inflation is “generically eternal,” leading to a vast multiverse of inflationary bubbles with different low-energy physics, threatens to undermine this account. There is a “predictability crisis” in eternal inflation, because extracting predictions apparently requires a well-defined measure over the multiverse. This has led to discussions (...) of anthropic predictions based on a measure over the multiverse, and an assumption that we are typical observers. I will give a pessimistic assessment of attempts to make predictions in this sense, emphasizing in particular problems that arise even if a unique measure can be found. (shrink)

The paper presents doxological interpretation of homo-measure set. Traditionally this thesis is seen as an expression of the impermanent human doxa as the only possible truth. Using the approach of analytic philosophy to the interpretation of the famous speech, the author refuses treatment of man as an individual in favor of a generic understanding of the man. Generic feature of human in ancient world-view is the logos, which is coming to be seen as a measure of all things, (...) including man himself. -/- . (shrink)

Recent work in the philosophy of religion has resurrected Leibniz’s idea that there is a best possible world, perhaps ours. In particular, Klaas Kraay’s [2010] construction of a theistic multiverse and Nevin Climenhaga’s [2018] argument from infinite value theory are novel defenses of a best possible world. I do not think that there is a best world, and show how both Kraay and Climenhaga may be resisted. First, I argue that Kraay’s construction of a theistic multiverse can be (...) resisted from plausible assumptions about set theory. Next, I argue against the value-theoretic assumptions that underlie Climenhaga’s argument and show how to give an infinite value theory where there is no best world. (shrink)

This paper shows that several live philosophical and scientific hypotheses – including the holographic principle and multiverse theory in quantum physics, and eternalism and mind-body dualism in philosophy – jointly imply an audacious new theory of free will. This new theory, "Libertarian Compatibilism", holds that the physical world is an eternally existing array of two-dimensional information – a vast number of possible pasts, presents, and futures – and the mind a nonphysical entity or set of properties that "read" that (...) physical information off to subjective conscious awareness (in much the same way that a song written on an ordinary compact-disc is only played when read by an outside medium, i.e. a CD-player). According to this theory, every possible physical “timeline” in the multiverse may be fully physically deterministic or physically-causally closed but each person’s consciousness still entirely free to choose, ex nihilo, outside of the physical order, which physically-closed timeline is experienced by conscious observers. Although Libertarian Compatibilism is admittedly fantastic, I show that it not only follows from several live scientific and philosophical hypotheses, I also show that it (A) is a far more explanatorily powerful model of quantum mechanics than more traditional interpretations (e.g. the Copenhagen, Everett, and Bohmian interpretations), (B) makes determinate, testable empirical predictions in quantum theory, and finally, (C) predicts and explains the very existence of a number of philosophical debates and positions in the philosophy of mind, time, personal identity, and free will. First, I show that whereas traditional interpretations of quantum mechanics are all philosophically problematic and roughly as ontologically “extravagant” as Libertarian Compatibilism – in that they all posit “unseen” processes – Libertarian Compatibilism is nearly identical in structure to the only working simulation that human beings have ever constructed capable of reproducing (and so explaining) every general feature of quantum mechanics we perceive: namely, massive-multiplayer-online-roleplaying videogames (or MMORPGs). Although I am not the first to suggest that our world is akin to a computer simulation, I show that existing MMORPGs (online simulations we have already created) actually reproduce every general feature of quantum mechanics within their simulated-world reference-frames. Second, I show that existing MMORPGs also replicate (and so explain) many philosophical problems we face in the philosophy of mind, time, personal identity, and free will – all while conforming to the Libertarian Compatibilist model of reality. -/- I conclude, as such, that as fantastic and metaphysically extravagant as Libertarian Compatibilism may initially seem, it may well be true. It explains a number of features of our reality that no other physical or metaphysical theory does. (shrink)

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

We provide a new perspective on the relation between the space of description of an object and the appearance of novelties. One of the aims of this perspective is to facilitate the interaction between mathematics and historical sciences. The definition of novelties is paradoxical: if one can define in advance the possibles, then they are not genuinely new. By analyzing the situation in set theory, we show that defining generic (i.e., shared) and specific (i.e., individual) properties of elements of (...) a set are radically different notions. As a result, generic and specific definitions of possibilities cannot be conflated. We argue that genuinely stating possibilities requires that their meaning has to be made explicit. For example, in physics, properties playing theoretical roles are generic; then, generic reasoning is sufficient to define possibilities. By contrast, in music, we argue that specific properties matter, and generic definitions become insufficient. Then, the notion of new possibilities becomes relevant and irreducible. In biology, among other examples, the generic definition of the space of DNA sequences is insufficient to state phenotypic possibilities even if we assume complete genetic determinism. The generic properties of this space are relevant for sequencing or DNA duplication, but they are inadequate to understand phenotypes. We develop a strong concept of biological novelties which justifies the notion of new possibilities and is more robust than the notion of changing description spaces. These biological novelties are not generic outcomes from an initial situation. They are specific and this specificity is associated with biological functions, that is to say, with a specific causal structure. Thus, we think that in contrast with physics, the concept of new possibilities is necessary for biology. (shrink)

If $U$ is a normal ultrafilter on a measurable cardinal $\kappa$, then the intersection of the $\omega$ first iterated ultrapowers of the universe by $U$ is a Prikry generic extension of the $\omega$th iterated ultrapower.

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not (...) a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (shrink)

Responding to a set of essays by Walter Benn Michaels, this paper argues that we can solve some interesting puzzles about intention in photography without the need for any fancy Anscombian footwork. Three distinctions are enough to do the job. First, with Alexander Nehamas, we should separate the empirical photographer from the postulated artist. Next we should mark off generic intentions (such as the intention to make a work of art) from specific intentions (such as the intention to critique (...) capitalism). And finally we should draw a line between intention at time of conception and intention at time of display. A good interpretation, then, will attribute *specific* intentions to the *postulated* artist at the time of *display*. Problem solved? The postulated author of this essay thought so, at least, at the moment when he hit "send.". (shrink)

In recent years, theorists have debated how we introduce new social objects and kinds into the world. Searle, for instance, proposes that they are introduced by collective acceptance of a constitutive rule; Millikan and Elder that they are the products of reproduction processes; Thomasson that they result from creator intentions and subsequent intentional reproduction; and so on. In this chapter, I argue against the idea that there is a single generic method or set of requirements for doing so. Instead, (...) there is a variety of what I call “anchoring schemas,” or methods by which new social kinds are generated. Not only are social kinds a diverse lot, but the metaphysical explanation for their being the kinds they are is diverse as well. I explain the idea of anchoring and present examples of social kinds that are similar to one another but that are anchored in different ways. I also respond to Millikan’s argument that there is only one kind of “glue” that is “sticky enough” for holding together kinds. I argue that no anchoring schema will work in all environments. It is a contingent matter which schemas are successful for anchoring new social kinds, and an anchoring schema need only be “sticky enough” for practical purposes in a given environment. (shrink)

There are many scientific and everyday cases where each of Pr and Pr is high and it seems that Pr is high. But high probability is not transitive and so it might be in such cases that each of Pr and Pr is high and in fact Pr is not high. There is no issue in the special case where the following condition, which I call “C1”, holds: H 1 entails H 2. This condition is sufficient for transitivity in high (...) probability. But many of the scientific and everyday cases referred to above are cases where it is not the case that H 1 entails H 2. I consider whether there are additional conditions sufficient for transitivity in high probability. I consider three candidate conditions. I call them “C2”, “C3”, and “C2&3”. I argue that C2&3, but neither C2 nor C3, is sufficient for transitivity in high probability. I then set out some further results and relate the discussion to the Bayesian requirement of coherence. (shrink)

This book chapter shows how the early Heidegger’s philosophy around the period of Being and Time can address some central questions of contemporary social ontology. After sketching “non-summative constructionism”, which is arguably the generic framework that underlies all forms of contemporary analytic social ontology, I lay out early Heidegger’s conception of human social reality in terms of an extended argument. The Heidegger that shows up in light of this treatment is an acute phenomenologist of human social existence who emphasizes (...) our engagement in norm-governed practices as the basis of social reality. I then defuse a common and understandable set of objections against invoking the early Heidegger as someone who can make any positive contribution to our understanding of social reality. Lastly, I explore the extent to which the early Heidegger’s philosophy provides insights regarding phenomena of collective intentionality by showing how the intelligibility of such phenomena traces back to individual agents’ common understanding of possible ways of understanding things and acting with one another. With the early Heidegger, I argue that this common understanding is the fundamental source and basis of collective intentionality, not the non-summativist constructionism on which contemporary analytic social ontology has sought to focus with much effort. The lesson about social ontology that we should learn from the early Heidegger is that there is a tight connection between the social constitution of the human individual and his or her capacity to perform actions or activities that instantiate collective intentionality. (shrink)

The aim of this article is to introduce the theory of judgment aggregation, a growing interdisciplinary research area. The theory addresses the following question: How can a group of individuals make consistent collective judgments on a given set of propositions on the basis of the group members' individual judgments on them? I begin by explaining the observation that initially sparked the interest in judgment aggregation, the so-called "doctinal" and "discursive paradoxes". I then introduce the basic formal model of judgment aggregation, (...) which allows me to present some illustrative variants of a generic impossibility result. I subsequently turn to the question of how this impossibility result can be avoided, going through several possible escape routes. Finally, I relate the theory of judgment aggregation to other branches of aggregation theory. Rather than offering a comprehensive survey of the theory of judgment aggregation, I hope to introduce the theory in a succinct and pedagogical way, providing an illustrative rather than exhaustive coverage of some of its key ideas and results. (shrink)

Captured in narrative textual form through open-ended and tape-recorded interview conversations, visitor experience was interpreted to construct a description of visitors' relationships to place while at the same time providing insights for those who manage the national park. Humans are conceived of as meaning-makers, and outdoor recreation is viewed as emergent experience that can enrich peoples' lives rather than a predictable outcome of processing information encountered in the setting. This process-oriented approach positions subjective well-being and positive experience in the ongoing (...) processes and activities that comprise our life pursuits rather than in particular end states toward which behaviors might be directed as in the case of end state frameworks. Several themes emerged in the interpretation across narratives including a relationship of stewardship/sense of respectful mitigation, socially constructed dimensions of the wilderness concept, which both converged with and deviated from definitions in The Wilderness Act of 1964, humans positioned as both part of wilderness and separate from it, description of a process whereby people form a relationship to protected places, and an awareness among visitors of the overarching management dilemma of how to balance human visitation with protection. Management insights and general implications that emerged from the overall interpretation such as using narrative illustration to enhance visitor education were summarized. It is suggested that the particularities of the setting, in conjunction with the process-oriented creation of meaning via varying levels of physical and social interaction with the setting each play important roles, perhaps at different times, for visitors' relationships to places within the Park. The process of forming long-term relationships to places is highlighted as the common thread running through the interpretation. The value of the national park is seen to lie in these relationships, which are time and context dependent, not necessarily in the attributes of the park, many of which are generic to other protected areas in North America. The dissertation concluded with an evaluation of this interpretation based on these implications and insights and provided direction for further research to learn about the processes involved with forming relationships to protected places. (shrink)

Linguistic intervention in rational decision making is standardly captured in terms of information change. But the standard view gives us no way to model interventions involving expressions that only have an attentional effects on conversational contexts. How are expressions with non‐informational content – like epistemic modals – used to intervene in rational decision making? We show how to model rational decision change without information change: replace a standard conception of value (on which the value of a set of worlds reduces (...) to values of individual worlds in the set) with one on which the value of a set of worlds is determined by a selection function that picks out a generic member world. We discuss some upshots of this view for theorizing in philosophy and formal semantics. (shrink)

The global scale of contemporary human life and activity places us in a generic conflict between our identity as individuals and our awareness of the individual's global responsibilities. We face a conflict between the reassuring condition of living according to tradition and the unsettling condition of living in the "new continent" where human self-constitution has global implications. The cohesive set of shared traditional values and ideals is effectively overwritten by the possibility and necessity of innovation in response to global (...) demands. Many paths between the ideal of universahsm and the individual's instantiation in tradition have been contemplated by philosophers and social activists. Given the current dynamics of change, most of these projects, while of good intendon, are nevertheless profoundly naïve in their fundamental assumptions. We are at a crossroads in which we experience a condition of instability that precedes any fundamental bifurcation. But in contrast to the dominant view that instability is by definition negative, we are witnessing an extraordinary explosion of creativity. (shrink)

Recent research in science indicates that we are living in a fine-tuned universe. Only a very small parameter space of universal fundamental constants in Physics is congenial for the existence of life. Moreover, recent studies in Biological evolution also reveal that fine-tuning did exist in the evolution. It seems that we are so lucky to exist as all universal fundamental constants and life-permitting factors really fall into such a very small life-allowing region. This problem is known as the fine-tuning problem. (...) Does this phenomenon need an explanation? Can the fine-tuning problem point to the existence of God? Modern Science invokes the idea of multiverse to address the fine-tuning problem. Some scientists suggest that each universe in a set of infinitely many universes contains a typical set of fundamental constants. We should not be surprised why our universe is fine-tuned because we would not exist if the constants are not the life-allowed values. Some suggest that the existence of God can explain this fine-tuning problem. The naturalistic multiverse theory and the existence of God are the two most robust proposals to address the fine-tuning problem. Moreover, some argue that the fine-tuning problem is not real because we are just subject to observational selection effect. In this thesis, I will provide a comprehensive discussion on the fine-tuning phenomena in our universe. In particular, I will use the confirmation principle and the inference to the best explanation simultaneously to evaluate different hypotheses in a more systematic way and give some of the new and updated scientific and philosophical arguments to respond to the recent criticisms of the fine-tuning arguments. I conclude that the theistic hypothesis is the best among all to address the fine-tuning problem. (shrink)

In his [1937, 1938], Paul Dirac proposed his “Large Number Hypothesis” (LNH), as a speculative law, based upon what we will call the “Large Number Coincidences” (LNC’s), which are essentially “coincidences” in the ratios of about six large dimensionless numbers in physics. Dirac’s LNH postulates that these numerical coincidences reflect a deeper set of law-like relations, pointing to a revolutionary theory of cosmology. This led to substantial work, including the development of Dirac’s later [1969/74] cosmology, and other alternative cosmologies, such (...) as the Brans-Dicke modification of GTR, and to extensive empirical tests. We may refer to the generic hypothesis of “Large Number Relations” (LNR’s), as the proposal that there are lawlike relations of some kind between the dimensionless numbers, not necessarily those proposed in Dirac’s early LNH. Such relations would have a profound effect on our concepts of physics, but they remain shrouded in mystery. Although Dirac’s specific proposals for LNR theories have been largely rejected, the subject retains interest, especially among cosmologists seeking to test possible variations in fundamental constants, and to explain dark energy or the cosmological constant. In the first two sections here we briefly summarize the basic concepts of LNR’s. We then introduce an alternative LNR theory, using a systematic formalism to express variable transformations between conventional measurement variables and the true variables of the theory. We demonstrate some consistency results and review the evidence for changes in the gravitational constant G. The theory adopted in the strongest tests of Ġ/G, by the Lunar Laser Ranging (LLR) experiments, assumes: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m, as a fundamental relationship. Experimental measurements show the RHS to be close to zero, so it is inferred that significant changes in G are ruled out. However when the relation is derived in our alternative theory it gives: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m – (dR/dt)/R. The extra final term (which is the Hubble constant) is not taken into account in conventional derivations. This means the LLR experiments are consistent with our LNR theory (and others), and they do not really test for a changing value of G at all. This failure to transform predictions of LNR theories correctly is a serious conceptual flaw in current experiment and theory. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at (...) the current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we ask the (...) question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

Although scholarly attention has been mostly paid to the many connections existing between Kant and the exact sciences, the landscape of Kant studies has begun to noticeably change during the last decade, with many new pieces devoted to a consideration of Kant’s relation to the life sciences of his day. It is in this vein, for example, that investigators have begun to discuss the importance of Kant’s essays on race for the development of Anthropology as an emerging field. The bulk (...) of the contributions to this recent trend, however, have focused on Kant’s remarks on organic life in the Critique of Judgment, such that Kant’s “theory of biology” is now seen to be firmly located in that text. Amidst such consolidation, there are a few pieces that have begun to address Kant’s appeal to organic vocabulary within the context of his theory of cognition, though these too remain dominated by the interpretive template set by the third Critique. My own strategy in this essay will be different. Kant did indeed borrow from the life sciences for his model of the mind, but in a manner that would reject a naturalized account. His preference for epigenesis as a theory of organic generation needs to be carefully distinguished, therefore, from the use he would make of it when discussing a metaphysical portrait of reason. (shrink)

An animated cartoon is a short, hand-drawn (or made with computers to look similar to something hand-drawn) moving picture for the cinema, TV or computer screen, featuring some kind of story or plot. -/- Animation is the optical illusion of motion created by the consecutive display of images of static elements. In film and video production, this refers to techniques by which each frame of a film or movie is produced individually. Computer animation is the art of creating moving images (...) via the use of computers. It is a subfield of computer graphics and animation. Anime is a medium of animation originating in Japan, with distinctive character and background aesthetics that visually set it apart from other forms of animation. An animated cartoon is a short, hand-drawn (or made with computers to look similar to something hand-drawn) moving picture for the cinema, TV or computer screen, featuring some kind of story or plot (even if it is a very short one). Manga is the Japanese word for comics and print cartoons. Outside of Japan, it usually refers specifically to Japanese comics. Special effects (abbreviated SPFX or SFX) are used in the film, television, and entertainment industry to visualize scenes that cannot be achieved by normal means, such as space travel. Stop motion is a generic gereral term for an animation technique which makes static objects appear to move. (shrink)

In this paper, we show that for each forcing notion P in a transitive model M of ZFC, if P satisfies some conditions, there is an elementary embedding from M into a generic ultrapower contains a P-generic set. And, we also introduce the result that if we assume the existence of some large cardinals, the above generic ultrapower can be well-founded. Using this result, we prove some theorems on the problems of regularity properties of definable sets of (...) reals. (shrink)

The term “Complex Systems Biology” was introduced a few years ago [Kaneko, 2006] and, although not yet of widespread use, it seems particularly well suited to indicate an approach to biology which is well rooted in complex systems science. Although broad generalizations are always dangerous, it is safe to state that mainstream biology has been largely dominated by a gene-centric view in the last decades, due to the success of molecular biology. So the one gene - one trait approch, which (...) has often proved to be effective, has been extended to cover even complex traits. This simplifying view has been appropriately criticized, and the movement called systems biology has taken off. Systems biology [Noble, 2006] emphasizes the presence of several feedback loops in biological systems, which severely limit the range of validity of explanations based upon linear causal chains (e.g. gene → behaviour). Mathematical modelling is one the favourite tools of systems biologists to analyze the possible effects of competing negative and positive feedback loops which can be observed at several levels (from molecules to organelles, cells, tissues, organs, organisms, ecosystems). Systems biology is by now a well-established field, as it can be inferred by the rapid growth in number of conferences and journals devoted to it, as well as by the existence of several grants and funded projects.Systems biology is mainly focused upon the description of specific biological items, like for example specific organisms, or specific organs in a class of animals, or specific genetic-metabolic circuits. It therefore leaves open the issue of the search for general principles of biological organization, which apply to all living beings or to at least to broad classes. We know indeed that there are some principles of this kind, biological evolution being the most famous one. The theory of cellular organization also qualifies as a general principle. But the main focus of biological research has been that of studying specific cases, with some reluctance to accept (and perhaps a limited interest for) broad generalizations. This may however change, and this is indeed the challenge of complex systems biology: looking for general principles in biological systems, in the spirit of complex systems science which searches for similar features and behaviours in various kinds of systems. The hope to find such general principles appears well founded, and I will show in Section 2 that there are indeed data which provide support to this claim. Besides data, there are also general ideas and models concerning the way in which biological systems work. The strategy, in this case, is that of introducing simplified models of biological organisms or processes, and to look for their generic properties: this term, borrowed from statistical physics, is used for those properties which are shared by a wide class of systems. In order to model these properties, the most effective approach has been so far that of using ensembles of systems, where each member can be different from another one, and to look for those properties which are widespread. This approach was introduced many years ago [Kauffman, 1971] in modelling gene regulatory networks. At that time one had very few information about the way in which the expression of a given gene affects that of other genes, apart from the fact that this influence is real and can be studied in few selected cases (like e.g. the lactose metabolism in E. coli). Today, after many years of triumphs of molecular biology, much more has been discovered, however the possibility of describing a complete map of gene-gene interactions in a moderately complex organism is still out of reach. Therefore the goal of fully describing a network of interacting genes in a real organism could not be (and still cannot be) achieved. But a different approach has proven very fruitful, that of asking what are the typical properties of such a set of interacting genes. Making some plausible hypotheses and introducing some simplifying assumptions, Kauffman was able to address some important problems. In particular, he drew attention to the fact that a dynamical system of interacting genes displays selforganizing properties which explain some key aspects of life, most notably the existence of a limited number of cellular types in every multicellular organism (these numbers are of the order of a few hundreds, while the number of theoretically possible types, absent interactions, would be much much larger than the number of protons in the universe). In section 3 I will describe the ensemble based approach in the context of gene regulatory networks, and I will show that it can describe some important experimental data. Finally, in section 4 I will discuss some methodological aspects. (shrink)

Today decision-makers face surging increases in overall system complexity leading up to more unstable and unpredictable business environments. Leaders and decision-makers are confronted with volatility (dynamic and intense changes), uncertainty (lack of predictability), complexity (interconnection of parts which is sometimes overwhelmingly difficult to process), and ambiguity (unclear relationships), namely the VUCA-world. The implications of the VUCA-world for business and strategy can be applied to the rise of complex cyber-physical systems in Industry 4.0. There is an expressed need to develop complexity (...) management frameworks that integrate different individual measures of dealing with industrial system complexity into a synergetic strategic framework. In this regard new frameworks that reflect “real-life complexity” of industrial systems and their practitioners are being called for. It is therefore the core aim of the thesis to develop and apply a strategic complexity management framework (SCM) that fits in the individual reality of the decision-making practitioner by integrating different complexity dimensions of industrial systems in a holistic, synergetic, and strategic way. As a starting point for achieving this aim, an investigation and exploration of relevant theoretical frameworks is conducted and accumulates in the proposition of a set of hypotheses H1-H13 as an explanatory approach to achieve a multi-dimensional definition of industrial system complexity and to explore its impact on decision-making based on information growth in industrial systems. In a second step, H1-H13 are applied to develop a theoretical complexity space model for industrial systems. In the model the static and dynamic complexity of an industrial system are integrated in a complexity space modelling approach, where information complexity boundaries expand over time in a static compound space of a system and serve as an indicator for system instability in a static complexity space. The capabilities of the complexity space model are theoretically demonstrated, alongside a set of assumptions concerning the behavior of industrial system complexity. The developed complexity space model represents the core theoretical foundation for the establishment of the SCM in a third step. In the third step the complexity of an industrial system is captivated via the strategic complexity management framework (SCM) in the form of a strategic 8- quadrant matrix in adherence to the axioms of the paradigm of strategic complexity engineering which are to acknowledge, characterize, anticipate, and manage complexity. Definitions of static, dynamic and environmental conception of complexity of industrial systems are holistically integrated to capture the internal and external strategic management perspective in the SCM framework and the strategic capabilities of the SCM framework are theoretically demonstrated based on a set of generic norm strategies. In a fourth step the SCM is applied for strategic complexity management purposes to four different real-world cases of industrial manufacturing systems with the goal to test, explore and discuss the practical decision-aiding applicability of the framework via an interventionistic multi-case study based on qualitative document review. The individual results of the SCM application on the four different cases are described and discussed. Key-learnings across cases are identified and discussed as a conclusion. Finally, a research outlook is provided. (shrink)

In this dissertation, I address the question of how to construct scientific theories of emotions that are both conceptually sound and empirically fruitful. To do this, I offer an analysis of the main challenges scientific theories of emotions face, and I propose a meta-theoretical framework to construct scientific concepts of emotions as explications of folk emotion concepts. Part I discusses the main challenges theories of emotions in psychology and neuroscience encounter. The first states that a proper scientific theory of emotions (...) must explain all and only the phenomena under the vernacular term ‘emotion’ with a common set of conceptual resources and under an overarching generic concept of emotion. The second demands that each emotion category corresponds to well-coordinated sets of neural, physiological, and behavioral patterns of responses. I argue that none of the best contemporary theories of emotions in psychology and neuroscience overcomes these challenges. As a result, a new theory of emotions is required. In Part II, I develop the meta-theoretical framework to construct a theory of emotions that overcomes the challenges above. First, I propose a pluralistic account of scientific kinds based on different patterns of projection that various disciplines may take to justify inductive inferences. These are essentialist, historical, and social patterns. Each of these patterns provides a framework to construct different types of scientific concepts. I argue that among the frameworks for scientific kinds available, the one that is best suited to explicate emotion concepts is a functional framework. Consequently, I conclude by recommending scientists pursue functionalist theories of emotions over essentialist, historical, or social theories. (shrink)

The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in the context (...) of a subobject classifier, there should be a neutral label for the generic subobject, or if the label "true" appears instead, it carries no additional properties or assumptions. It has been shown that a natural isomorphism occurring in one of the definitions of topos need not be an isomorphism of the corresponding algebraic structures on the sets, so that a co-Heyting algebraic structure can be defined on the set of characteristic morphisms, which moreover will also be natural. The analyzes suggest that the notion of co-topos may be considered correct. However, it should be strongly emphasized that although the possibility of defining the notion of co-topos has been shown, its further full consequences should be very carefully examined, which can severely limit its logical applications. (shrink)