In this paper I propose a type-hierarchy approach to provide an intersubjective framework for the evaluation of evolutionary analogies. This approach develops David Hull’s and others’ attempts to provide full generalisation for selection processes, in order to show that sociocultural development and, particularly, scientific change can be considered as an instance of Darwinian selection. I argue that the recent work by Eileen Cornell Way on type hierarchies can offer the kind of generalisation needed to solve the main (...) problems that still affect Hull’s theory and to show that the evolutionary analogy is, after all, only a particular way of grouping phenomena together. If Hull’s main objective is a unified theory of selection, which supports the idea that science selection and natural selection obey the same laws, I also argue that the type hierarchy approach to models shows that this objective is unsustainable as it stands, and is in need of further development. I will firstly introduce the general outline of the type hierarchy approach to models. Then, after a brief recapitulation of Hull’s main points and difficulties, I will try and construct a hierarchy for a general abstraction of selection processes. Finally I will introduce the main criticisms that Hull’s work has faced from philosophers and scientists, and show how they compare with my proposal. (shrink)

Shoenfield [8] has shown that a hierarchy for the functions recursive in a type-2 object can be set up whenever E2 (the type-2 object that introduces numerical quantification) is recursive in that type-2 object. With a restriction that we will discuss in the next paragraph, Moschovakis [4, pp. 254–259] has solved the analogous problem for type-3 objects. His method seems to generalize for any type-n object, where n ≥ 2. We will solve this same (...) problem of finding hierarchies based on type-n objects by a different method. Instead of using ordinal notations for indexing stages of hierarchies, as do Shoenfield and Moschovakis, we will define notation-independent stages. (shrink)

A modified version of Normann's hierarchy of domains with totality [9] is presented and is shown to be suitable for interpretation of Martin-Löf's intuitionistic type theory. This gives an interpretation within classical set theory, which is natural in the sense that $\Sigma$ -types are interpreted as sets of pairs and $\Pi$ -types as sets of choice functions. The hierarchy admits a natural definition of the total objects in the domains, and following an idea of Berger [3] this (...) makes possible an interpretation where a type is defined to be true if its interpretation contains a total object. In particular, the empty type contains no total objects and will therefore be false (in any non-empty context). In addition, there is a natural equivalence relation on the total objects, so we derive a hierarchy of topological spaces (quotient spaces wrt. the Scott topology), and give a second interpretation using this hierarchy. (shrink)

The authors explore whether the need for ethical reflection on the part of designing engineers is dependent on the type of design process. They use Vincenti's distinction between normal and radical design and different levels of design hierarchy. These two dimensions are coupled with the concept of ill-structured problems, which are problems in which possible solutions cannot be ordered on a scale from better to worse. Design problems are better structured at lower hierarchical levels and in cases of (...) normal design. Better structured design problems require less ethical reflection on the part of designing engineers if such situations are characterized by the existence of generally accepted normative frameworks. Engineers could then deal with moral problems within the bounds of such frameworks and without the need for further reflection. On the basis of a number of empirical cases, the authors explore whether these ideas hold water. They discuss four cases ranging from a high-level radical design process to a low-level normal design process. (shrink)

Dominance hierarchies (sometimes called “pecking orders”) are virtually universal in social species, including humans. In most species and in ancestral and early human societies, these hierarchies allocate scarce resources, including food and often access to females. Humans sometimes use hierarchies for these allocational purposes, but humans use hierarchies for productive purposes as well—as in firms, universities, and governments. Productive hierarchies and dominance hierarchies share many features. As a result, people, including students of human behavior, often confuse types of hierarchies. For (...) example, the Communist Manifesto attributes features to productive hierarchies that are actually characteristic of dominance hierarchies. Government hierarchies are particularly confusing, as they have many features of both types. In modern societies with socially mandated monogamy and voluntary attachment to hierarchies in the form of competitive labor markets, productive hierarchies are generally useful for all members, and it is important not to confuse the two types, either in policy or in scientific analysis. (shrink)

