In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can (...) feasibly work as computational models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order (classical) systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

I have two aims for the present paper, one narrow and one broad. The narrow aim is to show that a class of data originally described by Lynsey Wolter empirically undermine the leading treatments of complex demonstratives that have been described in the literature. The broader aim of the paper is to show that Wolter demonstratives, as I will call the constructions I focus on, are a threat not just to existing treatments, but to any possible theory that retains the (...) uncontroversial assumptions that relative clauses always form a constituent with the nouns they modify, and that semantic composition proceeds sequentially and locally, with the inputs to interpretation having the structure syntax tells us they do. (shrink)

The dispute about the role of class in understanding the life situations of people of color has tended to be overpolarized, between a class reductionism and an “it's only race” position. Class processes shape racial groups’ life situations. Race and class are also distinct axes of injustice; but class injustice informs racial injustice. Some aspects of racial injustice can be expressed only in concepts associated with class (e.g., material deprivation, inferior education). But other aspects of racial injustice or other harms, (...) such as racial discrimination or stigma, are not reducible to class concepts and cannot be fully addressed through class-focused policies. Overall, any attempt to fully secure racial justice for a racial group will require a combination of race-focused and class-focused policies. Anti-racist outlooks often neglect or downplay either the normative or the explanatory significance of class, or both—for example, by overlooking or downplaying the dignitary harms of class and the material harms of race; missing the historical dimension of class injustice; masking class by a narrowing of the complex normative structure of racial disparities; or not recognizing that a class-focused initiative (like raising the minimum wage) can address substantial racial justice concerns, even though not all of them. “Systemic racism” terminology recognizes class explanatorily but suppresses it normatively. Charles Mills's influential notion of “white supremacy,” while a powerful tool for conceptualizing and illuminating racial injustice, can also contribute to minimizing or masking the justice-related impact of class, as do some of Mills's specific discussions of class in various writings. (shrink)

We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (...) (the problem of the safety of the agenda). We provide results both for specific aggregation procedures (the quota rules, the premisebased procedure, and a distance-based procedure) and for classes of aggregation procedures characterised in terms of fundamental axioms. (shrink)

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

In the late 19th century Husserl studied our internal sense of time passing, maintaining that its deep connections into experience represent prima facie evidence for it as the basis for all investigations in the sciences: Phenomenology was born. Merleau-Ponty focused on perception pointing out that any theory of experience must in accord with established aspects of biology i.e. embodied. Recent analyses suggest that theories of experience require non-reductive, integrative information, together with a specific property connecting them to experience. Here we (...) elucidate a new class of information states with just such properties found at the loci of control of complex biological systems, including nervous systems. Complexity biology concerns states satisfying self-organized criticality. Such states are located at critical instabilities, commonly observed in biological systems, and thought to maximize information diversity and processing, and hence to optimize regulation. Major results for biology follow: why organisms have unusually low entropies; and why they are not merely mechanical. Criticality states form singular self-observing systems, which reduce wave packets by processes of perfect self-observation associated with feedback gain g=1. Analysis of their information properties leads to identification of a new kind of information state with high levels of internal coherence, and feedback loops integrated into their structure. The major idea presented here is that the integrated feedback loops are responsible for our ‘sense of self’, and also the feeling of continuity in our sense of time passing. Long-range internal correlations guarantee a unique kind of non-reductive, integrative information structure enabling such states to naturally support phenomenal experience. Being founded in complexity biology, they are ‘embodied’; they also fulfill the statement that ‘The self is a process’, a singular process. High internal correlations and RenéThom-style catastrophes support non-digital forms of information, gestalt cognition, and information transfer via quantum teleportation. Criticality in complexity biology can ‘embody’ cognitive states supporting gestalts, and phenomenology’s senses of ‘self,’ time passing, existence and being. (shrink)

Reaction-diffusion systems which have reaction term satisfying f(-q) = -f(q) tend strongly to form striped patterns. Haken’s slaving principle is used to derive differential equations for unstable mode amplitudes close to the Turing instability. This connects a dynamical symmetry to pattern selection, with possible relevance to biological and chemical pattern-forming phenomena.

This work presents a post-positivist research framework to explain any surprising fact in the evolutionary path of a complex, dynamic and contingent social phenomenon. Primarily, it reconciles the ontological and epistemological assumptions of Critical Realism with the principles of American Pragmatism. Then, the research approach is presented: theoretical propositions about a social structure are translated into a set of grammar rules that acknowledges a pattern of sequences of events of either individual action or social interaction between actors within a real (...) social system. The result is a discrete mathematical model for a concrete category of social process based on these rules. Finally, data-grounded refinement of the theory is possible by the comparison between cases belonging to the same category, but differing about some contingent pattern of sequences of event outcomes. Consequently, their grammars differ in some pairs of context-sensitive rules that can explain this surprising fact, such that the derivation of this alternative historical trajectory of event outcomes becomes an extension to the early category of social process. In this sense, the proposed framework suggests there is a hierarchy of classes of grammars for middle-range explanations based upon the ontological assumption of the generative nature of social reality. (shrink)

