One of the promising approaches to the problem of consciousness has been the Higher-Order Monitoring Theory of Consciousness. According to the Higher-Order Monitoring Theory, a mental state M of a subject S is conscious iff S has another mental state, M*, such that M* is an appropriate representation of M. Recently, several philosophers have developed a Higher-Order Monitoring theory with a twist. The twist is that M and M* are construed as entertaining some kind (...) of constitutive relation, rather than being logically independent of each other. We may call this the Same-Order Monitoring Theory of Consciousness. In this paper, I discuss the nature of the Same-Order Monitoring Theory and argue for its superiority over the more traditional Higher-Order Monitoring Theory. (shrink)

The same-order representation theory of consciousness holds that conscious mental states represent both the world and themselves. This complex representational structure is posited in part to avoid a powerful objection to the more traditional higher-order representation theory of consciousness. The objection contends that the higher-order theory fails to account for the intimate relationship that holds between conscious states and our awareness of them--the theory 'divides the phenomenal labor' in an illicit fashion. This (...) 'failure of intimacy' is exposed by the possibility of misrepresentation by higher-order states. In this paper, I argue that despite appearances, the same-order theory fails to avoid the objection, and thus also has troubles with intimacy. (shrink)

One of the promising approaches to the problem of consciousness has been the Higher-Order Monitoring Theory of Consciousness. According to the Higher-Order Monitoring Theory, a mental state M of a subject S is conscious iff S has another mental state, M*, such that M* is an appropriate representation of M. Recently, several philosophers have developed a Higher-Order Monitoring theory with a twist. The twist is that M and M* are construed as entertaining some kind (...) of constitutive relation, rather than being logically independent of each other. We may call this the Same-Order Monitoring Theory of Consciousness. In this paper, I discuss the nature of the Same-Order Monitoring Theory and argue for its superiority over the more traditional Higher-Order Monitoring Theory. (shrink)

In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. First, we show that first-order theories of finite signature that have functional non-surjective ordered pairing are definitionally equivalent to extensions in the same language of the basic theory of non-surjective ordered pairing. Second, we show that a first-order theory of finite signature is sequential (is a (...) class='Hi'>theory of sequences) iff it is definitionally equivalent to an extension in the same language of a system of weak set theory called WS. (shrink)

We present well-ordering proofs for Martin-Löf's type theory with W-type and one universe. These proofs, together with an embedding of the type theory in a set theoretical system as carried out in Setzer show that the proof theoretical strength of the type theory is precisely ψΩ1Ω1 + ω, which is slightly more than the strength of Feferman's theory T0, classical set theory KPI and the subsystem of analysis + . The strength of intensional and extensional (...) version, of the version à la Tarski and à la Russell are shown to be the same. (shrink)

We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to (...) be in manifest conflict with each other. However, our conclusion is that it is very difficult to see any real difference between the two. We analyze a phenomenon we call internal categoricity which extends the familiar categoricity results of second order logic to Henkin models and show that set theory enjoys the same kind of internal categoricity. Thus the existence of non-standard models, which is usually taken as a property of first order set theory, and categoricity, which is usually taken as a property of second order axiomatizations, can coherently coexist when put into their proper context. We also take a fresh look at complete second order axiomatizations and give a hierarchy result for second order characterizable structures. Finally we consider the problem of existence in mathematics from both points of view and find that second order logic depends on what we call large domain assumptions, which come quite close to the meaning of the axioms of set theory. (shrink)

A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including $\mathsf {PA}$ [39], $\mathsf {ZF}$, $\mathsf {Z}_2$, and $\mathsf {KM}$ [6]. In this article we extend Enayat’s investigations to subsystems of these latter two theories. We prove that restricting the Comprehension schema of $\mathsf {Z}_2$ and $\mathsf {KM}$ gives non-tight theories. Specifically, we show that $\mathsf {GB}$ and $\mathsf {ACA}_0$ each admit different (...) bi-interpretable extensions, and the same holds for their extensions by adding $\Sigma ^1_k$ -Comprehension, for $k \ge 1$. These results provide evidence that tightness characterizes $\mathsf {Z}_2$ and $\mathsf {KM}$ in a minimal way. (shrink)