Description of the biologicalhierarchy of the organism has been extendedhere to included the evolutionary andecological sub-hierarchies with theirrespective levels in order to give a completehierarchical description of life. These newdescriptions include direction of formation,types of constraints, and dual levels. Constraints are produced at the macromolecularlevel of genes/proteins, some of which (a) aredescendent restraints which hold a hierarchytogether and others (b) interact horizontallywith selective agents at corresponding levelsof the niche. The organism is a dual levelconstrained by both the ecologicalsub-hierarchy (survival) (...) and evolutionarysub-hierarchy (fitness) while serving as thehighest level of the specializationsub-hierarchy, therefore, it is unique inbelonging to three sub-hierarchies. Organismsexperience birth, sometimes death, andparticipate in evolution. Birth of an organismis realized when a cell is removed from theconstraints of the organism and assumes itsown organismal constraints. Death occurs withthe cessation of protein synthesis becauseproteins and their products constitutecomponents at high levels of the hierarchy. Selection is of two types, natural selection,involving adaptive traits interacting withfeatures in a niche, and hierarchicalselection, requiring traits to be compatiblewith existing hierarchical constraints. (shrink)

In analyzing European institutional structures, the multi-level governance literature speaks of mutual interdependence, of cooperative and coordinated processes between different levels of authority. The emergence of these processes is sometimes associated with the disappearance of hierarchical relationships organized across vertical channels of communication. The type of hierarchy, which is declared 'eroded', is not further specified. In the first part of the article a definition of hierarchy is given and an attempt is then made to develop a diversified (...) concept of hierarchy consisting of two types : unilateral and asymmetrically interdependent. The second part applies this modified concept of hierarchy to relationship structures in those federations which are part of European multi-level polity, and examines the types of hierarchy that exist between federal and federated levels when the latter act within the European framework. The external policies of German and Belgian federated units are analyzed in a comparative perspective. (shrink)

Based on Kolchinsky and Wolpert’s work on the semantics of autonomous agents, I propose an application of Mathematical Logic and Probability to model cognitive processes. In this work, I will follow Bateson’s insights on the hierarchy of learning in complex organisms and formalize his idea of applying Russell’s Type Theory. Following Weaver’s three levels for the communication problem, I link the Kolchinsky–Wolpert model to Bateson’s insights, and I reach a semantic and conceptual hierarchy in living systems as (...) an explicative model of some adaptive constraints. Due to the generality of Kolchinsky and Wolpert’s hypotheses, I highlight some fundamental gaps between the results in current Artificial Intelligence and the semantic structures in human beings. In light of the consequences of my model, I conclude the paper by proposing a general definition of knowledge in probabilistic terms, overturning de Finetti’s Subjectivist Definition of Probability. (shrink)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is (...) a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

Research from ethology and evolutionary biology indicates the following about the evolution of reasoning capacity. First, solving problems of social competition and cooperation have direct impact on survival rates and reproductive success. Second, the social structure that evolved from this pressure is the dominance hierarchy. Third, primates that live in large groups with complex dominance hierarchies also show greater neocortical development, and concomitantly greater cognitive capacity. These facts suggest that the necessity of reasoning effectively about dominance hierarchies left an (...) indelible mark on primate reasoning architectures, including that of humans. In order to survive in a dominance hierarchy, an individual must be capable of (a) making rank discriminations, (b) recognizing what is forbidden and what is permitted based one's rank, and (c) deciding whether to engage in or refriin from activities that will allow one to move up in rank. The first problem is closely tied to the capacity for transitive reasoning, while the second and third are intimately related to the capacity for deontic reasoning. I argue that the human capacity for these types of reasoning have evolutionary roots that reach deeper into our ancestral past than the emergence of the hominid line, and the operation of these evolutionarily primitive reasoning systems can be seen in the development of human reasoning and domain-specific effects in adult reasoning. (shrink)

We study a notion ofpartial primitive recursion (p.p.r.) including the concept ofparallelism in the context of partial continuous functions of type level one in the sense of [Krei], [Sco82], [Ers]. A variety of subrecursive hierarchies with respect top.p.r. is introduced and it turns out that they all coincide.

The paper examines the book Martin Buber’s Theopolitics and analyzes the conflict between the hierarchy in nature and in human society. Buber qualifies our relations to nature and to other non-living objects as darker than human relations. This creates an imbalance between the human You and the other type of You. This reflection allows us to think about the meaning of the principle of humanity in relation to personhood, and in relation to different forms of communities (natural, or (...) inorganic communities). It is an important question in the light of “conflicts” and tensions created by the environmental crisis we are facing today. The paper explains how to use the word “conflict” in this context and whether it is justified. (shrink)