The study focused on exploring and understanding the challenges junior high school teachers in the Division of Rizal faced during the full implementation of in-person classes and identifying the coping mechanisms they employed to adapt to this new educational landscape. Forty participants were purposefully selected from various public secondary school clusters in the division of Rizal. A qualitative phenomenological design was employed, and the information collected through Google Forms was imported into Microsoft Excel and Microsoft Word. After importing the (...) data, it was coded through and looked for patterns in the meaning of the data to find themes. It was analyzed using QDA Miner Lite to make a user-friendly, accessible, and simple-to-use software for qualitative data analysis. QDA Miner Lite allowed for a quicker and more accurate breakdown of documents, enabling organization, coding, annotation, retrieval, and analysis of document and image collections. The study revealed these categories and themes: Experiences in Teaching in In-Person Classes. Teachers' experiences during the full implementation of in-person classes were categorized into five themes: Comparison to distance learning modalities, Student- centered Focus, Positive emotional experiences, Challenging Emotional experiences, and Adaptations. Comparison of Teaching Experiences. The comparison and contrast of teaching experiences between distance learning and in-person learning revealed six themes: Assessment and Progress Monitoring, Stress and Fulfillment, Effectiveness and Limitations, Technology and Connectivity, preparation and Communication, and Learning Environment and Engagement. Identified Challenges in In- Person Classes. The study identified nine challenges faced by teachers and schools during the full implementation of in-person classes. These challenges encompassed issues related to Classroom Infrastructure and Facilities, Learning Gaps and Academic Challenges, Behavioral Issues and Student Discipline, Safety, and Security, Teacher Workload and Teaching Loads, Student Engagement and Parent Involvement, Gender-Responsive Policy and Early Pregnancy, Professional Development, and Learning Materials. Coping Mechanisms for Challenges. The coping mechanisms employed by teachers in response to the identified challenges included Collaborative Support and Professional Development, Resilience, and Positivity, Student-Centered Strategies Interventions, Adaptability, and Flexibility, Emphasizing Physical and Mental Health, Effective Communication Involvement of Stakeholders, Innovative Teaching Approaches, and Reminding Purpose and Passion. The study provides valuable insights into teachers' experiences and challenges in fully implementing in-person classes. The identified coping mechanisms offer potential strategies to support educators in navigating the complexities of teaching in this environment. Educational institutions and policymakers can use these insights to develop supportive and enriching learning environments for teachers and students. By implementing targeted interventions and policies, stakeholders can optimize the teaching and learning experiences in the in-person learning setting and foster a positive and conducive educational environment. (shrink)

It is an ongoing controversy whether natural selection is a cause of population change, or a mere statistical description of how individual births and deaths accumulate. In this paper I restate the problem in terms of the reference class problem, and propose how the structure of stable equilibrium can provide a solution in continuity with biological practice. Insofar natural selection can be understood as a tendency towards equilibrium, key statisticalist criticisms are avoided. Further, in a modification of the Newtonian-force analogy, (...) it can be suggested that a better metaphor for natural selection is that of an emergent force, similar in nature to entropic forces: with magnitude and direction, but lacking a spatiotemporal origin or point of application. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., (...) in short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of (...) protein research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

A central tenet of Heil's ontological conception is a no-levels account of reality, according to which there is just one class of basic properties and relations, while all higher-level entities are configurations of these base-level entities. I argue that if this picture is not to collapse into an eliminativist picture of the world – which, I contend, should be avoided –, Heil's ontological framework has to be supplemented by an independent theory of which configurations of basic entities should count as (...) complex entities. However, such an amendment represents a substantial ontological enhancement, so that the ensuing ontological picture is not as parsimonious as Heil claims it to be. (shrink)

The authors developed this textbook in response to an increasing interest in ethics, and a growing number of courses on this topic that are now being offered in educational leadership programs. It is designed to fill a gap in instructional materials for teaching the ethics component of the knowledge base that has been established for the profession. The text has several purposes: First, it demonstrates the application of different ethical paradigms (the ethics of justice, care, critique, and the profession) through (...) discussion and analysis of real-life moral dilemmas that educational leaders face in their schools and communities. Second, it addresses some of the practical, pedagogical, and curricular issues related to the teaching of ethics for educational leaders. Third, it emphasizes the importance of ethics instruction from a variety of theoretical approaches. Finally, it provides a process that instructors might follow to develop their own ethics unit or course. * Part I provides an overview of why ethics is so important, especially for today's educational leaders, and describes a multiparadigm approach essential to practitioners as they grapple with ethical dilemmas. * Part II deals with the dilemmas themselves. Ethical dilemmas written by the authors' graduate students bring readers face-to-face with the kinds of dilemmas faced by practicing administrators in urban, suburban, and rural settings in an era full of complexities and contradictions. * Part III focuses on pedagogy and provides teaching notes for the instructor. The authors discuss the importance of self-reflection on the part of both instructors and students, and model how they thought through their own personal and professional ethical codes as well as reflected upon the critical incidents in their lives that shaped their teaching and frequently determined what they privileged in class. (shrink)

There are numerous interpretations of Plato's theory of justice as it relates to the ideal state, deeply intertwined with his political philosophy. This complexity makes understanding his interlocking ideas challenging, as he seeks to construct a theory of the ideal state. Plato's philosophy of justice, particularly in its political dimension, emphasizes integration as a fundamental factor in grasping his theory. This paper aims to elucidate the original concept of justice in Plato's state by delving into the roots of the (...) Republic, analyzing its historical context. Plato's predictions reflect values and truths connected to politics and philosophy, emphasizing integration as essential to understanding his theory of justice, which lies at the core of his philosophy. This essay compares the relationship between the functions and class structure of the state. Plato classifies human nature into three components: reason, courage, and appetite, which correspond to three major classes in the state. The ruling class, educated in philosophy, governs the state. The military class, characterized by courage and strength, defends the state, while the professional class manages the everyday affairs of governance. Plato's theory posits functional specialization across all classes as fundamental to his ideal state. In essence, while Plato's imagined city may lack historical existence, it holds significant relevance in the realm of speculative human thought. Keywords: Justice. State. Function. Class. Rulers. Guardians. Producers. (shrink)