Several philosophers of science construe models of scientific theories as set-theoretic structures. Some of them moreover claim that models should not be construed as structures in the sense of model theory because the latter are language-dependent. I argue that if we are ready to construe models as set-theoretic structures (strict semantic view), we could equally well construe them as model-theoretic structures of higher-order logic (liberal semantic view). I show that every family of set-theoretic structures has an associated language (...) of higher-order logic and an up to signature isomorphism unique model-theoretic counterpart, which is able to serve the same purposes. This allows to carry over every syntactic criterion of equivalence for theories in the sense of the liberal semantic view to theories in the sense of the strict semantic view. Taken together, these results suggest that the recent dispute about the semantic view and its relation to the syntactic view can be resolved. (shrink)

William Lycan has articulated “a simple argument” for higher-order representation (HOR) theories of a variety of consciousness sometimes labeled ‘awareness consciousness’ (Lycan, Analysis 61.1, January 3–4, 2001). The purpose of this article is to critically assess the influential argument-strategy of the simple argument. I argue that, as stated, the simple argument fails since it is invalid. Moreover, I argue that an obvious “quick fix” would beg the question against competing same-order representation (SOR) theories of awareness consciousness. I (...) then provide a reconstruction of the argument and argue that although the reconstructed argument deserves consideration, it is also too simple as stated. In particular, it raises several controversial questions about the nature of mental representation. These questions must be addressed before a verdict as to the cogency of the HOR argument-strategy can be reached. But since the questions are controversial, a cogent argument for HOR theories of awareness consciousness is unlikely to be simple. (shrink)

In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of ZFC has a minimum GBC-realization if and only if it admits a parametrically definable global well order. (2) Countable models of GBC admit minimal extensions with the same sets. (...) (3) There is no minimum transitive model of KM. (4) There is a minimum β-model of GB+ETR. The main question left unanswered by this article is whether there is a minimum transitive model of GB+ETR. (shrink)

We generalize the Unstable Formula Theorem characterization of stable theories from Shelah [11], that a theory T is stable just in case any infinite indiscernible sequence in a model of T is an indiscernible set. We use a generalized form of indiscernibles from [11], in our notation, a sequence of parameters from an L-structure M, , indexed by an L′-structure I is L′-generalized indiscernible inM if qftpL′=qftpL′ implies tpL=tpL for all same-length, finite ¯,j from I. Let Tg be (...) the theory of linearly ordered graphs in the language with signature Lg={<,R}. Let Kg be the class of all finite models of Tg. We show that a theory T has NIP if and only if any Lg-generalized indiscernible in a model of T indexed by an Lg-structure with age equal to Kg is an indiscernible sequence. (shrink)

