The concept of neutrosophic locally compact and neutrosophic compact open topology are introduced and some interesting propositions are discussed.

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

The Paris Convention on Climate Change is a convention under the United Nations Framework Convention on Climate Change that deals with greenhouse gas emission reduction, coordination and financing issues. The Convention shall enter into force from 2020. The Paris Climate Convention is an international environmental law with stronger social norms than other international law areas. Furthermore, the national characteristics of the norm have been doubled as a result of adopting the nationally determined contribution as the most important mechanism. In this (...) context, this paper examines the issues of the Paris Climate Convention at the international legal level. We examine the issue of enhancing normative efficiency through international trials of the Paris Convention and the International Court of Justice. Second, we examine possible conflicts between the Paris Climate Convention and the WTO law. This is to look at the bilateral issues between the WTO and the Parisian climate treaty, which represents the interests of developmentalists in the basic framework of the confrontation between developmentalists and environmentalists. Of course, when the two norms are in harmony, the normative effectiveness of the Paris Climate Convention is increased. Third, we briefly discuss the role of the domestic courts in raising the Paris Climate Convention, human rights issues, and normative effectiveness. In the end, the Paris Climate Convention enhances the normative effectiveness and suggests ways for lawyers and key actors to move forward. (shrink)

We show that, assuming impossibility of absolute nothingness, a necessary being does exist. Our argument is an elaboration of the "Subtraction argument" known in philosophical circles, and it makes use of the compactness theorem of propositional logic and an interpretation of the notion of "possible worlds" through propositional valuations.

A compact overview of the main formal theories of parthood and of their mutual relationships, up to Classical Extensional Mereology. Written as an Appendix to the other essays included in the volume.

A compact microcontroller based photoacoustic spectrometer (PAS) has been designed and fabricated. The photoacoustic (PA) cell designed for the present study is of Helmholtz resonator type with a provision to measure the sample behavior as a function of temperature. In this system, an electret microphone is employed to achieve high signal to noise ratio. The microphone compartment is isolated from the sample compartment to avoid the heating effect to the electric microphone which detects the photoacoustic signal. A high-gain low-noise two (...) stage preamplifier, second order bandpass and tunable narrow band-pass filters have been designed with a low noise op-amp LM308 to improve signal quality. C8051F060 microcontroller-based phase sensitive detector has been implemented to measure the amplitude and phase of the signal from the photoacoustic cell. The applications of PAS for phase transition studies on some samples are presented. The designed system is low-cost, very compact and easy to carry the experiments for studying the thermal properties of samples. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Here I advance a unified account of the structure of the epistemic normativity of assertion, action, and belief. According to my Teleological Account, all of these are epistemically successful just in case they fulfill the primary aim of knowledgeability, an aim which in turn generates a host of secondary epistemic norms. The central features of the Teleological Account are these: it is compact in its reliance on a single central explanatory posit, knowledge-centered in its insistence that knowledge sets the fundamental (...) epistemic norm, and yet fiercely pluralistic in its acknowledgment of the legitimacy and value of a rich range of epistemic norms distinct from knowledge. Largely in virtue of this pluralist character, I argue, the Teleological Account is far superior to extant knowledge-centered accounts. (shrink)

Buildings energy consumption is growing gradually and put away around 40% of total energy use. Predicting heating and cooling loads of a building in the initial phase of the design to find out optimal solutions amongst different designs is very important, as ell as in the operating phase after the building has been finished for efficient energy. In this study, an artificial neural network model was designed and developed for predicting heating and cooling loads of a building based on a (...) dataset for building energy performance. The main factors for input variables are: relative compactness, roof area, overall height, surface area, glazing are a, wall area, glazing area distribution of a building, orientation, and the output variables: heating and cooling loads of the building. The dataset used for training are the data published in the literature for various 768 residential buildings. The model was trained and validated, most important factors affecting heating load and cooling load are identified, and the accuracy for the validation was 99.60%. (shrink)

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...) entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. (shrink)

Timelines is an inquiry into the nature of time, both as an apparent feature of the external physical world and as a fundamental feature of our experience of ourselves in the world. The organization of this book makes it easy to consider a single topic or to read straight through, starting with introductory content and running through rigorous treatments of current research and controversy in philosophy and science. Its format is unique, where each topic is covered by one page of (...) 'front notes' and a facing page of analysis, defense and commentary. Facing pages consist of short essays and citations as well as compact verse compositions that are intended to capture aspects of our temporal experience that are difficult to address with normal descriptive sentences. The principal argument of Timelines is that our coventional ideas about time are largely mistaken and that what we think of as independent physical time is actually our calibration of a certain relation between events. Namely, the relation between time-keeping events and the causal sequential differences of physical processes which are real and independent of us. (shrink)

The paper suggests that Samuel Taylor Coleridge’s arguments against sympathy after the French Revolution, Walter Benjamin’s claims against empathy following the traumatic shock of Modernity and the First World War, and Hannah Arendt’s critical take on compassion. after the Holocaust are similar responses to singular historical crises. Reconsidering Arendt’s On Revolution (1963) and its evocation of Hermann Melville’s novella Billy Budd (1891), I show first that the novella bears the traces of an essay by Samuel Taylor Coleridge, “The Appeal to (...) Law” (1809). Then, drawing on Walter Benjamin’s writings on trauma in Illuminations (1968, edited by Arendt), I discuss the political importance Arendt attaches to the proper way of telling a story, at a time when “the communicability of experience is decreasing” (Benjamin, Illuminations, 86). Through the analysis of Benjamin’s “The Storyteller” and Arendt’s “heartless” report on the Eichmann trial (1963), I equally show that, according to Arendt, testimonies must be narrated, or rather performed, in a dispassionate, dry, and compact manner so that they can be historically and politically relevant. (shrink)