The reason ability of considering time as a fuzzy concept is demonstrated in [7],[8]. One of the major questions which arise here is the new definitions of Complexity Classes. In [1],[2],…,[11] we show why we should consider time a fuzzy concept. It is noticeable to mention that that there were many attempts to consider time as a Fuzzy concept, in Philosophy, Mathematics and later in Physics but mostly based on the personal intuition of the authors or as a (...) style of Fuzzifying different various of the concepts. Consequently, fuzzifying time doesn’t go to be popular. In the new attempts we are trying to show why we are somewhat forced to consider time as a Fuzzy concept. It is mostly based on the “Unexpected Hanging Paradox” introduced by a Swedish Mathematician Lennart Ekbom. Our question is:” what will be the impact of it in Theory of Computation and Physics?”. Here, we discuss about the impact of fuzzifying time on Theory of Computation. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the existence (...) of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

Within-category induction is the projection of a generic property from a class to a subtype of that class. The modifier effect refers to the discovery reported by Connolly et al., that the subtype statement tends to be judged less likely to be true than the original unmodified sentence. The effect was replicated and shown to be moderated by the typicality of the modifier. Likelihood judgements were also found to correlate between modified and unmodified versions of sentences. Experiment 2 elicited justifications, (...) which suggested three types of reason for the effect-pragmatics, knowledge-based reasoning, and uncertainty about attribute inheritance. It is argued that the results provide clear evidence for the default inheritance of prototypical attributes in modified concepts, although a full account of the effect remains to be given. (shrink)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time (...) or memory, to be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

In recent decades, the analysis of phraseology has made use of the exploration of large corpora as a source of quantitative information about language. This paper intends to present the main lines of work in progress based on this empirical approach to linguistic analysis. In particular, we focus our attention on some problems relating to the morpho-syntactic annotation of corpora. The CORIS/CODIS corpus of contemporary written Italian, developed at CILTA – University of Bologna (Rossini Favretti 2000; Rossini Favretti, Tamburini, De (...) Santis in press), is a synchronic 100-million-word corpus and is being lemmatised and annotated with part-of-speech (POS) tags, in order to increase the quantity of information and improve data retrieval procedures (Tamburini 2000). The aim of POS tagging is to assign each lexical unit to the appropriate word class. Usually the set of tags is pre-established by the linguist, who uses his/her competence to identify the different word classes. The very first experiments we made revealed how the traditional part-of-speech distinctions in Italian (generally based on morphological and semantic criteria) are often inadequate to represent the syntactic features of words in context. It is worth noting that the uncertainties in categorisation contained in Italian grammars and dictionaries reflect a growing difficulty as they move from fundamental linguistic classes, such as nouns and verbs, to more complex classes, such as adverbs, pronouns, prepositions and conjunctions. This latter class, that groups together elements traditionally used to express connections between sentences, appears inadequate when describing cohesive relations in Italian. This phenomenon actually seems to involve other elements traditionally assigned to different classes, such as adverbs, pronouns and interjections. Recent studies proposed the class of ‘connectives’, grouping all words that, apart from their traditional word class, have the function of connecting phrases and contributing to textual cohesion. From this point of view, conjunctions can be considered as part of phrasal connectives, that can in turn be included in the wider category of textual connectives. The aim of this study is to identify elements that can be included in the class of phrasal connectives, using quantitative methods. According to Shannon and Weaver’s (1949) observation that words are linked by dependent probabilities, corroborated by Halliday’s (1991) argument that the grammatical “system” (in Firth’s sense of the term) is essentially probabilistic, quantitative data are introduced in order to provide evidence of relative frequencies. Section 2 presents a description of word-class categorisation from the point of view of grammars and dictionaries arguing that the traditional category of conjunctions is inadequate for capturing the notion of phrasal connective. Section 3 examines the notion of ‘connective’ and suggests a truth-function interpretation of connective behaviour. Section 4 describes the quantitative methods proposed for analysing the distributional properties of lexical units, and section 5 comments on the results obtained by applying such methods drawing some provisional conclusions. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as (...) well. A solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

Education fundamentally focuses on 'individuals', whose human value is rooted in the expression of 'self-identity'. This process is influenced by their social rank and linguistic culture, and within varied discourses and ideological communities, different 'self-identity values' emerge. This applies to all individuals, whether they are citizens or women, and encompasses complex social metaphysical questions. For instance, how do we define social identities such as poverty, disability, privilege, or femininity? 'Intuition' and 'common sense' often fail in such definitions, especially in recognizing (...) exceptions like gender identification, which challenges the distinctions between biological sex and gender identity. The paper analyzes 'Social Historical Structuralism' and ' Performative Theory' to see if they address the challenges of 'Essentialism'. It assesses both pluralism and monism and the autonomy of the 'true self' in educational philosophy's core concepts, grounded in the philosophy of self-identity. This study starts from female community perspectives, addressing women's disadvantaged status in social and linguistic structures and the impact of individualism on gender mainstreaming. This paper concludes by re-evaluating monistic approaches and considering the equitable recognition of community members' autonomy, underscoring the importance of self-identity in educational philosophy amidst the growing influence of identity politics in Western education. -/- Keywords: Self-Identity and Educational Philosophy, Social Metaphysics, Class and Identity, Ideology and Autonomy . (shrink)

The recent literature on causality has seen the introduction of several distinctions within causality, which are thought to be important for understanding the widespread scientific practice of focusing causal explanations on a subset of the factors that are causally relevant for a phenomenon. Concepts used to draw such distinctions include, among others, stability, specificity, proportionality, or actual-difference making. In this contribution, I propose a new distinction that picks out an explanatorily salient class of causes in biological systems. Some select causes (...) in complex biological systems, I argue, have the property of enabling coherent causal control of these systems. Examples of such control variables include hormones and other signaling molecules, e.g., TOR (target of rapamycin), morphogens or the products of homeotic selector genes in embryonic pattern formation. I propose an analysis of this notion based on concepts borrowed from causal graph theory. (shrink)