In this paper, a way of constructing many-valued paraconsistent logics with weak double negation axioms is proposed. A hierarchy of weak double negation axioms is addressed in this way. The many-valued paraconsistent logics constructed are defined as Gentzen-type sequent calculi. The completeness and cut-elimination theorems for these logics are proved in a uniform way. The logics constructed are also shown to be decidable.

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, (...) understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

ABSTRACT:We discuss workers’ dignity in hierarchical organizations. First, we explain why a conflict exists between high-ranking individuals’ authority and low-ranking individuals’ dignity. Then, we ask whether there is any justification that reconciles hierarchical authority with the dignity of workers. We advance a communitarian justification for hierarchical authority, drawing upon Confucianism, which provides that workers can justifiably accept hierarchical authority when it enables a certain type of social functioning critical for the good life of workers and other involved parties. The (...) Confucian communitarian perspective shows that promoting workers’ good life or well-being is an important condition for protecting their dignity. (shrink)

We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-theoretic finite type hierarchy and the constructively more meaningful models of continuous functionals, hereditarily effective operations, as well as the closed term model of Gödel's system T. The main results are characterisations of prenex classes for which truth in the full set-theoretic model transfers to truth in the other (...) models. As a corollary we obtain that the axiom of choice is not conservative over Gödel's system T with classical logic for closed ∃2-formulas. We hope that this study will contribute to a clearer delineation and perception of constructive mathematics from a classical perspective. (shrink)

Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.

The topological arithmetical hierarchy is the effective version of the Borel hierarchy. Its class Δta 2 is just large enough to include several types of pointsets in Euclidean spaces ℝ k which are fundamental in computable analysis. As a crossbreed of Hausdorff's difference hierarchy in the Borel class ΔB 2 and Ershov's hierarchy in the class Δ0 2 of the arithmetical hierarchy, the Hausdorff-Ershov hierarchy introduced in this paper gives a powerful classification within Δta (...) 2. This is based on suitable characterizations of the sets from Δta 2 which are obtained in a close analogy to those of the ΔB 2 sets as well as those of the Δ0 2 sets. A helpful tool in dealing with resolvable sets is contributed by the technique of depth analysis. On this basis, the hierarchy properties, in particular the strict inclusions between classes of different levels, can be shown by direct constructions of witness sets. The Hausdorff-Ershov hierarchy runs properly over all constructive ordinals, in contrast to Ershov's hierarchy whose denotation-independent version collapses at level ω 2. Also, some new characterizations of concepts of decidability for pointsets in Euclidean spaces are presented. (shrink)

The structure of people’s conceptual knowledge of concrete nouns has traditionally been viewed as hierarchical (Collins & Quillian, 1969). For example, superordinate concepts (vegetable) are assumed to reside at a higher level than basic‐level concepts (carrot). A feature‐based attractor network with a single layer of semantic features developed representations of both basic‐level and superordinate concepts. No hierarchical structure was built into the network. In Experiment and Simulation 1, the graded structure of categories (typicality ratings) is accounted for by the flat (...) attractor network. Experiment and Simulation 2 show that, as with basic‐level concepts, such a network predicts feature verification latencies for superordinate concepts (vegetable ). In Experiment and Simulation 3, counterintuitive results regarding the temporal dynamics of similarity in semantic priming are explained by the model. By treating both types of concepts the same in terms of representation, learning, and computations, the model provides new insights into semantic memory. (shrink)

Purpose : The purpose of this paper is to bring the concept of a 'hierarchy of action', as it is currently being used in other fields, into library and information science . Design/methodology/approach Hierarchy theory is adopted to describe three hierarchies of action, which include the human processes of semantic and social innovation, as well as a system of biological interpretence, from which human processes are thought to have evolved as a development of biosemiosis in nature. By way (...) of example, it is argued that a text is a complex achievement, and hierarchy theory shows how to account for this complexity; the everyday definition of text is augmented with accounts from different levels of observation. Findings: The concept of a hierarchy of action enables a person to account for a text as a meaning/symbolic product; include in that account the processes whereby texts are produced and used; and say why these processes are important to the health of the biosphere that is called home. Originality/value Hierarchy of action has been developed as a concept in biology and ecology; it belongs to a way of thinking whereby human reality, like nature, is construed as dynamical processes operating in symbiotic relationship with each other; it has not yet been adopted in LIS with reference to hierarchy theory and its potential is yet to be explored. Keywords Hierarchy theory, Complexity theory, Process philosophy, Natural philosophy, Hierarchies of action, Complex systems, Libraries, Information science Paper type Conceptual paper. (shrink)