Breast cancer remains a significant health concern worldwide, necessitating the development of effective diagnostic tools. In this study, we employ a neural network-based approach to analyze the Wisconsin Breast Cancer dataset, sourced from Kaggle, comprising 570 samples and 30 features. Our proposed model features six layers (1 input, 1 hidden, 1 output), and through rigorous training and validation, we achieve a remarkable accuracy rate of 99.57% and an average error of 0.000170 as shown in the image below. Furthermore, our investigation (...) identifies the most influential features in breast cancer diagnosis, shedding light on the key determinants of malignancy. Notably, we find that factors such as fractal dimension_se, symmetry worst, compactness_worst, symmetry_se, and smoothness_se play pivotal roles in distinguishing between benign and malignant cases. This research contributes to the ongoing efforts to enhance breast cancer diagnosis, providing valuable insights into feature importance and showcasing the potential of neural networks in medical applications. Our findings have implications for improving early detection and treatment strategies, ultimately contributing to improved patient outcomes. (shrink)

In this book the authors introduce and study the following notions: Neutrosophic Crisp Points, Neutrosophic Crisp Relations, Neutrosophic Crisp Sets, Neutrosophic Set Generated by (Characteristic Function), alpha-cut Level for Neutrosophic Sets, Neutrosophic Crisp Continuous Function, Neutrosophic Crisp Compact Spaces, Neutrosophic Crisp Nearly Open Sets, Neutrosophic Crisp Ideals, Neutrosophic Crisp Filter, Neutrosophic Crisp Local Functions, Neutrosophic Crisp Sets via Neutrosophic Crisp Ideals, Neutrosophic Crisp L-Openness and Neutrosophic Crisp L-Continuity, Neutrosophic Topological Region, Neutrosophic Closed Set and Neutrosophic Continuous Function, etc. They compute (...) the distances between neutrosophic sets and extend it to Neutrosophic Hesitancy Degree. The authors also generalize the Crisp Topological Space and Intuitionistic Topological Space to the notion of Neutrosophic Crisp Topological Space. At the end, they present applications to Neutrosophic Database, and show a security scheme based on Public Key Infrastructure (PKI) using Neutrosophic Logic Manipulation. The authors utilize neutrosophic sets in order to analyze social networks data conducted through learning activities, and for the Geographical Information Systems (GIS) they employ fundamental concepts and properties of a Neutrosophic Spatial Region. Keywords: Neutrosophic Crisp Points; Neutrosophic Crisp Relations; Neutrosophic Crisp Sets; Neutrosophic Crisp Continuous Function; Neutrosophic Crisp Compact Spaces; Neutrosophic Crisp Nearly Open Sets; Neutrosophic Crisp Ideals; Neutrosophic Crisp Filter; Neutrosophic Crisp Local Functions; Neutrosophic Crisp Sets via Neutrosophic Crisp Ideals; Neutrosophic Crisp L-Openness and Neutrosophic Crisp L-Continuity; Neutrosophic Topological Region; Neutrosophic Closed Set and Neutrosophic Continuous Function; Neutrosophic Hesitancy Degree; Neutrosophic Crisp Topological Space; Neutrosophic Database; Neutrosophic Logic Manipulation; Neutrosophic Spatial Region. (shrink)

In most academic and non-academic circles throughout history, the world and its operation have been viewed in terms of cause and effect. The principles of causation have been applied, fruitfully, across the sciences, law, medicine, and in everyday life, despite the lack of any agreed-upon framework for understanding what causation ultimately amounts to. In this engaging and accessible introduction to the topic, Douglas Kutach explains and analyses the most prominent theories and examples in the philosophy of causation. The book is (...) organized so as to respect the various cross-cutting and interdisciplinary concerns about causation, such as the reducibility of causation, its application to scientific modeling, its connection to influence and laws of nature, and its role in causal explanation. Kutach begins by presenting the four recurring distinctions in the literature on causation, proceeding through an exploration of various accounts of causation including determination, difference making and probability-raising. He concludes by carefully considering their application to the mind-body problem. _Causation_ provides a straightforward and compact survey of contemporary approaches to causation and serves as a friendly and clear guide for anyone interested in exploring the complex jungle of ideas that surround this fundamental philosophical topic. (shrink)

In his recent book Constructing the World, David Chalmers defends A Priori Scrutability, the thesis that there is a compact class of truths such that for any truth p, a Laplacian intellect could know a priori that if the truths in that class hold, then p. In this paper, I develop an objection to Chalmers’ thesis that focuses on his treatment of a so-called that’s-all truth. My objection draws on Theodore Sider’s discussion of border-sensitive properties, and also on the causal (...) phenomenon of double prevention. (shrink)

Jaegwon Kim’s influential exclusion argument attempts to demonstrate the inconsistency of nonreductive materialism in the philosophy of mind. Kim’s argument begins by showing that the three main theses of nonreductive materialism, plus two additional considerations, lead to a specific and familiar picture of mental causation. The exclusion argument can succeed only if, as Kim claims, this picture is not one of genuine causal overdetermination. Accordingly, one can resist Kim’s conclusion by denying this claim, maintaining instead that the effects of the (...) mental are always causally overdetermined. I call this strategy the ‘ overdetermination challenge’. One of the main aims of this paper is to show that the overdetermination challenge is the most appropriate response to Kim’s exclusion argument, at least in its latest form. I argue that Kim fails to adequately respond to the overdetermination challenge, thus failing to prevent his opponents from reasonably maintaining that the effects of the mental are always causally overdetermined. Interestingly, this discussion reveals a curious dialectical feature of Kim’s latest response to the overdetermination challenge: if it succeeds, then a new, simpler and more compact version of the exclusion argument is available. While I argue against the consequent of this conditional, thereby also rejecting the antecedent, this dialectical feature should be of interest to philosophers on either side of this debate. (shrink)

This paper describes Wittgenstein's pre-theoretical transcendentalist conception of ethics and the challenge it presents for the kind of global cosmopolitan perspective required of any multinational social responsibility strategy. It is argued that this challenge can be overcome through establishing a sense of solidarity with all stakeholders via a corporate social compact rooted in what Wittgenstein refers to as spontaneous agreement and sympathy. Contemporary examples of successful strategies are provided.

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a (...) classical-particle version of the Higgs mechanism. (shrink)