For Marx, capitalism depends upon and perpetuates a system of relationships whereby members of one class of persons, capitalists, enjoys extensive and pervasive social and economic advantages over others. But on Marx’s analysis, this system of being-taken-advantage-of—this system of economic exploitation—is not to be understood by appeal to discrete incidents of fraud, bad deals, theft, or under-remuneration. Rather, the central contention of Marx’s analysis, the contention analyzed, developed, and evaluated here, is that economic exploitation is class exploitation, a phenomenon that (...) occurs only within and because of the complex system of capitalist production. And it is because this system presupposes a set of oppressive social and economic ownership relations that are not freely chosen and yet govern the terms of participation in the economy and polity that it can be appropriately described as wrong or unjust. (shrink)

The explicit history of the “hidden variables” problem is well-known and established. The main events of its chronology are traced. An implicit context of that history is suggested. It links the problem with the “conservation of energy conservation” in quantum mechanics. Bohr, Kramers, and Slaters (1924) admitted its violation being due to the “fourth Heisenberg uncertainty”, that of energy in relation to time. Wolfgang Pauli rejected the conjecture and even forecast the existence of a new and unknown then elementary particle, (...) neutrino, on the ground of energy conservation in quantum mechanics, afterwards confirmed experimentally. Bohr recognized his defeat and Pauli’s truth: the paradigm of elementary particles (furthermore underlying the Standard model) dominates nowadays. However, the reason of energy conservation in quantum mechanics is quite different from that in classical mechanics (the Lie group of all translations in time). Even more, if the reason was the latter, Bohr, Cramers, and Slatters’s argument would be valid. The link between the “conservation of energy conservation” and the problem of hidden variables is the following: the former is equivalent to their absence. The same can be verified historically by the unification of Heisenberg’s matrix mechanics and Schrödinger’s wave mechanics in the contemporary quantum mechanics by means of the separable complex Hilbert space. The Heisenberg version relies on the vector interpretation of Hilbert space, and the Schrödinger one, on the wave-function interpretation. However the both are equivalent to each other only under the additional condition that a certain well-ordering is equivalent to the corresponding ordinal number (as in Neumann’s definition of “ordinal number”). The same condition interpreted in the proper terms of quantum mechanics means its “unitarity”, therefore the “conservation of energy conservation”. In other words, the “conservation of energy conservation” is postulated in the foundations of quantum mechanics by means of the concept of the separable complex Hilbert space, which furthermore is equivalent to postulating the absence of hidden variables in quantum mechanics (directly deducible from the properties of that Hilbert space). Further, the lesson of that unification (of Heisenberg’s approach and Schrödinger’s version) can be directly interpreted in terms of the unification of general relativity and quantum mechanics in the cherished “quantum gravity” as well as a “manual” of how one can do this considering them as isomorphic to each other in a new mathematical structure corresponding to quantum information. Even more, the condition of the unification is analogical to that in the historical precedent of the unifying mathematical structure (namely the separable complex Hilbert space of quantum mechanics) and consists in the class of equivalence of any smooth deformations of the pseudo-Riemannian space of general relativity: each element of that class is a wave function and vice versa as well. Thus, quantum mechanics can be considered as a “thermodynamic version” of general relativity, after which the universe is observed as if “outside” (similarly to a phenomenological thermodynamic system observable only “outside” as a whole). The statistical approach to that “phenomenological thermodynamics” of quantum mechanics implies Gibbs classes of equivalence of all states of the universe, furthermore re-presentable in Boltzmann’s manner implying general relativity properly … The meta-lesson is that the historical lesson can serve for future discoveries. (shrink)

Abstract: The sinking of the RMS Titanic in 1912 remains a poignant historical event that continues to captivate our collective imagination. In this research paper, we delve into the realm of data-driven analysis by applying Artificial Neural Networks (ANNs) to predict the chances of survival for passengers aboard the Titanic. Our study leverages a comprehensive dataset encompassing passenger information, demographics, and cabin class, providing a unique opportunity to explore the complex interplay of factors influencing survival outcomes. Our ANN-based predictive model (...) achieved an accuracy rate of 78%, shedding light on the underlying patterns within the data. However, this paper underscores the multifaceted nature of survival prediction and acknowledges several challenges. These include missing data imputation, feature engineering, and the inherent noise within historical datasets. We further discuss the importance of model evaluation metrics, showcasing not only accuracy but also precision, recall, and F1-score as essential indicators of predictive performance. The research paper meticulously outlines the architecture of the ANN model, emphasizing the key hyperparameters, activation functions, and regularization techniques employed in model development. Additionally, we address ethical considerations related to data handling and potential biases within the dataset. While our achieved accuracy is a notable achievement, this study emphasizes the importance of interpreting the results with due caution. It underscores the need for a holistic perspective that considers the practical implications of false positives and false negatives, especially in the context of a disaster scenario. In conclusion, this research contributes to our understanding of survival prediction in historical events like the Titanic disaster using modern machine learning techniques. It calls for further exploration and refinement of predictive models, with a focus on enhancing the interpretability and generalizability of such models to real-world applications. (shrink)