Motivated by results on interactive proof systems we investigate an ∃-∀hierarchy over P using word quantifiers as well as two types of set quantifiers. This hierarchy, which extends the polynomial-time hierarchy, is called the analytic polynomial-time hierarchy. It is shown that every class of this hierarchy coincides with one of the following Classes: ∑math image, Πmath image , PSPACE, ∑math image or Πmath image . This improves previous results by Orponen [6] and allows interesting comparisons (...) with the above mentioned results on inter-active proof systems. (shrink)

The Wadge hierarchy was originally defined and studied only in the Baire space. Here we extend the Wadge hierarchy of Borel sets to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show that our extension behaves well in second countable spaces and especially in quasi-Polish spaces. In particular, all levels are preserved by continuous open surjections between second countable spaces which implies e.g., several Hausdorff–Kuratowski -type theorems in quasi-Polish spaces. In fact, many (...) results hold not only for the Wadge hierarchy of sets but also for its extension to Borel functions from a space to a countable better quasiorder Q. (shrink)

The concept of a generalized quantifier of a given similarity type was defined in [12]. Our main result says that on finite structures different similarity types give rise to different classes of generalized quantifiers. More exactly, for every similarity type t there is a generalized quantifier of type t which is not definable in the extension of first order logic by all generalized quantifiers of type smaller than t. This was proved for unary similarity types by (...) Per Lindström [17] with a counting argument. We extend his method to arbitrary similarity types. (shrink)

The wedge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). Here we extend the Wadge hierarchy of Borel sets to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show that our extension behaves well in second countable spaces and especially in quasi-Polish spaces. In particular, all levels are preserved by continuous open surjections between second countable spaces which implies e.g. several Hausdorff-Kuratowski-type theorems in quasi-Polish (...) spaces. In fact, many results hold not only for the Wadge hierarchy of sets but also for its extension to Borel functions from a space to a countable better quasiorder Q. (shrink)

In the debate on causal explanation in biology, in the past two decades largely influenced by the new mechanist approach, the concept of a pathway has recently reemerged as a promising research agenda, 551-572, 2018; The British Journal for the Philosophy of Science, 72, 131-158, 2021). Ross’ account of biological explanation differentiates several autonomous types of causal structures that play explanatory and other roles across the life sciences. NM, however, prioritizes mechanisms as vehicles of biological explanations. According to this program, (...) the causal architecture of biological pathways and other causal structures, such as cascades and processes, can be interpreted with at least one of the NM’s mechanism concepts. In other words, these alternative causal structures are not sufficiently distinctive to merit the explanatory autonomy with regard to the NM corresponding concepts. We examine the explanatory practice of molecular biology and concur with Ross that there are indeed distinct types of causal structures, not all falling under the concept of a mechanism. Nonetheless, we show that the concept of mechanism is referring to a privileged causal structure, at the center of explanatory efforts in molecular biology. Pathways and other causal concepts, while somewhat distinct from mechanisms themselves, are explanatorily relevant to the degree in which they exhibit mechanistic features, are parts of a mechanistic architecture, or may lead to a mechanistic arrangement. What emerges in that manner is a hierarchy of causal structures with mechanisms at the explanatory top, and lower levels differing in the degree in which they contribute to mechanistic arrangements. (shrink)