Abstract In this paper I consider an easier-to-read and improved to a certain extent version of the causal chance-based analysis of counterfactuals that I proposed and argued for in my A Theory of Counterfactuals. Sections 2, 3 and 4 form Part I: In it, I survey the analysis of the core counterfactuals (in which, very roughly, the antecedent is compatible with history prior to it). In section 2 I go through the three main aspects of this analysis, which are the (...) following. First, it is a causal analysis, in that it requires that intermediate events to which the antecedent event is not a cause be preserved in the main truth-condition schema. Second, it highlights the central notion to the semantics of counterfactuals on the account presented here -- the notion of the counterfactual probability of a given counterfactual, which is the probability of the consequent given the following: the antecedent, the prior history, and the preserved intermediate events. Third, it considers the truth conditions for counterfactuals of this sort as consisting in this counterfactual probability being higher than a threshold. In section 3, I re-formulate the analysis of preservational counterfactuals in terms of the notion of being a cause, which ends up being quite compact. In section 4 I illustrate this analysis by showing how it handles two examples that have been considered puzzling – Morgenbesser's counterfactual and Edgington's counterfactual. Sections 5 and on constitute Part II: Its main initial thrust is provided in section 5, where I present the main lines of the extension of the theory from the core counterfactuals (analyzed in part I) to counterfactuals (roughly) whose antecedents are not compatible with their prior history. In this part II, I elaborate on counterfactuals that don't belong to the core, and more specifically on so-called reconstructional counterfactuals (as opposed to the preservational counterfactuals, which constitute the core counterfactual-type). The heart of the analysis is formulated in terms of processes leading to the antecedent (event/state), and more specifically in terms of processes likely to have led to the antecedent, a notion which is analyzed entirely in terms of chance. It covers so-called reconstructional counterfactuals as opposed to the core, so-called preservational counterfactuals, which are analyzed in sections 2 and 3 of part I. The counterfactual probability of such reconstructional counterfactuals is determined via the probability of possible processes leading to the antecedent weighed, primarily and roughly, by the conditional probability of the antecedent given such process: The counterfactual probability is thus, very roughly, a weighted sum for all processes most likely to have led to the antecedent, diverging at a fixed time. In section 6 I explain and elaborate further on the main points in section 5. In section 7 I illustrate the reconstructional analysis. I specify counterfactuals which are so-called process-pointers, since their consequent specifies stages in processes likely to have led to their antecedent. I argue that so-called backtracking counterfactuals are process-pointers counterfactuals, which fit into the reconstructional analysis, and do not call for a separate reading. I then illustrate cases where a speaker unwittingly employs a certain counterfactual while charitably construable as intending to assert (or ‘having in mind’) another. Here I also cover the issue of how to construe what one can take as back-tracking counterfactuals, or counterfactuals of the reconstructional sort, and more specifically, which divergence point they should be taken as alluding to (prior to which the history is held fixed). Some such cases also give rise to what one can take as a dual reading of a counterfactual between preservational and reconstructional readings. Such cases may yield an ambiguity, where in many cases one construal is dominant. In section 8 I illustrate the analysis by applying it to the famous Bizet-Verdi counterfactuals. This detailed analysis of counterfactuals (designed for the indeterministic case) has three main distinctive elements: its being chance-based, its causal aspect, and the use it makes of processes most likely to have led to the antecedent-event. This analysis is couched in a very different conceptual base from, and is an alternative account to, analyses in terms of the standard notion of closeness or distance of possible worlds, which is the main feature of the Stalnaker-Lewis-type analyses of counterfactuals. This notion of closeness or distance plays no role whatsoever in the analysis presented here. (This notion of closeness has been left open by Stalnaker, and to significant extent also by Lewis's second account.) . (shrink)

Philosophers of science are divided over the interpretations of scientific normativity. Larry Laudan defends a sort of goal-directed rules for scientific methodology. In contrast, Gerard Doppelt thinks methodological rules are a mixed batch of rules in that some are goal-oriented hypothetical rules and others are goal-independent categorical rules. David Resnik thinks that the debate between them is at a standstill now. He further thinks there are certain rules, such as the rule of consistency which is goal independent. However, he proposes (...) a holistic understanding of the scientific methodology. Taking a thread from Resnik, the present paper also advocates a holistic understanding of the scientific methodology. Given that many scientific practices deal with systems, the focus will be given to the systems by assuming each as a constellation of methodological norms. By taking each system as a set of mutually supportive methodological rules whose instrumental values underwrite the coherence relation among them, the paper aims to provide what could be a viable holistic epistemological account that can explain scientific normativity at work in a scientific system. The paper will lay down specific holistic criteria for understanding the scientific methodology. They will be used to show how a holistic account could satisfactorily account for the success of the Compact Muon Solenoid (CMS) experiment in discovering the Higgs boson and how the holistic account can account for the instrumental error behind the apparent faster-than-light neutrino anomaly of the Oscillation Project with Emulsion-t Racking Apparatus (OPERA) experiments respectively. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

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

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

In his paper “Obras de ficción, formas de conciencia y literatura”, Josep Corbí raises a few sharp objections to my distinction between fiction and non-fiction, as I formulate it in my recently published Relatar lo ocurrido como invención. In this response, I present first in a compact form such ideas, and then I try to answer to Corbí’s criticisms.

A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a concept. (...) We show that our proposal can account for a number of views of concepts such as the prototype theory and the exemplar theory. Moreover, we show how the proposed model can overcome some limitations of cognitive views. (shrink)

ABSTRACT: Sellars once remarked on the “astonishing extent to which in ethics as well as in epistemology and metaphysics the fundamental themes of Kant’s philosophy contain the truth of the variations we now hear on every side” (SM x). Also astonishing was Sellars’ 1970 Presidential Address to the American Philosophical Association (APA), which borrowed its title from the phrase in Kant’s Paralogisms, “...this I or he or it (the thing) which thinks...” (B404). In its compact twenty-five pages Sellars managed to (...) sketch novel yet plausible reconstructions of central aspects of Kant’s views on self-knowledge, persons, freedom, and morality, along the way suggesting how all of those Kantian views could plausibly be rendered consistent with a naturalistic ontology. In this chapter I focus on Sellars’ APA address as an occasion for reflection on how both Kant and Sellars offer insights into how we ought best to conceive the nature of and the relationships between our thinking selves, our practical agency, and our entirely natural, material embodiment. (shrink)