Here, we try to build the structure of a Theory of computation based on considering time as a fuzzy concept. Actually, there are some reasons to consider time as a fuzzy concept. In this article, we don’t go to this side but we remind that Brower and Husserl ideas about the concept of time were similar [14]. Throughout this article, we present the Theory of Computation with Fuzzy Time. Considering the classical definition of Turing Machine we change and modify the (...) concept of Time to Fuzzy time. We call this new Theory TC* and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new Theory some of the major obstacles and unsolved problems are solved. It should be mentioned that in this article, we consider fuzzy number a symmetric one. The point about the symmetry is in the proof of Lemma 3, although we are able to generalize it. More specifically, we define the new classes of complexity Theory, P*, NP*, BPP* in TC* analogues to the definitions P, NP, BPP as their natural substituted definition. We show P*≠ NP*, P*= BPP*. Finally, we have Theorem 4, P≠NP . (shrink)

We consider first the most fundamental „design in Nature”, the explanatory structure of the Universe on the basis of the natural sciences, and the related problem of teleology in Nature. We point out that it is necessary to generalize the presently used explanatory scheme of physics. We derive here the first essentially complete scientific world picture, and obtain new insights answering to the problem of cosmic design. Considering some important objections against teleology, we present counter-arguments, give a new classification of (...) the main classes of teleology and their quantitative complexity measures. Comparing the new classification of teleology with that of Mayr, we give useful examples and indicate why teleology is useful for natural science. As a result, we outline a general picture of the basic types of design in Nature and provide their scientific explanation. (shrink)

I will review the argument from complexity of the phenomena represented by Hayek (1967) that asserts that the human phenomena are, in some way, inherently complex, thus, that the laws in social sciences are not available in principle; and by Scriven (1956), who asserts a more elaborate version of the argument from complexity, given space for the possibility that the complexity is not intrinsic to the social phenomena, but that they are constitutive to the level of description (...) that we are interested in. Against both, following McIntyre (1993) I will hold that they would be, by one hand, idealizing the scientific practice and, by the other hand, not being able to explain the social phenomena to the level that we are interested in because they end up by eliminating it. Then, in a second part, I will expose the role of explanation in historical materialism (from an analytical marxist perspective) trying to conciliate the functionalism exposed by Cohen (2001) and the methodological pluralism of Little (1991). Historical materialism, by modifying the conception of the constitution of society (substituting the methodological individualism for a structural analysis with a primacy of the socio-economical social relations) allows us even to lay the necessary foundations for identifying, in a non-abstract nor idealized way, the rational agency of individuals that constitute the social classes. This proves an advantage over methodological individualism in that it does not eliminates the phenomena that are being explained. (shrink)

Moral reasoning traditionally distinguishes two types of evil: moral and natural. The standard view is that ME is the product of human agency and so includes phenomena such as war, torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics. It is argued that this goes some way towards providing a methodological explanation of why cyberspace is central to so many of CE’s concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent’s action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil but conversely to ‘receive’ or ‘suffer from’ it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively, in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics is proposed for that theory. It is argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective. In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

While Darwin is commonly supposed to have demonstrated the inapplicability of the Aristotelian ontology of species to biological science, recent developments, especially in the wake of the Human Genome Project, have given rise to a new golden age of classification in which ontological ideas -- as for example in the Gene Ontology, the Cell Ontology, the Protein Ontology, and so forth -- are once again playing an important role. In regard to species, on the other hand, matters are more complex. (...) We provide a brief overview of recent proposals concerning the ontology of species, dealing with species as sets, classes and as collections, the views of Ernst Meyr, and mereological views. (shrink)

Here, the author tries to build the structure of the Theory of computation based on considering time as a fuzzy concept. In fact, there are reasons to consider time as a fuzzy concept. In this article, the author doesn’t go to this side but note that Brower and Husserl views on the concept of time were similar [8]. Some reasons have been given for it in [3]. Throughout this article, the author presents the Theory of Computation with Fuzzy Time. Given (...) the classic definition of Turing Machine, the concept of Time is modified to Fuzzy time. This new term calls as Theory TC* [2] and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new theory, some of the major obstacles and unsolved problems have been solved [2]. It should be noted that in this article, the writer considers fuzzy number associated to instants of time as a symmetric one. The point about the symmetry is in the proof of Lemma 3, although it is generalizable. In particular, the new classes of complexity Theory, P*, NP*, BPP* in the TC* analogues to the definitions of P, NP, BPP defines as their natural alternative definition. Here, we will see P*≠ NP*, P*= BPP*. Finally, we have Theorem 4. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

Requirement specifications in software engineering involve developing a conceptual model of a target domain. The model is based on ontological exploration of things in reality. Many things in such a process closely tie to problems in metaphysics, the field of inquiry of what reality fundamentally is. According to some researchers, metaphysicians are trying to develop an account of the world that properly conceptualizes the way it is, and software design is similar. Notions such as classes, object orientation, properties, instantiation, (...) algorithms, etc. are metaphysical concepts developed many years ago. Exploring the metaphysics of such notions aims to establish quality assurance though some objective foundation not subject to misapprehensions and conventions. Much metaphysical work might best be understood as a model-building process. Here, a model is viewed as a hypothetical structure that we describe and investigate to understand more complex, real-world systems. The purpose of this paper is to enhance understanding of the metaphysical origins of conceptual modeling as exemplified by a specific proposed high-level model called thinging machines (TMs). The focus is on thimacs (things/machine) as a single category of TM modeling in the context of a two-phase world of staticity and dynamics. The general idea of this reality has been inspired by Deleuze’s ‘the virtual’ and related to the classical notions of Leibniz’s monads and Avicenna’s essence. The analysis of TMs leads to several interesting results about a thimac’s nature at the static and existence levels. (shrink)