We started from the fact that type theory, in the way it was implemented in IL, makes it costly to deal with nominalization processes. We have also argued that the type hierarchy as such doesn't play any real role in a grammar; the classification it provides for different semantic objects is already contained, in some sense, in the categorial structure of the grammar itself. So, on the basis of a theory of properties (Cocchiarella's HST*) we have tried (...) to build a language (IL*) whose syntax does not contain any explicit typing of expressions. Some of the consequences that this move brings about in the overall organization of the grammar can be summarized as follows:it allows for a simple treatment of infinitives, gerunds, factives and, in general, all those phenomena which might be analyzed as cases of nominalization;it provides a simpler and more constrained semantics than IL, since IL* doesn't go beyond second order, and its non-modal basis is axiomatizable;it suggests that the role of logical form in a theory of grammar could be that of a family of theories of semantic objects;it eliminates the extrinsic limitations of a type hierarchy on the choice of the system of syntactic categories.I think that it is interesting to notice how having an explicit semantic framework helps to provide a sense in which it is legitimate to regard the syntax of a language as ‘autonomous’. (shrink)

We define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order independence (...) and demonstrate the utility of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules. (shrink)

Various processes are often classified as both deterministic and random or chaotic. The main difficulty in analysing the randomness of such processes is the apparent tension between the notions of randomness and determinism: what type of randomness could exist in a deterministic process? Ergodic theory seems to offer a particularly promising theoretical tool for tackling this problem by positing a hierarchy, the so-called ‘ergodic hierarchy’, which is commonly assumed to provide a hierarchy of increasing degrees of (...) randomness. However, that notion of randomness requires clarification. The mathematical definition of EH does not make explicit appeal to randomness; nor does the usual way of presenting EH involve a specification of the notion of randomness that is supposed to underlie the hierarchy. In this paper we argue that EH is best understood as a hierarchy of random behaviour if randomness is explicated in terms of unpredictability. We then show that, contrary to common wisdom, EH is useful in characterising the behaviour of Hamiltonian dynamical systems. (shrink)

This essay explores a creative argument that Cicero offers to answer a fundamental question: how are we to judge among different ways of life? Is there a natural hierarchy of human types? In response to this problem, Cicero gives an account of a person’s possessing two natures. All of us participate in a general human nature, the characteristics of which provide us with certain universal duties and a natural moral hierarchy. But, we also each possess an individual nature, (...) qualities that make us unique and which we have an obligation to cultivate. By employing different concepts of natura to refer either to common human nature or to particular individual nature, Cicero establishes a basis for a normative standard that manages to affirm the superiority of certain especially valuable types of life, such as the philosopher and the statesman. At the same time, he advances a coherent account of individuality that places high value on natural human diversity. (shrink)

The concept of a generalized quantifier of a given similarity type was defined in [12]. Our main result says that on finite structures different similarity types give rise to different classes of generalized quantifiers. More exactly, for every similarity typetthere is a generalized quantifier of typetwhich is not definable in the extension of first order logic by all generalized quantifiers of type smaller thant. This was proved for unary similarity types by Per Lindström [17] with a counting argument. (...) We extend his method to arbitrary similarity types. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this (...) gap, we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy (...) are open-ended, or that neither is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front. (shrink)

We define a hierarchy on the regular types of an ω-stable nonmultidimensional theory, using generalised notions of algebraic and strongly minimal formulae. As an application we show that any resplendent model of an ω-stable finite-dimensional theory is saturated.

In this work, author evaluated past theories and perspectives behind the definitions of science and/or branches of science. Also some of the philosophers of science and their specific philosophical interests were expressed. Author considered some type of interactions between some disciplines to determine, to solve the philosophical/scientific problems and to define the possible solutions. The purposes of this article are: (i) to define new synthesis method, (ii) to define new perspective for the philosophy of science, (iii) to define relation (...) between new philosophy perspective and philosophy of science, (iv) to define and organize name, number, relations, and correct structure between special science branches and philosophy of science, (v) to define necessary and sufficient number of branches for philosophy of science, (vi) to define and express the importance and place of new philosophy of science perspective in the new system, (vii) to extend the definition/limits of philosophy of science, (viii) to re-define meanings of some philosophical/scientific theories, (ix) to define systematic solution for the conflicts, problems, confusions about philosophy of science, sciences and branches of science, (x) to define new branches of science, (xi) to re-construct branches and hierarchy of science, (xii) to define new theories about science and branches of science. Author considered R-Synthesis as a method for the evaluation of the philosophy, philosophy of science, sciences and branches of science. This R-Synthesis includes evaluation of eight categories of general/specific perspective, 21-dimensions, and 12 general subjects (with related scope and contents) for the past 12,000 years. It is a kind of synthesis of science and non-science, physical science and non-physical science, religious science and non-religious science, and others. In this article, author defined 27 possible definitive/certain result cases for this new synthesis. Author defined the possible formation stages shortly to express new disciplines, new constructional and/or complementary theories. These theories are considered to define 21 major effective disciplines. New philosophy perspective is defined (R-Philosophy) shortly. New perspective and sub branches are defined for the philosophy of science. Major sciences are defined due to new basic philosophies. 42-basic components are defined for each science branch. New and/or re-constructed sciences, branches of science, basic sciences, and new hierarchy of science are defined with figure. Electromagnetic sciences, information sciences, and system sciences are defined specifically. Hybrid Sciences, New Era Science, and Ideal Scientific System are defined with general/specific figure. Relation between the some old branches and new branches of science was expressed generally due to new perspective of philosophy of science. (shrink)