Trust in the scientific enterprise — in science as an institution — is arguably important to individuals’ and societies’ well-being. Although some measures of public trust in science exist, the recipients of that trust are often ambiguous between trusting individual scientists and the scientific community at large. We argue that more precision would be beneficial — specifically, targeting public trust of the scientific community at large — and describe the development and validation of such an instrument: the Scientific Community Trust (...) Index (SCTI). We show the results of initial field testing to establish instrument reliability and validity. We then demonstrate certain advantages of the SCTI against other measures of trust and deference, and present correlations between the SCTI and participant scores in two trust-in-science scenarios. Our results suggest that the SCTI is a useful and compact tool for measuring public trust in the scientific community. (shrink)

In natural language we rarely use relation-words with more than three argument places. This paper studies one systematic device, rooted in natural language, by which relations of greater adicity can be expressed. It is based on a higher-order relation between 1-place, 2-place, and 4-place relations (and so on) of which the relation between the positive and comparative degrees of a predicate is a special case. Two formal languages are presented in this connection, one of which represents the language of communication (...) and the other the contextual information against which the first language is interpreted. A semantical theory is described, which treats the two languages in an interdependent way. Logical consequence is non-compact. Connections with issues about vagueness are made. (shrink)

As the value of a university degree plummets, the popularity of digital microcredentials has soared. Similar to recent calls for the early adoption of Blockchain technology, the so-called ‘microcredentialing craze’ could be no more than a fad, marketing hype or another case of ‘learning innovation theater’. Alternatively, the introduction of these compact skills- and competency-based online certificate programs might augur the arrival of a legitimate successor to the four-year university diploma. The thesis of this article is that the craze for (...) microcredentialing reflects (1) administrative urgency to unbundle higher education curricula and degree programs for greater efficiency and profitability and (2) a renascent movement among industry and higher education leaders to reorient the university curriculum towards vocational training. (shrink)

The present essay is a compact form of the results obtained during many decades of research into the primeval foundations of the collective fields of force, both social and of consciousness. Since everything is determined by their origins, and the collective forces arise from the mind, we had to explore the ultimate origins of mind. We have come to recognize the law of interactions as the law and necessity which determine the primeval origins of mind. It also determines the substance (...) and essence of the Universe and the modes of its existence and functioning. The present essay is a concise form of results obtained during many decades of research in the primeval foundations of collective, both social and consciousness fields. I point out that a yet unknown type of forces existed in the Golden Age, which I termed as collective force. In the Golden Age mankind lived in communities which had a full unity. The communal life developed its collective forms, of which the most significant are the development of human speech, of language, share of work and the development of the communal fests. The law determining the primeval origins of mind is the cosmic law of interactions. It defines the substance of the Universe and the ways of its existence and activity. A detailed analysis is presented on the nature of the lay of interaction here. One consequence of this fundamental principle is the general prevalence of the principle of mutuality, which plays a basic role in the understanding of the unfolding and degeneration of consciousness. The principle of mutuality determines the changes of every levels of life. The laws of the generation of consciousness in the ages of evolution toward Homo and the Golden Age are analysed. I presented some evidences indicating the factual existence of the Golden Age, as well as its destruction, which was necessarily accompanied by the overthrow of the consciousness of the Golden Age, its repression and replacement by the newly developed rational, upper or superficial mind. Starting from the consideration that our mind is a product of our history, the phenomenon of the 'double mind' is recognised, the largely antagonistic duality of human mind. It is succeeded to solve the riddle of the double mind and determining its substance. Our double mind, consisting of the ‘upper’ or rational mind and the ‘deep-mind’, is a creature of the two fundamental ages of mankind, that of the age of power domination and the Golden Age. Therefore it expresses the duality of our history. We attempted to explore the heritage of the Golden Age embedded into our world of instincts, sexuality, emotional and sensual world, and the expressions of this heritage according to the different periods of our lives. If we will succeed in enlightening the deep-mind it may make it possible to give back the long-forgotten collective fields of forces to mankind, unavailable to the surface mind at present, and would expand the all-pervasive power of the conscious mind significantly. Hopefully, our results open up new vistas for the research of the collective fields and the double nature of the human mind, and may enable us to know and complete ourselves more deeply and thoroughly. (shrink)

Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisa- tion of elementary equivalence, the existence of a quadratic-time decision pro- cedure, and Brandom’s incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.

The article summarized the quadruple weak force electrodynamics on the Kerr-Newman type supermassive compact object on NGC 3034. It used both observational astronomy and data analytical techniques in the qualitative research on cosmology revolved around black hole and white hole juxtapose with nuclear astrophysics and theoretical chemistry.

At the heart of chemistry lies the periodic system of chemical elements. Despite being the cornerstone of modern chemistry, the overall structure of the periodic system has never been fully understood from an atomic physics point of view. Group-theoretical models have been proposed instead, but they suffer from several limitations. Among others, the identification of the correct symmetry group and its decomposition into subgroups has remained a problem to this day. In an effort to deepen our limited understanding of the (...) periodic law, we have extended the traditional Lie algebraic framework to account for the peculiar degeneracy structure of the periodic system. Starting from the four-dimensional hidden symmetry and accidental degeneracy of the hydrogen atom, as first revealed by Fock in 1935, our research has mainly focussed on the way this SO(4) symmetry of the Coulomb potential gets broken in the periodic system as a consequence of the transformation of the hydrogenic (n, l) filling order to the Madelung (n+l, n) order due to electronic repulsions, relativistic effects and spin-orbit couplings. In this PhD dissertation, a new left-step format of the periodic table is first proposed on the basis of the Madelung rule. Following the particle physics tradition, the chemical elements are then considered as various states of some 'atomic matter', which is described by a non-compact spectrum-generating dynamical Lie group. The chemical elements are shown to form a basis for a single infinite-dimensional degeneracy space of the SO(4,2) ⊗ SU(2) group. An explanation for the period doubling is then proposed in terms of a particular symmetry breaking of the SO(4,2) group to the anti de Sitter SO(3,2) group. The Madelung rule is rationalised on the basis of nonlinear Lie algebras which reflect the screening of the Coulomb hole. This opens new perspectives for a symmetry-based understanding of how the periodic law emerges from its quantum mechanical foundations, and holds the future promise of complementing our current phenomenological approach by a direct atomic physics approach. (shrink)