We explore and provide an account for a recently identified judgment anomaly, i.e., an order effect that changes the strength of intentionality ascriptions for some side effects (e.g., when a chairman's pursuit of profits has the foreseen but unintended consequence of harming the environment). Experiment 1 replicated the previously unanticipated order effect anomaly controlling for general individual differences. Experiment 2 revealed that the order effect was multiply determined and influenced by factors such as beliefs (i.e., that the (...) same actor was involved in bringing about both good and bad side effects) and philosophical training (i.e., more training was associated with smaller differences in judgment when harm followed help). Results provide more evidence that the folk's philosophically relevant intuitions are predictably fragmented and depend on the dynamic interplay between persons, process, and environments. Methodological and theoretical implications are discussed. (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. (...) Secondly, I show that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

Goffman is credited with enriching our understanding of the details of interaction, but not with challenging our theoretical understanding of social organization. While Goffman's position is not consistent, the outlines for a theory of an interaction order sui generis may be found in his work. It is not theoretically adequate to understand Goffman as an interactionist within the dichotomy between agency and social structure. Goffman offers a way of resolving this dichotomy via the idea of an interaction (...) class='Hi'>order which is constitutive of self and at the same time places demands on social structure. This has significant implications for our understanding of social organization in general. (shrink)

Nonnaturalist realism is the view that normative properties are unique kind of stance-independent properties. It has been argued that such views fail to explain why two actions that are exactly alike otherwise must also have the same normative properties. Mark Schroeder and Knut Olav Skarsaune have recently suggested that nonnaturalist realists can respond to this supervenience challenge by taking the primary bearers of normative properties to be action kinds. This paper develops their response in two ways. First, it provides (...) additional motivation for the previous claim about the bearers of normative properties by drawing from the work of H. A. Prichard. Second, and more importantly, it formulates a plausible metaphysical framework based on the contemporary trope theory to explain why action kinds would have their second-order properties, including their normative properties, necessarily. (shrink)

Fiona Nicoll and Melissa Gregg met on the job at a new university having both moved from Sydney to Brisbane to take up their appointments. Here they share reflections on teaching a cultural theory course that they inherited from a prominent Australian Professor of Cultural Studies, offering the perspectives of two consecutive generations of cultural studies theorists now teaching in the field since the early 1990s. This situation gives rise to new interpretations regarding the value and uses of (...) class='Hi'>theory in the classroom. Noting the subtle differences involved in teaching the same theoretical material in different cities, the ironies of teaching radical cultural theory in a conservative institutional environment, and the specific opportunities and challenges of teaching cultural studies theory as opposed to others, the article considers some of the silences teachers must also contend with in their classroom practice, drawing on and expanding the terrain established by Thorkelson's thesis. (shrink)

A first order theory T of power λ is called unidimensional if any twoλ+-saturated models of T of the same cardinality are isomorphic. We prove here that such theories are superstable, solving a problem of Shelah. The proof involves an existence theorem and a definability theorem for definable groups in stable theories, and an analysis of their relation to regular types.

We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.

It is common for contemporary metaphysical realists to adopt Quine's criterion of ontological commitment while at the same time repudiating his ontological pragmatism. 2 Drawing heavily from the work of others—especially Joseph Melia and Stephen Yablo—I will argue that the resulting approach to meta-ontology is unstable. In particular, if we are metaphysical realists, we need not accept ontological commitment to whatever is quantified over by our best first-order theories.

This article studies the mathematical properties of two systems that model Aristotle's original syllogistic and the relationship obtaining between them. These systems are Corcoran's natural deduction syllogistic and ?ukasiewicz's axiomatization of the syllogistic. We show that by translating the former into a first-order theory, which we call T RD, we can establish a precise relationship between the two systems. We prove within the framework of first-order logic a number of logical properties about T RD that bear upon (...) the same properties of the natural deduction counterpart ? that is, Corcoran's system. Moreover, the first-order logic framework that we work with allows us to understand how complicated the semantics of the syllogistic is in providing us with examples of bizarre, unexpected interpretations of the syllogistic rules. Finally, we provide a first attempt at finding the structure of that semantics, reducing the search to the characterization of the class of models of T RD. (shrink)

The paper presents Property Theory with Curry Typing where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. The paper sketches a system of tableau rules that implement the theory. Some extensions to the type theory are discussed, including type polymorphism, which provides a (...) useful analysis of conjunctive terms. Such terms can be given a single polymorphic type that expresses the fact that they can conjoin phrases of any one type, yielding an expression of the same type. (shrink)

Reply to eight critical reviews of my paper "Franz Brentano and Higher-Order Theories of Consciousness" in the same issue of the journal Argumentos.

It is shown, assuming the linear case of Schinzel's Hypothesis, that the first-order theory of the structure $\langle \omega; +, P\rangle$ , where P is the set of primes, is undecidable and, in fact, that multiplication of natural numbers is first-order definable in this structure. In the other direction, it is shown, from the same hypothesis, that the monadic second-order theory of $\langle\omega; S, P\rangle$ is decidable, where S is the successor function. The latter (...) result is proved using a general result of A. L. Semenov on decidability of monadic theories, and a proof of Semenov's result is presented. (shrink)

One popular approach to theorizing about phenomenal consciousness has been to connect it to representations of a certain kind. Representational theories of consciousness can be further sub-divided into first-order and higher-order theories. Higher-order theories are often interpreted as invoking a special relation between the first-order state and the higher-order state. However there is another way to interpret higher-order theories that rejects this relational requirement. On this alternative view phenomenal consciousness consists in having suitable higher- (...) class='Hi'>order representations. I call this ‘HOROR’ (‘Higher-Order Representation Of a Representation’) theory to distinguish it from relational versions of higher- order theory. In this paper I make the case that HOROR theory is a plausible account of the real nature of phenomenal consciousness whatever one’s views are about whether it is physical/reducible or not. I first clarify HOROR theory and compare it to the more traditional same-order and higher-order thought theories. Afterwards I move to presenting some considerations in favor of HOROR theory. (shrink)

The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take (...) the theory of αβη-equality into account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...) the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

Gestalt theory is discussed as one main precursor of synergetics, one of the most elaborated theories of self-organization. It is a precursor for two reasons: the Gestalt theoretical view of cognitive order-formation comes dose to the central ideas of self-organization. Furthermore both approaches have stressed the significance of non-linear perceptual processes (such as multistability) for the solution of the mind-brain problem. The question of whether Gestalt theory preferred a dualistic or a monistic view of the mind-body relation (...) is answered in that there was a preference for dualism in epistemological questions and for monism in the mind-brain relation. The latter was attained by the concept of psychophysical isomorphism. This concept, although widely misunderstood in many respects, was criticized on the basis of neurobiological findings. One main objection was the neglect of the importance of the elementary neurophysiological processes. A distinction between macroscopic and microscopic brain processes seemed to be required. This idea was taken up in synergetics which postulates a bottom-up and top-down interaction between these two levels. Macroscopic order emerges from elementary brain processes and, at the same time, has a backward slaving effect to the microscopic level In the light of such holistic emergentism, the question whether macroscopic order states might be attractors for psychological meanings is discussed. (shrink)

An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently (...) dynamic; the same ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians. Using databases as an entry to category theory, it begins with sets and functions, then introduces the reader to notions that are fundamental in mathematics: monoids, groups, orders, and graphs—categories in disguise. After explaining the “big three” concepts of category theory—categories, functors, and natural transformations—the book covers other topics, including limits, colimits, functor categories, sheaves, monads, and operads. The book explains category theory by examples and exercises rather than focusing on theorems and proofs. It includes more than 300 exercises, with solutions. Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics. (shrink)

This paper is an attempt to develop the many-valued first-order fuzzy logic. The set of its truth, values is supposed to be either a finite chain or the interval 0, 1 of reals. These are special cases of a residuated lattice L, , , , , 1, 0. It has been previously proved that the fuzzy propositional logic based on the same sets of truth values is semantically complete. In this paper the syntax and semantics of the first- (...) class='Hi'>order fuzzy logic is developed. Except for the basic connectives and quantifiers, its language may contain also additional n-ary connectives and quantifiers. Many propositions analogous to those in the classical logic are proved. The notion of the fuzzy theory in the first-order fuzzy logic is introduced and its canonical model is constructed. Finally, the extensions of Gödel's completeness theorems are proved which confirm that the first-order fuzzy logic is also semantically complete. (shrink)

Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from (...) a logic, but rather must be presupposed. I call this the logic-metalogic link. There are two facets to the logic-metalogic link. First, when a logic is entangled with a substantive issue, the same position on that issue should be taken at the meta- level as at the object level; and second, if an expression has a clear meaning in natural language, then the corresponding concept can equally well be deployed in a formal language. The determinate nature of the power set operation is one such substantive issue in set theory. Whether there is a determinate power set of an infinite set can only be presupposed in set theory, not proved, so the use of second-order logic cannot be ruled out by virtue of presupposing one answer to this question. Moreover, the legitimacy of presupposing in the background logic that the power set of an infinite set is determinate is guaranteed by the clarity and definiteness of the notions of all and of subset. This is also exactly what is required for the same presupposition to be legitimately made in an axiomatic set theory, so the use of second-order logic in set theory rather than first-order logic does not require any new metatheoretic commitments. (shrink)

We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of L-degrees in the dark, light, or complete structure. In each case, we show that there is an interpretable copy of (N, +, \times) .

Question order effects are commonly observed in self-report measures of judgment and attitude. This article develops a quantum question order model (the QQ model) to account for four types of question order effects observed in literature. First, the postulates of the QQ model are presented. Second, an a priori, parameter-free, and precise prediction, called the QQ equality, is derived from these mathematical principles, and six empirical data sets are used to test the prediction. Third, a new index (...) is derived from the model to measure similarity between questions. Fourth, we show that in contrast to the QQ model, Bayesian and Markov models do not generally satisfy the QQ equality and thus cannot account for the reported empirical data that support this equality. Finally, we describe the conditions under which order effects are predicted to occur, and we review a broader range of findings that are encompassed by these very same quantum principles. We conclude that quantum probability theory, initially invented to explain order effects on measurements in physics, appears to be a powerful natural explanation for order effects of self-report measures in social and behavioral sciences, too. (shrink)

Throughout the development of finite model theory, the fragments of first-order logic with only finitely many variables have played a central role. This survey gives an introduction to the theory of finite variable logics and reports on recent progress in the area.For each k ≥ 1 we let Lk be the fragment of first-order logic consisting of all formulas with at most k variables. The logics Lk are the simplest finite-variable logics. Later, we are going to (...) consider infinitary variants and extensions by so-called counting quantifiers.Finite variable logics have mostly been studied on finite structures. Like the whole area of finite model theory, they have interesting model theoretic, complexity theoretic, and combinatorial aspects. For finite structures, first-order logic is often too expressive, since each finite structure can be characterized up to isomorphism by a single first-order sentence, and each class of finite structures that is closed under isomorphism can be characterized by a first-order theory. The finite variable fragments seem to be promising candidates with the right balance between expressive power and weakness for a model theory of finite structures. This may have motivated Poizat [67] to collect some basic model theoretic properties of the Lk. Around the same time Immerman [45] showed that important complexity classes such as polynomial time or polynomial space can be characterized as collections of all classes of finite structures definable by uniform sequences of first-order formulas with a fixed number of variables and varying quantifier-depth. (shrink)

We consider first-order infinite-valued Łukasiewicz logic and its expansion, first-order rational Pavelka logic RPL∀. From the viewpoint of provability, we compare several Gentzen-type hypersequent calculi for these logics with each other and with Hájek’s Hilbert-type calculi for the same logics. To facilitate comparing previously known calculi for the logics, we define two new analytic calculi for RPL∀ and include them in our comparison. The key part of the comparison is a density elimination proof that introduces no cuts (...) for one of the hypersequent calculi considered. (shrink)

We investigate a model of becoming—classical sequential growth (CSG)—that has been proposed within the framework of causal sets (causets), with the latter defined as order types of certain partial orderings. To investigate how causets grow, we introduce special sequences of causets, which we call “csg-paths”. We prove a number of results concerning relations between csg-paths and causets. These results paint a highly non-trivial picture of csg-paths. There are uncountably many csg-paths, all of them sharing the same beginning, after (...) which they branch. Every infinite csg-path achieves in the limit an infinite causet, and vice versa, every infinite causet is achieved in the limit by an infinite csg-path. However, coalescing csg-paths, i.e., ones that achieve the same causet even after forking off at some point, are ubiquitous. (shrink)

In this paper, some conceptual issues are addressed in order to make sense of what string theory is supposed to tell us about spacetime. The dualities in string theory are used as a starting point for our argumentation. We explore the consequences of a standard view towards these dualities, namely that the dual descriptions represent the same physical situation. Given this view, one has to understand string theory in a manner such that what counts as (...) physical spacetime is based only on the shared physical content—or common core—of the dual descriptions. In general such a spatiotemporal picture does not have to agree with, or be similar to, any of the ones suggested by naïve readings of the dual descriptions. However, in certain regimes or limits, one or the other of the initial dual descriptions may give a good effective description of physical spacetime. (shrink)

The dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.Philosophically, the dissertation develops an inferentialist, or proof-theoretic, theory of meaning. It takes as (...) a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. The dissertation develops a theory of quantification as marking coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators.Abstract prepared by Andrew ParisiE-mail: [email protected]: https://opencommons.uconn.edu/dissertations/1480/. (shrink)

Eric Voegelin's new study of Greek civilization, part of his continuing study of Order and History, contains elements of both such approaches to antiquity. In briefest compass, it is Voegelin's contention that order in history depends upon the recognition of the transcendental source of order; disorder is engendered by the "immanentization" of this source. Nevertheless, the transcendental source of order, the Christian God, is experienced within history, and civilizations are evaluated in terms of their anticipation of, (...) approach to, or withdrawal from this God. In terms of Christ's revelation, Greek thought is prejudged as a defective preliminary vision of historical and metaphysical truth. Just as Christ completes the Greek vision in "existential" terms, so Thomas Aquinas remedies the faults of Greek theory. In the process of being rejected or completed, classical thought takes on a remarkably Christian appearance. Despite his conservative or transcendental intentions, Voegelin's version of Christianity places great emphasis upon history as "open" to the future, and so the christianization of the Greeks produces anachronisms of the most extreme liberalism. At the same time, however, the Greek failure to transcend either the polis as a form of temporal order or an immanent conception of Being is severely criticized. (shrink)

This paper critically evaluates Amie Thomasson’s (2003; 2005; 2006) view of the conscious mind and the interpretation of Husserl’s phenomenological reduction that it adopts. In Thomasson’s view, the phenomenological method is not an introspectionist method, but rather a “transparent” or “extrospectionist” method for acquiring epistemically privileged self-knowledge. I argue that Thomasson’s reading of Husserl’s phenomenological reduction is correct. But the view of consciousness that she pairs with it—a view of consciousness as “transparent” in the sense that first-order, world-oriented experience (...) is in no way given to itself—is not compatible with it. Rather, Thomasson’s view is, from a Husserlian vantage point, self-undermining in the same way that any genuinely skeptical view is self-undermining: it undermines the conditions of its own possibility. This is one of the motives Husserl has for developing a same-order view of self-consciousness as the complement to his transparent method for self-knowledge acquisition. (shrink)

The Critical Theory of the early Frankfurt School promised, in Adorno’s words, a ‘rational critique of reason’. Science and Technology Studies can play a role in the renewal of this approach. STS is based on a critique of the very same technocratic and scientistic assumptions against which Critical Theory argues. Its critique of positivism and determinism has political implications. But at its origins STS took what Wiebe Bijker called the ‘detour into the academy’ in order to (...) institutionalize itself as a social science. It adopted empirical methods, developed case histories, and limited its scope, avoiding politically controversial issues. Its latent political critique has become explicit in recent years as STS has responded to the rise of technical politics by broadening its concerns. Its wide scope converges with the equally encompassing Critical Theory. Together, STS and Critical Theory offer a new concept of politics. (shrink)

Context: The thoroughly second-order cybernetic underpinnings of naturalist theatre have gone almost entirely unremarked in the literature of both theatre studies and cybernetics itself. As a result, rich opportunities for the two fields to draw mutual benefit and break new ground through both theoretical and empirical investigations of these underpinnings have, thus far, gone untapped. Problem: The field of cybernetics continues to remain academically marginalized for, among other things, its alleged lack of experimental rigor. At the same time, (...) the field of theatre studies finds itself at an impasse between post-structuralist semioticians and embodied cognitivists regarding key onto-epistemological issues. A program of research framing and utilizing naturalist theatre as a second-order cybernetic/cybersemiotic laboratory holds much promise in addressing both matters and lending credence to Ross Ashby’s assertion that “the discovery that two fields are related leads to each branch helping in the development of the other.” Method: After establishing the nature of the onto-epistemological deadlock within theatre studies, this article examines the application of cybernetic heuristics within naturalistic theatre, leading to a second-order cybernetic analysis of its processes of production and reception and the outline of an experimental program for exploring these processes further. Results: Foundations for a model of naturalist theatre as a cybersemiotic laboratory grounded in a novel operationalization of Gordon Pask’s conversation theory. Implications: The proposed laboratory could result in the generation of quantitative and qualitative research pertaining to several dimensions of second-order cybernetics; particularly cybersemiotics, which, as a result, may end up better positioned to help dissolve onto-epistemological deadlocks between constructivists and realists of all stripes across the academy and beyond. Constructivist content: I argue that an analysis of naturalistic theatre’s processes of meaning-making filtered through the constructivist ontological agnosticism of second-order cybernetics offers a productive middle way forward for those on both sides of the social constructivist/embodied cognitive realist divide, within and beyond theatre studies. The article draws upon the works of Gregory Bateson, Søren Brier, Ranulph Glanville, Heinz von Foerster, and Niklas Luhmann. (shrink)

Habermas absorb and integrate the achievements of contemporary philosophy of language, formed their own philosophy of language - in the form of pragmatics. This theory of speech acts by the meaning of the effectiveness of its intrinsic correlation between the demands of the analysis, pointed out the significance of speech acts only in the order presented in communicative action. Interpretation of speech acts in the ultimate source of the problem, Habermas introduces Husserl's "life-world" theory, and it was (...) the transformation of the form of pragmatics. Form pragmatics of life-world theory digestion of Husserl's life-world theory, a priori, while broadening the theory of Weber's rationalization of the behavior of sight. Habermas has absorbed and integrated many kinds of contemporary philosophy of language and constituted his own one, which is named formal linguistics. By analyzing the internal connection between the meaning of speech act and its validity claims, Habermas has emphasized that the meaning of speech act can be only demonstrated in communicative action. In the final analysis to the origin of meaning of speech act, he introduces Husserl's theory of lifeworld and reformulates it from the point of the formal linguistics. Habermas' theory of lifeworld removes the transcendental element existing in Husserl's theory , it enlarges Weber's theoretical horizon on rationalization of action at the same time. (shrink)

For centuries, philosophers, political scientists, and jurists have struggled to understand the possibilities for justice and peace among a multiplicity of sovereign states. Like Dante, who sought to organize the world under the authority of the Holy Roman Empire, many theorists have tried to explain how sovereign states should be governed to ensure stability and peace in the absence of any established higher authority. Theories of World Governance traces the various conceptual approaches to world harmony from the close of the (...) Middle Ages to today. Considering the immediate problems of order in a decentralized world community, Cornelius F. Murphy, Jr., outlines what he believes are the essential long-term conditions for world peace. Covering a wide range of disciplines -- from theology and philosophy to jurisprudence, ethics, and sociology -- Murphy explores how theorists have reflected upon the necessary components of an effective global order. At the outset, the thought of Christian Europe was shaped by a belief in a natural order established by the Creator of the universe. However, with the advent of the Enlightenment, the connections between the human and the transcendent were severed. There was a movement from a theocentric understanding of the powers of the human mind to an intellectual outlook that blurred the distinctions between the divine and human. This study in the history of ideas examines the profound effects of the fundamental shift from transcendence to immanence upon the development of international theory. Murphy discusses the thought of Leibniz, Wolff, Kant, Hegel, and Phillip Allott, among others. The study concludes with an extended reflection on the importanceof a sound political philosophy to the future well-being of the global community. Possible improvements in the existing arrangements, such as reform of the United Nations, are discussed. Murphy suggests that in order for a society of sovereign states to be transformed into a world political community, human rights and self-governance within states must first be strengthened and, at the same time, individuals of all states must begin to realize their responsibilities toward the whole human family. (shrink)

Beyond different starting points, stakeholder theory and Catholic Social Thought share many compatible perspectives when analyzing the role of the firm in economic activity, especially regarding the attention of the firm to different social and economic actors. Additionally, ST bears limitations regarding its ethical and anthropological foundation, and also about the legitimation of the different stakeholders’ interests. Therefore, ST lacks clear criteria to solve possible conflicts of interest between stakeholders. This paper analyzes the potentiality of ST, widely accepted in (...) corporate management, to integrate CST principles in order to solve those conflicts. At the same time, the paper studies the possibility of finding in the principles of CST an anthropological and ethical foundation for ST. This foundation could be the source of criteria to discuss the levels of legitimation and prioritization between stakeholders´ interests, especially when those interests collide. (shrink)

The first-order logical theory Th $({\mathbb{N}},x + 1,F(x))$ is proved to be complete for the class ATIME-ALT $(2^{O(n)},O(n))$ when $F(x) = 2^{x}$ , and the same result holds for $F(x) = c^{x}, x^{c} (c \in {\mathbb{N}}, c \ge 2)$ , and F(x) = tower of x powers of two. The difficult part is the upper bound, which is obtained by using a bounded Ehrenfeucht–Fraïssé game.

In lieu of an abstract, here is a brief excerpt of the content:A Theory of International Bioethics: Multiculturalism, Postmodernism, and the Bankruptcy of Fundamentalism 1Robert Baker (bio)AbstractThis first of two articles analyzing the justifiability of international bioethical codes and of cross-cultural moral judgments reviews “moral fundamentalism,” the theory that cross-cultural moral judgments and international bioethical codes are justified by certain “basic” or “fundamental” moral principles that are universally accepted in all cultures and eras. Initially propounded by the judges (...) at the 1947 Nuremberg Tribunal, moral fundamentalism has become the received justification of international bioethics, and of cross-temporal and cross-cultural moral judgments. Yet today we are said to live in a multicultural and postmodern world. This article assesses the challenges that multiculturalism and postmodernism pose to fundamentalism and concludes that these challenges render the position philosophically untenable, thereby undermining the received conception of the foundations of international bioethics. The second article, which follows, offers an alternative model—a model of negotiated moral order—as a viable justification for international bioethics and for transcultural and transtemporal moral judgments.Man in the Twentieth Century can not be circumscribed by the standards of any single culture.American Anthropological Association (1948) in a statement officially denouncing the 1948 United Nation’s Declaration of Human Rights.Recently... so-called “liberal” medicine has revived the old rights of a clinic understood in terms of a special contract, a tacit pact made between one man and another. This patient gaze has even been attributed the power of assuming [a role in clinical decision making].Miracles are not so easy to come by....Michel Foucault (1975, p. 5) [End Page 201]An Overview of the AnalysisInternational bioethics originated in the trauma of the Holocaust, specifically, in the 1946–1947 Nuremberg “Doctors Trial” when a tribunal of three American judges convicted Nazi medical researchers of “crimes against humanity.” In justifying their judgment, the Nuremberg Tribunal cited 10 principles for morally permissible research, which, they claimed, were based on “fundamental” principles that civilized societies “all agree” upon and accept as the foundations of their “moral, ethical, and legal” norms. Foremost among the principles was one stating that morally permissible human experiments require the informed voluntary consent of the subject. The Nuremberg judgment soon became associated with the ideal of human rights declared in the 1948 United Nations Charter. These two ideas—fundamental principles of morality and human rights—have been linked in all major formulations of international bioethics promulgated in the past 50 years, including the Council of Europe’s 1997 Convention for the Protection of Human Rights and Dignity of the Human Being with Regard to the Application of Biology and Biomedicine (Council of Europe 1997; Dommel and Alexander 1997). In this paper, I explore the received justification for international bioethics—the idea that it is grounded in fundamental principles accepted in all societies—tracing it from its initial, almost off-hand, promulgation by the Nuremberg Tribunal, through its more thoughtful development by such bioethicists as Ruth Macklin, to its more complex use by the President’s Advisory Committee on Human Radiation Experiments.After a brief review of the evolution of the received justification, I discuss the viability of this justification in the face of the critique implicit in two important intellectual movements: multiculturalism and postmodernism. In the international context, multiculturalism asserts the claim that there are no common moral principles shared by all cultures. Postmodernism asserts a similar claim against all universal standards, moral and nonmoral. In the 1990s, bioethicists have attempted to respond to these claims in various ways. These responses are documented, analyzed, and then shown to be “bankrupt,” in the sense that they undercut the most important objective of moral fundamentalism: the justification of transcultural moral judgments, such as the condemnation of the Nazi doctors.A second article, which follows the present one in the same issue of the Kennedy Institute of Ethics Journal, revisits the contractarian tradition [End Page 202] of Hobbes and Locke, as it has been reinterpreted by David Gauthier (1986), John Rawls (1971, 1993), and Robert Nozick (1974), to develop the idea of negotiated moral order as the basis of international bioethics. When conceptualized as a negotiated moral order, international bioethics can accept the genuine insights... (shrink)

In recent years, computational sciences such as computational hydrodynamics or computational field theory have supplemented theoretical and experimental investigations in many scientific fields. Often, there is a seemingly fruitful overlap between theory, experiment, and numerics. The computational sciences are highly dynamic and seem a fairly successful endeavor---at least if success is measured in terms of publications or engineering applications. However, for theories, success in application and correctness are two very different things; and just the same may hold (...) for "methodologies" like computer simulations. A lively debate on the epistemic status of computer simulations has thus emerged within the philosophy of science. This paper discusses possible problems when computer simulation and laboratory experiment are intertwined. In present experiments, stochastic methods in the form of Monte Carlo simulations are often involved in generating experimental data. It is questioned as to how far a realistic stance can be maintained when such stochastic elements are involved. Taking experiments in high energy physics as a study case, this paper contends that using these types of entangled material and numerical experiments as a source of new phenomena or for theory testing must presuppose a certain understanding of causality and thus binds us at least to a weak form of realism. (shrink)

Theodor Adorno's Aesthetic Theory is a vast labyrinth that anyone interested in modern aesthetic theory must at some time enter. Because of his immense difficulty of the same order as Derrida - Adorno's reception has been slowed by the lack of a comprehensive and comprehensible account of the intentions of his aesthetics. This is the first book to put Aesthetic Theory into context and outline the main ideas and relevant debates, offering readers a valuable guide (...) through this huge, difficult, but revelatory work. Its extended argument is that, despite Adorno's assumptions of autonomism, cognitivism, and aesthetic modernism, his idea of artistic truth content offers crucial insights for contemporary philosophical aesthetics.The eleven chapters are divided into three parts: Context, Content, and Critique. The first part offers a brief biography, describes Adorno's debates with Benjamin, Brecht, and Lukács, and outlines his philosophical program. The second part is an interpretation of Adorno's aesthetics, examining how he situates art in society, production, politics, and history and uncovering the social, political, and historical dimensions of his idea of artistic truth. The third part evaluates Adorno's contribution by confronting it with the critiques of Peter Bürger, Frederic Jameson, and Albrecht Wellmer.Lambert Zuidervaart is Professor of Philosophy at Calvin College. (shrink)

Amartya Sen argues that for the advancement of justice identification of ‘perfect’ justice is neither necessary nor sufficient. He replaces ‘perfect’ justice with comparative justice. Comparative justice limits itself to comparing social states with respect to degrees of justice. Sen’s central thesis is that identifying ‘perfect’ justice and comparing imperfect social states are ‘analytically disjoined’. This essay refutes Sen’s thesis by demonstrating that to be able to make adequate comparisons we need to identify and integrate criteria of comparison. This is (...) precisely the aim of a theory of justice (such as John Rawls’s theory): identifying, integrating and ordering relevant principles of justice. The same integrated criteria that determine ‘perfect’ justice are needed to be able to adequately compare imperfect social states. Sen’s alternative approach, which is based on social choice theory, is incapable of avoiding contrary, indeterminate or incoherent directives where plural principles of justice conflict. (shrink)