The studies of mysticism have traditionally emphasized a common core centered around experiences of ego dissolution and unity. However, this focus on a central set of experiences tends to downplay the non-central aspects, resulting in a limited understanding that may not encompass many other types of extraordinary experiences. This article proposes a layered hierarchy model of mysticism, which reverts to the fundamental definition of mysticism and resonates with the Jamesian characteristics of mysticism as noetic and ineffable. Consequently, an extended (...) definition is put forth to characterize mysticism as the transcendence of perceived reality and the transformation of the perceiver. Within this proposed model, four layers of mysticism are delineated. Monistic Mysticism is characterized by the perception of oneness in all existence and the dissolution of selfhood, exemplified by perennialist mystical unity. Nondualistic Mysticism involves the recognition of a higher reality beyond the mundane world and the subjugation of the ego to an idealized divine, exemplified by religious experiences. Dualistic Mysticism encompasses a world of spirits in contrast to human reality, where the self detaches from and interacts with spiritual beings, exemplified by psychedelic experiences and spiritism. Pluralistic Mysticism entails numerous coexisting realities, and the self is understood to have many facets and boundless potentials, exemplified by psychic phenomena and non-physicalism. This expanded framework broadens the scope of mysticism and makes it a versatile tool for studying a wide range of human experiences under a unified framework. (shrink)

Hierarchy is a difficulty for theories of equality, and especially those that define equality in relational or social terms. In ideal egalitarian circumstances it seems that hierarchies should not exist. However, a liberal egalitarian defence of some types of hierarchies is common. Hierarchies of esteem have no further consequences than praise or admiration for valued individual features. Hierarchies of status, with differential reward, can, it is often argued, also be justified when they serve a justified social purpose and meet (...) conditions of genuine equality of opportunity. However, group hierarchies remain problematic, and evidence suggests that they are pervasive in human societies above a subsistence level of production. It has also been argued that group hierarchies are impossible to eliminate, and enormous cost is associated with attempting, and failing, to remove them. However, the perspective of ‘real-world’ political philosophy suggests measures to mitigate group hierarchy, starting with those that are either the easiest to address, the most damaging, or the most consequential. (shrink)

We study definability of second order generalized quantifiers on finite structures. Our main result says that for every second order type t there exists a second order generalized quantifier of type t which is not definable in the extension of second order logic by all second order generalized quantifiers of types lower than t.

Let T be a countable, complete, ω-stable, nonmultidimensional theory. By Lascar [7], in T eq there is in every dimension of T a type with Lascar rank ω α for some α. We give sufficient conditions for α to coincide with the level of that dimension in Pillay's [10] RK-hierarchy of dimensions computed in T eq . In particular, this is fulfilled for modules.

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free (...) truth. In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

In accordance with current philosophical opinions, four classical and one more recently proposed types of methods frequently used in theoretical natural science are specified here together with the corresponding sources of inspiration. More precisely, abstract models, thought experiments, mathematical hypotheses and metaphors are dealt with here as classical types of methods, whereas hybrids of mathematical hypotheses and thought experiments represent more recent methodic group. In addition, this paper describes the relationships of the introduced types of methods to the (i) three-floor (...) hierarchy of scientific theories, (ii) examples of ancient or recent discoveries and (iii) recent usage of computers. (shrink)