Philosophers of science are divided over the interpretations of scientific normativity. Larry Laudan defends a sort of goal-directed rules for scientific methodology. In contrast, Gerard Doppelt thinks methodological rules are a mixed batch of rules in that some are goal-oriented hypothetical rules and others are goal-independent categorical rules. David Resnik thinks that the debate between them is at a standstill now. He further thinks there are certain rules, such as the rule of consistency which is goal independent. However, he proposes (...) a holistic understanding of the scientific methodology. Taking a thread from Resnik, the present paper also advocates a holistic understanding of the scientific methodology. Given that many scientific practices deal with systems, the focus will be given to the systems by assuming each as a constellation of methodological norms. By taking each system as a set of mutually supportive methodological rules whose instrumental values underwrite the coherence relation among them, the paper aims to provide what could be a viable holistic epistemological account that can explain scientific normativity at work in a scientific system. The paper will lay down specific holistic criteria for understanding the scientific methodology. They will be used to show how a holistic account could satisfactorily account for the success of the Compact Muon Solenoid (CMS) experiment in discovering the Higgs boson and how the holistic account can account for the instrumental error behind the apparent faster-than-light neutrino anomaly of the Oscillation Project with Emulsion-t Racking Apparatus (OPERA) experiments respectively. (shrink)

An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.

In this article, we present a modal logic system that allows representing relationships between sets or classes of individuals defined by a specific property. We introduce two modal operators, [a] and <a>, which are used respectively to express "for all A" and "there exists an A". Both the syntax and semantics of the system have two levels that avoid the nesting of the modal operator. The semantics is based on a variant of Kripke semantics, where the modal operators are indexed (...) over propositional logic formulas ("pre-formulas" in the paper). Furthermore, we present a set of axioms and rules that govern the system and we prove that the logic is correct and complete with respect to Kripke models. In the final section of the article, we discuss potential future work. We consider the possibility of combining our operator with other modalities, such as necessity or knowledge. Additionally, as an example of the utility of our modal operator, we briefly analyze a conveniently adapted Barcan formula within the framework of our system. In summary, we propose combining our modal operator with other ones as a simpler, more compact, albeit less expressive way to address quantified modal logic. (shrink)

Brentano’s position in the history of philosophy is often illustrated by the long list of important philosophers who have studied with him. Yet, the relations between Brentano and his students were not always without friction. In the present article I argue that Brentano’s students were most attracted by his conception of a scientific philosophy, which promised to leave the received tradition (German Idealism) behind and to mark the beginning of a new period in the history of philosophy – a project (...) they were happy to be part of. Brentano’s work remained in an important sense fragmentary, however, and could, thus, not provide the inner unity that would have been essential for forming a compact school or a unified philosophical movement. (shrink)

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

Among historians of philosophy it is often taken for granted that the “Brentano school” was one of the influential philosophical movements at the end of the nineteenth and the beginning of the twentieth century – but Brentano’s own contributions are often eclipsed by that of his direct students. This invites to reflect on the nature of and the unity within the school. Since Brentano’s conception of a rigorous, scientific philosophy had a strong impact on his students, it has been argued (...) that this conception constitutes a unifying element in an otherwise heterogeneous group. The scope of this article is to shed light on this thesis and to show its limits. I argue for a differentiated view: the Brentano school is best seen not as a compact movement, but as a heterogeneous group of scholars who approached, in a given historical and geographical period, similar topics in very similar ways. (shrink)

Theophrastus' treatise "Metaphysics" contains a compact and critical reconstruction of unsolved systematic problems of classical Greek philosophy. It is primarily about fundamental problems of ontology and natural philosophy, such as the question of the interdependence of principles and perceptible phenomena or the plausibility of teleology as a methodical principle of the explanation of nature. The aim of the critical Greek-German edition (with introduction and commentary) is to make visible the systematic significance of Theophrastus' critique of metaphysics.