The is-ought gap is Hume’s claim that we can’t get an ‘ought’ from just ‘is’s. Prior (“The Autonomy of Ethics,” 1960) showed that its most straightforward formulation, a staple of introductory philosophy classes, fails. Many authors attempt to resurrect the claim by restricting its domain syntactically or by reformulating it in terms of models of deontic logic. Those attempts prove to be complex, incomplete, or incorrect. I provide a simple reformulation of the is-ought gap that closely fits Hume’s description (...) of it. My formulation of the gap avoids the proposed counterexamples from Prior and offers a natural explanation of why they seem compelling. Moreover, I show that my formulation of the gap is guaranteed by standard theories of the semantics of normative terms, and that provides a more general reason to accept it. (shrink)

Purpose. Our study aims at developing a conceptual model of transdisciplinary synthesis of philosophical-anthropological, sociopolitical and epistemological aspects of co-evolution of the scientific and technical designs of High Hume class and the socio-cultural / political context in the process of anthropo-socio-cultural genesis. The relevance of the topic is justified by the technologization of all spheres of human existence and the emergence of High Hume class technologies, which can be called technology-driven equally. As a result, the concepts of "bio-power" and "biopolitics" (...) have become ones of the most frequently mentioned in modern philosophical and anthropological discourse and attract increasing attention of philosophers, sociologists, and, in the last decadecades, experts in the field of practical political science and economics (Foucault, Agamben, Žižek, Kebnik, Nadesan, etc.). Theoretical basis. It is problem-theoretical research; We synthesize the results of our publications in recent years. We proceed from the fact that the main question of the informational phase of the development of a technogenic civilization lies in the rationalization and technologization of the evolutionary process, i.e. in the removal of the fundamental ontological antinomy “Evolution versus Reasonable Design”, as a result for modern neoliberal political democracy, biopower and its theoretical understanding (biopolitics) are effective tools and technologies to form of optimal trends of the global evolutionary process, in the framework of this ideological system. We have chosen the comparative conceptual analysis combining with the results of the content analysis of Web publications by the main method of the study. Originality of the research is in the fact that the central core of such a model is the use of a conceptual and terminological apparatus for describing the mechanisms of the progressive evolution of complex systems, known as the “triple spiral” by Ledeisdorf-Itskovich. This allowed us to integrate the bio-power phenomenon into the general scheme of a stable evolutionary strategy of a technogenic civilization. The conclusions. We justified the transformation of biopolitics into the main factor in the global evolution of self-organizing human-sized systems, including the biosphere as a whole. This is achieved through the creation of a specific (bio) ethical system of imperatives and the activities of individuals in relation to themselves and other agents of social actions. Bioethics with a trail of associated conceptual areas (biosociology, bioeconomics, biohistory, etc.) turned out to be the only rationalized regulator of the process of biological and sociocultural evolution. The triple spiral biotechnology – bioeconomy – bioenergy as the material substance of the life of technological civilization is reflected in the ideal world as a triad of bioethics – biosociology – biopolitics. Both triads form closed cycles of evolutionary transformations that transmit and amplify the initial momentum of transformations on each other through a cascade mechanism with positive feedback. (shrink)

On standard readings of Grice, Gricean communication requires (a) possession of a concept of belief, (b) the ability to make complex inferences about others’ goal-directed behaviour, and (c) the ability to entertain fourth order meta-representations. To the extent that these abilities are pre-requisites of Gricean communication they are inconsistent with the view that Gricean communication could play a role in their development. In this paper, I argue that a class of ‘minimally Gricean acts’ satisfy the intentional structure described by Grice, (...) but require none of abilities (a)-(c). As a result, Gricean communicative abilities may indeed contribute to the development of (a)-(c) – in particular, by enabling language development. This conclusion has important implications for our theorising about cognitive development. (shrink)

The quantization error in a fixed-size Self-Organizing Map (SOM) with unsupervised winner-take-all learning has previously been used successfully to detect, in minimal computation time, highly meaningful changes across images in medical time series and in time series of satellite images. Here, the functional properties of the quantization error in SOM are explored further to show that the metric is capable of reliably discriminating between the finest differences in local contrast intensities and contrast signs. While this capability of the QE is (...) akin to functional characteristics of a specific class of retinal ganglion cells (the so-called Y-cells) in the visual systems of the primate and the cat, the sensitivity of the QE surpasses the capacity limits of human visual detection. Here, the quantization error in the SOM is found to reliably signal changes in contrast or colour when contrast information is removed from or added to the image, but not when the amount and relative weight of contrast information is constant and only the local spatial position of contrast elements in the pattern changes. While the RGB Mean reflects coarser changes in colour or contrast well enough, the SOM-QE is shown to outperform the RGB Mean in the detection of single-pixel changes in images with up to five million pixels. This could have important implications in the context of unsupervised image learning and computational building block approaches to large sets of image data (big data). (shrink)

There seems to be widespread agreement that to be responsible for something is to be deserving of certain consequences on account of that thing. Call this the “merited-consequences” conception of responsibility. I think there is something off, or askew, in this conception, though I find it hard to articulate just what it is. The phenomena the merited-consequences conception is trying to capture could be better captured, I think, by noting the characteristic way in which certain minds can rightly matter to (...) other such minds—the way in which certain minds can carry a certain kind of importance, made manifest in certain sorts of responses. Mattering, not meriting, seems to me central. However, since I cannot yet better articulate an alternative, I continue in the merit-consequences framework. I focus on a particular class of consequences: those that are non-voluntary, in a sense explained. The non-voluntariness of these reactions has two important upshots. First, questions about their justification will be complex. Second, they are not well thought of as consequences voluntarily imposed upon the wrongdoer by the responder. By focusing on merited consequences and overlooking non-voluntariness, we risk misunderstanding the significance of moral criticism and of certain reactions to moral failure. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, (...) called SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