As a sort of intellectual provocation and as a lateral thinking strategy for creativity, this chapter seeks to determine what the study of the dynamics of biodiversity can offer linguists. In recent years, the analogical equation "language = biological species" has become more widespread as a metaphorical source for conceptual renovation, and, at the same time, as a justification for the defense of language diversity. Language diversity would be protected in a way similar to the mobilization that has taken place (...) to protect endangered species. Nevertheless, one must be careful when uncritically transferring conceptualizations and theoretical frameworks from one field to another, since obviously, these two phenomena are quite different in the real world. The dialogue with bioecologists starts by asking about the formation of diversity, i.e., about specialization. Here, one can observe the similarity between the processes of linguistic and genetic fragmentation, in the sense that both phenomena have a (socio)geographical basis for dispersion and consequently, for the loss of their original compact nature and their intercommunication. The self-organizing and creative properties of human beings favor the development of specific varieties for each subset, varieties that continue to evolve constantly, through the unceasing "languaging" of humanity. Regarding the continuity of species or languages, one can also observe the decisive role of intragroup relations. The staying power of linguistic varieties will increase in direct proportion to the intensity of the relationship among the components of the subset. On the other hand, if exotic elements are introduced, especially if these elements are aggressive in nature, the alteration of the ecological niche may turn out to be fatal for the continuity of the previously existing forms. This suggests to us the need to make an in-depth study of what the minimal contextual conditions would be so that a set linguistic group could be assured a sustainable continuity within a framework of linguistic contact. What type of minimum (socio-)ecological niche would a language have to have if we wished to ensure its habitual reproduction? A proposal is made here to explore the ideas of "exclusive functions" and "non-hierarchical functional distribution" for codes in situations where there is high contact and a danger of disuse. As regards change, this phenomenon is seen as an inherent element in the tendency of life to create new developments, which may or not be accompanied by an adaptation to changing environmental conditions. It is pointed out that, similar to what happens in biology, much of linguistic innovation stems from a systemically reorganized mixture of solutions from different codes. An important research question would be, however, to determine why some of these innovations disappear and others survive and extend throughout the community. The big question mark, as Mufwene points out, is, then how to manage to understand how "the evolution of language proceeds by naturally selecting from among the competing alternatives available through the idiolects of individual speakers". Extinction, whether it be of languages or of species, is caused in most cases "by a combination of demographic processes and environmental changes", as Brown points out. Thus, the environment plays a fundamental role in the direction of evolution, since the "the survival of the fittest is, in actuality, the survival of those who fit into the context (Allen and Hoekstra)". This allows us to see the great degree of importance of political-economic contexts in the case of languages. In the same way, migratory movements are also one of the major variables determining the extinction of biodiversity and language diversity. Species and habitat form the basic unit of existence, and this is the major point of departure for understanding the problem of the preservation and recovery of species or languages. Given the increase in the degree of linguistic contact, the continuity of language diversity depends on determining, as exactly as possible, as Prigogine, the physicist, would say, what precise conditions of imbalance may prove to be stable. The great challenge is not so much avoiding contact but managing it. And "restorative ecology" can also be of help to us here. Being able to reach sustainable solutions for language diversity implies a profound knowledge of the dynamics for determining the ways in which language is used in contact situations. The general conclusion is that linguistics is still terminologically and conceptually ill prepared to deal with the dynamic character of human languages. The world and our objects must be conceived of as elements in a state of flux, as changing systems in an unstable equilibrium. With respect to language policy, it would be necessary to make an effort to manage to establish some general principles regarding the linguistic organization of the human species that would make it possible for local linguistic diversity and communication on a planetary scale, which must necessarily take place, to be compatible with each other. To succeed, it will be necessary to continue promoting an autonomous socio-ecological perspective devoted to the comprehension of language phenomena. Such a perspective would be based on a paradigm of complexity, and would, at the same time, place human beings at the center of its theoretical underpinnings. (shrink)

ABSTRACT The individual-community relationship has always been one of the most fundamental topics of social sciences. In sociology, this is known as the micro-macro relationship while in economics it refers to the processes, through which, individual actions lead to macroeconomic phenomena. Based on philosophical discourse and systems theory, many sociologists even use the term "emergence" in their understanding of micro-macro relationship, which refers to collective phenomena that are created by the cooperation of individuals, but cannot be reduced to individual actions. (...) "Emergence" theories attempt to explain the nature of society as a complex system by examining how individuals and their relationships lead to the creation of integrated and macro-social phenomena such as markets, educational systems, cultural beliefs, and shared social practices. As a prelude to activity, every researcher has to answer the question from the methodological point of view, how is it possible to study the behavior of social groups and how can we gain knowledge about the laws related to social groups? Anyone who deals with humanities and social sciences or any reality and phenomenon that affects human beings, inevitably deals with the reality that is emerging. In fact, emergence occurs when one level of reality emerges radically from another level. Examples of emergent levels of reality include how the mind emerges from the body; or the way society emerges from human beings. Therefore, when there is an emerging factor, different scientific disciplines should be used, because it is inevitable to talk about social affairs, psychology and neurobiology, as well as physical and even chemical. -/- INTRODUCTION Since its beginning in the 19th century, sociology has faced the fundamental question of what a social phenomena stands for? At a glance, sociologists deal with the study of social groups, collective behavior, institutions, social structures, social networks, and social dynamics, and ultimately all such phenomena are composed of individuals. Therefore, social phenomena seem to have no independent ontological status, and in this case, sociology is ultimately about reducible individuals. Different approaches about the micro-macro relationship, using the concept of "emergence", argue that although collective phenomena are created by individuals, they cannot be reduced to individual action. The term "emergence" is used to distinguish "emergent results" from " Procedural results". Results are called Procedural that can only be calculated by adding or subtracting the causes that act together. On the contrary, they are emergent outcomes that are qualitatively novel compared to the causes from which they originate. An example of such emergent results is mental characteristics that emerge from neural processes, but are not considered among the characteristics of neural processes of components - which are their origin. Philosophical debates about emergentism and reductionism focus on the mind-brain relationship, but as many philosophers have noted, they can be generalized to apply to any hierarchical set of features. The cognitive revolution reactivated a 19th century controversy between theorists of Identity and dualism. The theorists of Identity believe in reductionist materialism and elimination of metaphysics, according to which the mind is nothing more than the biological, while the dualists believe that the mind and the brain are distinct from each other. Emergence has been considered as a third way between the theories of Identity and dualism. -/- METHODOLOGY Interdisciplinarity Is fundamentally indicated by the dominance of open systems as well as social and emerging systems at different levels. Therefore, as long as we are facing a new emergentism, there will necessarily be different fields and an interdisciplinary method. The commonality of social sciences and cognitive sciences on the issue of emergence provides the possibility of interaction and exchange of concepts between these two for deeper research. Therefore, in this research, apart from the concepts of Subvenience and downward causation, we have used multiple realization and wildly disjunctive, which are used to explain the emerging concept in cognitive sciences, including neurobiology, psychology, and philosophy. For analytical and interdisciplinary approaches, after examining the concepts of subvenience, and wildly disjunctive, Individualistic and collectivist emergentism have been reviewed. And then their adequacy is criticized and evaluated in meeting strong emergence conditions. -/- FINDINGS Philosophers of the mind have been able to define the conditions of irreducibility and downward causation, which are essential for strong emergence, by using the principle of subvenience with the help of multiple realization and wildly disjunctive principles. Therefore, by definition, emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and emergentist collectivism faces the challenge of reification. The analysis of the challenges facing the two methodological approaches of individualism and collectivism leads us to three unresolved issues about the emerging phenomenon, which are realism, downward causality, and mechanism. Despite the differences in the stances of these two approaches regarding the aforementioned triple problems, individualists and collectivists both agree that some social characteristics are reducible; and some others are irreducible due to their complexity, the determination of which, depends on the case study of the mechanism of emergence of each social characteristic. -/- CONCLUSION An emergence that is consistent with reductionism is called a weak emergence. And strong emergence includes the principle of irreducibility and downward causality. According to strong emergence, the characteristics of social phenomena have downward causal power, which cannot be reduced to the causal forces. The principle of subvenience, together with multiple realization and wildly disjunctive, can provide the conditions of irreducibility and downward causality, which are essential conditions of strong emergence. Based on the philosophical analysis of two methodological approaches, individualist and collectivist, it can be concluded that emergentist individualism suffers from the problem of how to explain downward causality and irreducibility, and reification collectivism faces the challenge of reification. The analysis of the problems faced by these two approaches leads us to three unresolved issues, which are realism, downward causality, and mechanism. individualist emergentists acknowledge the existence of emergent social characteristics, but despite this, they believe that these characteristics are not real but merely analytical constructs that require explanation based on individuals and their mutual actions. But collectivists argue that emergentism yields a categorical ontology and supports social realism. They accept the dependence of social characteristics on individuals, but claim that social entities and structures are ontologically independent. Individualists and collectivists both agree that some social characteristics are reducible; and others are irreducible due to their complexity; and the only way to recognize this is to engage in empirical studies of the mechanisms and temporal processes of "emergence" that create social characteristics. -/- NOVELTY The newness of this compact article is as follows: a) Presenting an interdisciplinary approach using the analysis of philosophy of cognitive sciences, including the philosophy of mind, neurobiology and psychology to formulate the issue of social emergence; b) Criticizing individualist and collectivist methodological approaches to the issue of social emergence and explaining the sufficiency and shortcomings of both in providing weak and strong emerging conditions; c) Explaining and categorizing the challenges facing methodological approaches in explaining the phenomenon of social emergence, in three categories: realism, downward causality, and mechanism. BIBLIOGRAPHY Beckermann, A., Flohr, H., & Kim, J. (eds.) (1992). Emergence or reduction? Essays on the prospects of nonreductive physicalism. Berlin: Walter de Gruyter. Bhaskar, R. (1979). The possibility of Naturalism. New York: Routledge. Bhaskar, R., Danermark, B. & Price, L. (2018). Interdisciplinarity and wellbeing: A critical realist general theory of interdisciplinarity. London and New York: Routledge. Blau, P.M. (1981). Introduction: diverse views of social structure and their common denominator. In Blau, P.M. & Merton, R.K. (eds.), Continuity in Structural Inquiry (pp. 1–23). Beverly Hills: Sage. Blau, P.M. (1987). Microprocess and macrostructure. In K.S. Cook (ed.), Social Exchange Theory (pp. 83–100). Newbury Park, CA: Sage. Brooks, R.A., & Maes, P. (eds). (1994). Artificial life IV; proceedings of the Fourth International Workshop on the Synthesis and Simulation of Living Systems. Cambridge, Mass: MIT Press. Clark, A. (1997). Being there: Putting brain, body, and world together again. Cambridge, Mass.: MIT Press. Coleman, J. S. (1987). Microfoundations and macrosocial behavior. In: J. C. Alexander, B. Giesen, R. Munch, & Neil J. Smelser (Eds.). The Micro-Macro Link (pp. 153–73). Berkeley: University of California. Coleman, J. S. (1990). Foundations of social theory. Cambridge, MA: Harvard University Press. Elster, J. (1985). Making sense of Marx. New York: Cambridge University Press. Fodor, J.A. (1974). Special sciences (Or: The disunity of science as a working hypothesis). Synthese, 28(2), 97–115. Fodor, J.A. (1989). Making mind matter more. Philosophical Topics, 17, 59-79. Giddens, A. (1984). The constitution of society: Outline of the theory of structuration. Berkeley: University of California Press. Hempel, C.G. (1965). Aspects of scientific explanation and other essays in the philosophy of science. New York: The Free Press. Horgan, T. (1993). From supervenience to superdupervenience: meeting the demands of a material world. Mind, 102, 555-586. Humphreys, P. (1997). How properties emerge”. Philosophy of Science, 64, 1-17. Kim, J. (1999). Making sense of emergence. Philosophical Studies, 95, 3–36. Kincaid, H. (1997). Individualism and the unity of science. New York: Rowman & Littlefield. Lewis, D.K. (1986). The plurality of worlds. Oxford: Oxford University Press. Nigel, G., & Conte, R. (eds.) (1995). Artificial societies; The computer simulation of social life. London: UCL Press. O’Connor, T. (1994). Emergent properties. American Philosophical Quarterly, 31, 91-104. Popper, K.R. (1968). Conjectures and refutations: The Growth of Scientific Knowledge. New York: Harper & Row. Sawyer, R. K. (2001). Emergence in sociology: contemporary philosophy of mind and some implications for sociological theory. American Journal of Sociology, 107, 551-585. Sawyer, R. K. (2004). The mechanisms of emergence. Philosophy of the Social Sciences, 34, 260–282. Sawyer, R. K. (2005). Social emergence: societies as complex systems. Cambridge: Cambridge University Press. Sawyer, R.K. (2003). Nonreductive individualism: Part 2, Social causation. Philosophy of the Social Sciences, 33, 203–224. Winch, P. (1993). The idea of a social science and its relation to philosophy‭ (SAMT, Trans.). Tehran, Iran: SAMT. (shrink)

We consider momentum operators on intrinsically curved manifolds. Given that the momentum operators are Killing vector fields whose integral curves are geodesics, it is shown that the corresponding manifold is either flat, or otherwise of compact type with positive constant sectional curvature and dimension equal to 1, 3 or 7. Explicit representations of momentum operators and the associated Casimir element will be discussed for the 3-sphere. It will be verified that the structure constants of the underlying Lie algebra are proportional (...) to 2ħ/R, where R is the curvature radius of the sphere. This results in a countable energy and momentum spectrum of freely moving particles. It is shown that the maximum resolution of the possible momenta is given by the de-Broglie wave length λ=πR, which is identical to the diameter of the manifold. The corresponding covariant position operators are defined in terms of geodesic normal coordinates and the associated commutator relations of position and momentum are established. (shrink)