Gene clustering is a useful exploratory technique to group together genes with similar expression levels under distinct cell cycle phases or distinct conditions. It helps the biologist to identify potentially meaningful relationships between genes. In this study, we propose a clustering method based on multivariate normal mixture models, where the number of clusters is predicted via sequential hypothesis tests: at each step, the method considers a mixture model of m components (m = 2 in the first step) and tests if (...) in fact it should be m - 1. If the hypothesis is rejected, m is increased and a new test is carried out. The method continues (increasing m) until the hypothesis is accepted. The theoretical core of the method is the full Bayesian significance test, an intuitive Bayesian approach, which needs no model complexity penalization nor positive probabilities for sharp hypotheses. Numerical experiments were based on a cDNA microarray dataset consisting of expression levels of 205 genes belonging to four functional categories, for 10 distinct strains of Saccharomyces cerevisiae. To analyze the method’s sensitivity to data dimension, we performed principal components analysis on the original dataset and predicted the number of classes using 2 to 10 principal components. Compared to Mclust (model-based clustering), our method shows more consistent results. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil (AE) and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics (CE). It is argued that this goes someway towards providing a methodological explanation of why cyberspace is central to so many of CE's concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent's action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil (and fort that matter good) but conversely to `receive' or `suffer from' it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics (IE) is proposed for that theory. Itis argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective (though not vice versa). In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds (...) to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of equality (...) and egalitarianism. The principal question is about the importance of equality in a theory of justice. More precisely, we should pose questions in four contracting circles: 1. Is justice the supreme value guiding our setup of the basic structure of society, or are there other, equally important values, such as recognition, care, communal belonging? 2. If justice is the highest guiding principle, which competing ideals—especially equality and freedom—ought to have precedence in a policy oriented toward justice? What status does the ideal of equality have in that framework? 3. If equality is a basic ideal of just policy, how should it be practically realized? What sort of equality (equal opportunity, equality of welfare, resource equality) should be demanded? 4. What patterned distribution of which specific goods does the ideal of equality demand? Which principles of distribution can be justified according to our justice ideal? To conclude and summarize: 5. What is the essential core of an egalitarian theory of justice, as opposed to an inegalitarian theory? These five questions structure the work’s order of argumentation. Part A elaborates the conceptual foundations and basic moral principles of justice and equality. Chapter I sets out to install justice as the central moral category in the socio-political domain. At the beginning of the first chapter, the conceptual foundations of justice are clarified. While not eliminating the classical distinctions between different forms of justice, I argue that the distributive paradigm is of primary importance. The primacy of justice in the socio-political domain is developed out of a confrontation with alternative positions, those which maintain either that justice generally, or distributive justice in particular, are subsidiary virtues. At the end of Chapter I, the first of the questions mentioned above is answered in a way that establishes justice as the guiding normative concept for the foundation and evaluation of any social order. To clarify the role of equality in a theory of justice, Chapter II separates the idea of equality into four different principles. They are organized in a way that begins with the most general and uncontroversial principle of equality, and progresses towards increasingly detailed and contested principles. There are two theses that articulate and defend the significance of equality for justice: First there is a conceptual connection between justice and equality, in that principles of formal and proportional equality are necessary in order to explicate the concept of justice. These two principles establish an unbreakable bond between justice and equality. Justice can only be explained—or so I argue—by reference to these and other (normative) principles of equality. The second thesis posits a normative relationship between justice and equality, which is disclosed by three substantive principles of equality: moral equality, the presumption of equality, and the principle of responsibility. I argue that the normative core of an egalitarian theory of justice is expressed by the latter two principles, which are themselves based on the first principle, that of moral equality. When we view one another as persons, what form of equality or equal treatment is normatively demanded? I argue that the answer to this question is given by the procedural principle of the presumption of equality: regardless of their apparent differences, all persons deserve strictly equal treatment, unless certain kinds of differences have whatever particular relevance would justify, on generally acceptable grounds, unequal treatment or unequal distribution. The justification of the presumption of equality is central to this work and has considerable importance. If the presumption principle’s validity can be justified by enlisting the principle of general justification, then the primacy of equality, and the essential argument for an egalitarian theory of justice, is established. This would likewise provide a procedure for the construction of a material theory of justice. The second question is answered thereby at the end of Chapter II: Equality should have primacy over competing ideals within a justice-oriented policy. The presumption of equality establishes this primacy and, at the same time, offers an appropriate metric and guideline for the construction of a material theory of distributive justice. The presumption of equality in Part B offers an elegant procedure for the development of a theory of distributive justice. Chapter III clearly sets out the necessary prerequisites that a theory of distribution must satisfy in order to determine a liberal-egalitarian distributional framework. We need to specify in which situation the distribution takes place; which goods are and are not to be distributed; in which respect the presumptive equality is to be produced; and by and to whom, and for what period, the relevant goods are to be distributed. The distribution is based on resources understood as general-purpose means. It is necessary to divide goods into different categories, since the justification for unequal treatment in one domain will not carry over into another. This makes presumptive equality necessarily complex. To that end, four spheres of justice are distinguished: (1) the political sphere, which involves allocating rights through the distribution of civil liberties; (2) the democratic sphere, in which political power and the rights of political participation are regulated; (3) the economic sphere, in which income and property are distributed; (4) the social sphere, in which social positions and opportunities are distributed. This framework of distributive justice answers the third of our guiding questions, about the nature of equality, in terms of equality of resources. Chapters IV and V set out the egalitarian distributive criteria for each sphere. I argue that the generally accepted, fundamental rights of classical liberalism are more effectively reconstructed by reference to the equal resource distribution presumptively required in those spheres. Chapter IV shows that when it comes to the first two spheres, those involving basic rights and freedoms and entitlement political participation, there can be no justified exceptions to the equal distribution of the relevant goods. That section argues, contrary to what we commonly find in theories of freedom or popular sovereignty, that the value of freedom and self-determination as the political basis of autonomy is best realized through the presumption of equal distribution. Chapter V deals with the other two spheres, those of economic goods and social positions, and argues for justified exceptions to equal distribution. In the economic sphere we find one principal reason favouring unequal distribution of resources, and three restrictions and compensations limiting that inequality. The basic exception to equal economic distribution arises from the unequal consequences of personal responsibility. From a suitably egalitarian standpoint, the principle of responsibility is the normative principle that determines which reasons justify economic inequality. Here the basic idea is that unequal shares of social goods are fair if they result from the choices and deliberate actions of the relevant parties. That individuals have to bear the costs of their own choices is a condition of autonomy. However, benefits or disadvantages arising from arbitrary and unmerited differences in social circumstances or natural endowments is unfair. The unequal consequences of independent decision-making and action must therefore be limited by compensating first for preferences, secondly for disadvantages, and thirdly by redistributing wealth in aid of the worse-off. I situations of emergency, compensating for disadvantages has priority over all other claims, owing to the urgency of the situation. Social inequalities go beyond the permissible limit if it is possible to improve the long-term social or economic situation of the worse-off by redistributing wealth to them. These exceptions lead to a complex system of free economic action within a framework of compensatory tax and transfer mechanisms. Finally, in the social sphere, the distribution of social positions, offices and opportunities must be structured to ensure that equally talented and motivated citizens have roughly equal chances of obtaining those offices or positions, irrespective of their economic or social class backgrounds. This compromise is permissible for reasons of freedom and prudence, and it makes a certain measure of inequality acceptable. The fourth of our guiding questions is answered accordingly. There are five principles of justice for the basic structure of society, and five legal principles that govern the special distribution of goods in the respective spheres—all are ranked according to their most defensible grounds of priority, ensuring that everyone is accorded equal justice. Chapter VI recapitulates the initial question of equality’s value. The conception of equal justice developed in this work postulates five principles of equality and five principles of law; these constitute an egalitarian framework because they support and promote social justice. Equality has value with respect to them, but is not given any independent, intrinsic value. That is why I call the account developed here a form of constitutive egalitarianism: justice is realized through the realization of equality, itself accomplished by applying the five postulates of equality and five distributive principles of law. This is an egalitarianism on two levels. The first level is involves the claim that morality or justice is conceptually connected with equality. The second level gives equality a substantial weight in what is conceptually validated at the first level, namely the presumption of equality, and constructs an appropriate interpretation and conception of distributive justice through principles of distribution for the individual spheres. The weight and importance of equality is shown by the distributive criteria applied to those spheres. This answers our final guiding question about the nature of an egalitarian theory. (shrink)