In this paper we argue that the current paradigm for AGN and quasars is essentially incomplete and a rivision is needed. Remind that the current paradigm for AGN and quasars is that their radio emission is explained by synchrotron radiation from relativistic electrons that are Doppler boosted through bulk motion. In this model, the intrinsic brightness temperatures cannot exceed 1011 to 1012 K. Typical Doppler boosting is expected to be able to raise this temperature by a factor of 10. The (...) observed brightness temperature of the most compact structures in BL Lac, constrained by baselines longer than 5.3Gλ, must indeed exceed 2×1013K and can reach as high as ˜ 3 × 1014K. This is difficult to reconcile with current incoherent synchrotron emission models from relativistic electrons, requiring alternative models such as emission from relativistic protons. However the proton, as we know, is 1836 times heavier than an electron and absolutely huge energy is required to accelerated it to sublight speed. These alternative models such as emission from relativistic protons can be suported by semiclassical gravity effect finds its roots in the singular behavior of quantum fields on curved distributional space- times presented by rotating gravitational singularities. (shrink)

From the traditionalist position on international law, a new form of compact agreement, which cannot be classified as an international treaty in terms of academic framework, had long fueled much of contention in politics, international law, and constitutional law. A growing practice of compact agreement had been natural as corresponding with the global compression of international community and rising aspiration of peace regime on the international relations. The scholars of international law believe that, regardless of whether the President of the (...) United States is an internationalist or an isolationist, the enactment of international law in the 21st century will be based on more pragmatic rather than formal criteria. It is still true whether or not he is willing to accept or escape the international obligations so that we can more realistically share the powers conferred by the Constitution. On the other hand, a constitutional controversy on somewhat mushy yet sophisticated issues on the compact agreements began with the Laurence Tribe's acrimonious criticism in 1990. He argues that a procedure between Congress and the executive branch for the Clinton administration's accession to the North American Free Trade Agreement(NAFTA) is unconstitutional. His criticism pointed out that the NAFTA is unconstitutional since it is contrary to the text and structure of the Constitution. On the other hand, scholars of political science believe that, while a politics is termed as the distribution of values, the new form of compact agreement serves connecting the domestic and international politics as a living organism and must be affirmed from the standpoint of parliamentary politics. The political scientists argue on the necessity and inevitability of a new form of international agreement as pursuant to the nature of political process on informal procedures and parliamentary practices. In respect of the theoretical controversy, the paper is devoted to survey what the new form of compact agreement is, what types we can identify and explore the theoretical contest among the disciplines. As the dealings of paper attempt to touch on the core of scholarly assertions as fundamental and philosophical, the endeavor could inculcate the mind of international lawyers within and outside the government by providing a better framework to understand the specific real-world issues. The perception and rationale for the new form of international agreement should differ varying with their academic disciplines from which their thought stems from. The paper ends with implications within the grand scale of jurisprudence. (shrink)

Can the so-ca\led first incompleteness theorem refer to itself? Many or maybe even all the paradoxes in mathematics are connected with some kind of self-reference. Gбdel built his proof on the ground of self-reference: а statement which claims its unprovabllity. So, he demonstrated that undecidaЬle propositions exist in any enough rich axiomatics (i.e. such one which contains Peano arithmetic in some sense). What about the decidabllity of the very first incompleteness theorem? We can display that it fulfills its conditions. That's (...) why it can Ье applied to itself, proving that it is an undecidaЬle statement. It seems to Ье а too strange kind of proposition: its validity implies its undecidabllity. If the validity of а statement implies its untruth, then it is either untruth (reductio ad absurdum) or an antinomy (if also its negation implies its validity). А theory that contains а contradiction implies any statement. Appearing of а proposition, whose validity implies its undecidabllity, is due to the statement that claims its unprovability. Obviously, it is а proposition of self-referential type. Ву Gбdel's words, it is correlative with Richard's or liar paradox, or even with any other semantic or mathematical one. What is the cost, if а proposition of that special kind is used in а proof? ln our opinion, the price is analogous to «applying» of а contradictory in а theory: any statement turns out to Ье undecidaЬ!e. Ifthe first incompleteness theorem is an undecidaЬ!e theorem, then it is impossiЬle to prove that the very completeness of Peano arithmetic is also an tmdecidaЬle statement (the second incompleteness theorem). Hilbert's program for ап arithmetical self-foundation of matheшatics is partly rehabllitated: only partly, because it is not decidaЬ!e and true, but undecidaЬle; that's wby both it and its negation шау Ье accepted as true, however not siшultaneously true. The first incompleteness theoreш gains the statute of axiom of а very special, semi-philosophical kind: it divides mathematics as whole into two parts: either Godel шathematics or Нilbert matheшatics. Нilbert's program of self-foundation ofmatheшatic is valid only as to the latter. (shrink)

-/- Anyone else have NutraWill Garcinia ? Doing this is compact. By far the easiest trick of getting a NutraWill Garcinia that levels a culture for a NutraWill Garcinia . That is a no brainer. If you are a novice in the world of NutraWill Garcinia, you could locate yourself overwhelmed. -/- That black box was designed to order. By all means, it isn't a much used statement. Recently I was talking to my family dealing with a symbol and the (...) blank stares that I got made me wonder. I can't serve it up. I'm using NutraWill Garcinia currently. -/- -/- http://wellnesssupplement.com/nutrawill-garcinia/. (shrink)

J. Schauder introduced the notion of basis in a Banach space in 1927. If a Banach space has a basis then it is also separable. The problem whether every separable Banach space has a Schauder basis appeared for the first time in 1931 in Banach's book "Theory of Linear Operations". If a Banach space has a Schauder basis it also has the approximation property. A Banach space X has the approximation property if for every Banach space Y the finite rank (...) operators are dense in the closed subspace of all compact operators from Y to X. Both problems were solved in the negative in 1972 by Per Enflo. His proof was almost immediately simplified by A. M. Davie, who using a probabilistic lemma constructed a separable closed subspace of l_inifnity without the approximation property. In this thesis we present some of the equivalent properties to the approximation property due to A. Grothendieck, and we make a detailed exposition of the proof by A. M. Davie. (shrink)