Hume introduced important innovations concerning the theory of ideas. The two most important are the distinction between impressions and ideas, and the use he made of the principles of association in explaining mental phenomena. Hume divided the perceptions of the mind into two classes. The members of one class, impressions, he held to have a greater degree of force and vivacity than the members of the other class, ideas. He also supposed that ideas are causally dependent copies of impressions. (...) And, unlike Locke and others, Hume makes positive use of the principle of association, both of the association of ideas, and, in a more limited way, of the association of impressions. Such associations are central to his explanations of causal reasoning, belief, the indirect passions (pride and humility, love and hatred), and sympathy. These views about impressions and ideas and the principles of association form the core of Hume’s science of human nature. Relying on them, he attempts a rigorously empirical investigation of human nature. The resulting system is a remarkable but complex achievement. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

The chapter shows how Kant’s ethical thought as reflected in the lectures, responds to Baumgarten’s works on moral philosophy. I argue that Kant chose Baumgarten’s textbooks for his classes for genuinely philosophical reasons. The thorough discussion of Baumgarten’s views provided Kant with important clues for developing an original position, even if mostly in opposition to Baumgarten. I illustrate this complex role of Baumgarten with a few significant examples, that also highlight some original aspects of Baumgarten’s position in comparison to (...) Wolff’s: (1) Kant follows Baumgarten’s in focusing on obligation as the crucial issue in moral philosophy, but Kant regards Baumgarten’s account as not satisfying. (2) Baumgarten’s sharply theistic foundation of morality is rejected by Kant. (3) Kant rejects also several significant aspects of Baumgarten’s division of ethical duties, thereby revealing profound differences in their conceptions of morality. (shrink)

What can make storytelling “evil” in the sense that the storytelling leads to accepting a view for no good reason, thus allowing ill-reasoned action? I mean the storytelling can be argumentatively evil, not trivially that (e.g.) the overt speeches of characters can include bad arguments. The storytelling can be argumentatively evil in that it purveys false premises, or purveys reasoning that is formally or informally fallacious. My main thesis is that as a rule, the shorter the fictional narrative, the greater (...) the potential for argumentative evil. Here, the notion of length is to be understood such that it is generally a proxy for more abstract features such as how complex and nuanced the piece is. In other argumentative contexts, length generally appears to make no comparable difference. This feature would put fictional narrative arguments in a special class beyond what is determined by obvious features, such as the definitional fact that they in some way(s) collapse two of the four traditional types of discourse: exposition, description, narration, and argument. The nonobvious features that distinguish this class have been a source of puzzlement and inquiry. (shrink)