To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions (...) of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

Purpose This study aims to investigate the impact of message framing (emotional vs rational) on social media users' ability to accurately detect information and their intention to share messages about the COVID-19 vaccine. Design/methodology/approach Using an experimental design approach, the authors recruited 600 adult participants via a crowdsourcing platform. Participants were randomly assigned to receive emotional or rational messages and their ability to accurately detect information and intention to share messages were assessed. Findings The results showed a significant multivariate effect (...) of message framing on both the detection of accurate information and intention to share (p < 0.001). Participants who received emotional messages demonstrated better performance in the detection and sharing task than those who received rational messages. Gender and age also had significant main effects on the outcomes, with women performing better than men and younger participants performing better than older participants in detecting the accuracy of information. The interaction effects of the independent variables were not statistically significant (p = 0.098). Originality/value The findings highlight the importance of considering emotional factors in combating the spread of messages about the COVID-19 vaccine on social media. Practitioners responsible for social media content should strengthen the content review mechanism, with an emphasis on screening content with high emotional arousal. (shrink)

Relaxed realist theories are becoming more common in metanormative theory. They want the advantages of robust forms of realism but without their metaphysical underpinnings. However, it is not always clear how we should understand relaxed realist theories in general. In this paper I clarify and defend relaxed realism. First, I characterise and distinguish relaxed realist theories from robust realist theories. Second, I defend relaxed realism against a challenge from truthmaker theory.

In this paper I argue that relaxed realism can answer questions about normative language and thought without collapsing into one of the familiar views in the literature or becoming implausible. More specifically, contrary to Michael Ridge, I argue that relaxed realists can use an inferentialist approach to metasemantics without their view collapsing into naturalism or quasi-realism. The inferentialist account that I propose is that the role of normative expressions involves language-entry transitions construed as rational intuitions and language-exit transitions explained in (...) terms of rational agency. I argue that this account fits with relaxed realism and keeps the view distinct from naturalism, quasi-realism, and other familiar views in the literature. (shrink)

This volume offers interreligious and interdisciplinary insight into the cinematic-serial and literary narration of evil. Evil is an important motif in literature, film and series. We encounter it in the most diverse forms - be it the Joker from The Dark Knight, Goethe's Mephisto or in the Shiite theatre ritual of the Taʿziya. This volume attempts a closer exploration of what we know as evil, and yet find difficult to comprehend. In addition to Christian and Islamic perspectives, philosophical and mystical (...) considerations are also addressed. Evil, its aesthetic reception and the resulting perspectives on its reality are the focus of the multidisciplinary contributions. With contributions by Prof. Dr. Thomas Jürgasch, Prof. Dr. Ahmad Milad Karimi, Prof. Dr. Walter Lesch, Prof. Dr. Konrad Paul Liessmann, Dr. Maryam Palizban, Iyad Shraim and Prof. Dr. Reinhold Zwick. (shrink)

I offer an account of normative belief designed specifically for relaxed realists. This proposal not only gives relaxed realists an explicitly robust account of normative belief but also distinguishes their theory from related theories, notably quasi-realist ones. In doing so, it addresses a dilemma raised in the literature against relaxed realist theories.

The Enlightenment philosophy, particularly the ideas of Thomas Hobbes and his concepts surrounding the State and Society, serves as a philosophical foundation for numerous subsequent discussions in the fields of social and political sciences. Hobbes’ perspective on human nature and his portrayal of the natural state versus civilization are undeniably among the central tenets of modern thought. He characterizes humanity as the ‘wolf-man’ and underscores the necessity of a social contract-based civilized state to ensure security and safeguard collective interests. Hobbes (...) is primarily concerned with peace, and his political framework, rooted in a modern scientific sense, is designed with the explicit goal of establishing and preserving peace. In the natural state, where humanity exists in an uncivilized condition, each individual is self-interested and disconnected, resulting in a landscape fraught with danger and insecurity. However, a glimmer of hope arises from the fact that human awareness of this predicament serves as the very genesis of contemplation and thought directed towards salvation. The cornerstone of security in the natural state is the equality of all individuals within it. According to Hobbes, society does not represent the spontaneous formation of a fundamental condition for collective life but, rather, the conscious regulation of a potentially volatile state perpetually on the brink of conflict. Through surveys, Hobbes asserts that a majority of people within a society willingly delegate their power and authority to an individual or a group, enabling them to consolidate the various wills into a unified collective will through a voting process. This article aims to explore a fundamental shift in ethics as we transition from classical ethics centered around ‘good’ to modern social ethics founded on ‘security’ and ‘stability.’. (shrink)

Kant has explained his view on modality and modal concepts in general in different sections of the Critique of Pure Reason such as the "Metaphysical Deduction", "Schematism", and the "Postulates". However, he discusses the issue of existence in particular mainly under the topic of "The Impossibility of an Ontological Proof of the Existence of God." The proof—known as the "ontological argument"—was first presented by St. Anselm and later revised by Descartes, Leibniz, and contemporary philosophers like Norman Malcolm and Alvin Plantinga. (...) Kant's view on existence, however, seems to lead to some problems. In the present essay two of these... (shrink)

The idea of “creatio ex nihilo” entered the arena of natural science with the advent of modern cosmology in the mid-twentieth century. This idea, that is, the creation of the universe out of nothing, seems to be a consequence of the widely accepted Big Bang Theory which implies the temporal finitude of the world. In order to avoid the theological and metaphysical implications of such an idea, some scenarios and scientific models have been proposed. According to one of the scenarios, (...) the creation ex nihilo of the world is a causal physical phenomenon, and, hence, can be explained scientifically by appealing to the laws of nature. In this essay, I aim to discuss and criticize this idea. To fulfill this aim, in the introduction some achievements of modern cosmology will be very briefly introduced. In the next three sections, the notions of existence and nothingness, creation,scientific explanation, and singularity will be explored. It will be shown that what philosophers mean by these notions isradically different fromthe naïve ideas of some scientists. Hence, applying these notions to physical models of the origin of the universe is completely misleading. This work concludes that no scientific explanation appealing to the laws of nature can possibly explainthe creation of the universe out of nothing. (shrink)

The ideas of creatio ex nihilo of the universe and creatio continua of new matter out of nothing entered the arena of natural science with the advent of the Big Bang and the steady-state theories in the mid-twentieth century. Adolf Grünbaum has tried to interpret the steady-state theory in such a way, to show that the continuous formation of new matter out of nothing in this theory can be explained purely physically. In this paper, however, it will be shown that (...) Grünbaum's interpretation encounters at least three problems: not distinguishing between material and efficient causes, inconsistency, and misconceiving the law of density conservation. (shrink)

This research aimed to investigate the status of children-specific metadata elements in theory (existing literature) and practice (metadata standards and children’s digital libraries). Literature reviews as well as two cases, including children’s online national libraries of Iran, and Singapore, are used to identify children-specific metadata elements and their application. The results revealed that descriptive metadata types had been mentioned more than analytical, social, and relational types; the DCMI metadata standard, besides LOM and ALTO metadata standards, can be used to develop (...) an application profile for children’s library catalogs. Two cases showed that they partially cover children-specific metadata elements, and neither has covered relational metadata elements. A deeper analysis of the children-specific metadata elements suggests that children’s catalogs should be semantic and social. The results of this study can be insightful for children’s book catalogers and children’s book publishers (for marketing purposes). (shrink)

The present book contains a number of articles dipicting religion in the present age, a re-telling of Bīzhan ʻAbd al-Karīmī's account of religion, Iran.

The realization of dwindling fossil fuel supplies and their adverse environmental impacts has accelerated research and development activities in the domain of renewable energy sources and technologies. Global energy demand is expected to rise during the next few decades, and the majority of today's energy is based on fossil fuels. Alternative energy sources and technologies can play a vital role in lowering or eliminating our reliance on fossil fuels. However, such a transition will require a large investment and will not (...) be reversible. The benefits of hydrogen and other liquid fuels as transportation fuels are not marginal, but the real urgency in greenhouse gas reductions and fossil fuel replacement should not be translated into an energy infrastructure based on unsustainable sources in the long run. It is wise to examine each option thoroughly and objectively now and discard those with little potential so our focus and effort may be placed elsewhere. (shrink)

Studies regarding rural entrepreneurs in developing countries and, specifically, their well-being have not been sufficiently developed in the literature. The present study was an attempt to fill this gap and to examine important antecedents and outcomes associated with entrepreneurial well-being among a sample of 102 Iranian rural entrepreneurs. This research established a theoretical research model that highlighted the relationships among job fit, entrepreneurial passion, well-being, and persistence. The results of structural equation modeling supported the hypothesized model. In particular, the results (...) indicated that higher job fit was associated with higher levels of entrepreneurial well-being through an entrepreneurial passion mechanism. Moreover, the results supported the hypothesized serial mediating effect. In other words, a high level of job fit enhances entrepreneurial persistence through a high level of entrepreneurial passion and well-being. This study provides significant input to policymakers and practitioners in their efforts to promote the antecedents and outcomes of well-being among rural entrepreneurs. (shrink)

Der Islam vertritt als Offenbarungsreligion den Standpunkt der absoluten Einheit Gottes. Wie wird aber theologisch nach diesem Einen gefragt? Worin besteht die Unbedingtheit Gottes in Relation zum Bedingten? Und warum erschafft Gott überhaupt etwas? Die Systematik der genuin islamischen Theologie fordert in diesem Zusammenhang mit dem Glauben zu beginnen. Doch die Frage ist, wie der Glaube verfasst ist und wie seine Inhalte generiert sind. Was tun wir, wenn wir glauben? In welchem Verhältnis stehen der Verstand und der Glaube zueinander? Und (...) vor allem: Wie ist Offenbarung möglich? Der Koran als Offenbarung beansprucht nämlich Wahrheit; eine Wahrheit, die aber ästhetisch vermittelt ist. In welcher Relation stehen indes Wahrheit und Schönheit des Korans zueinander? Offenbarung ist stets Vermittlung; doch wie lassen sich Transzendenz und Existenz zusammendenken? Grundlegend also: Worin besteht der Standpunkt der systematisch-islamischen Theologie? Diesen und weiteren Fragen stellt sich die vorliegende Untersuchung. (shrink)

This article examines Martin Luther’s view of Natural theology and natural knowledge of God. Luther research has often taken a negative stance towards a possibility of Natural theology in Luther’s thought. I argue, that one actually finds from Luther’s texts a limited area of the natural knowledge of God. This knowledge pertains to the existence of God as necessary and as Creator, but not to what God is concretely. Luther appears to think that the natural knowledge of God is limited (...) because of the relation between God and the Universe only one side is known by natural capacities. Scholastic Theology built on Aristotelianism errs, according to Luther, when it uses created reality as the paradigm for thinking about God. Direct experiential knowledge of the divinity, given by faith, is required to comprehend the divine being. Luther’s criticism of Natural theology, however, does not appear to rise from a general rejection of metaphysics, but from that Luther follows certain ideas of Medieval Augustinian Platonism, such as a stark ontological differentiation between finite and infinite things, as well as the idea of divine uniting contradictions. Thus the conflict between faith and reason on Luther seems to be explicable at least in part as a conflict between two different ontological systems, which follow different paradigms of rationality. (shrink)

This thesis is concerned with a relaxed form of normative realism. Relaxed realists accept the existence of mind-independent normative truths, properties, and facts, but argue that normative truths do not have truthmakers and that normative properties and facts are not metaphysically robust. The thesis develops relaxed realism by responding to various objections and challenges. The first paper argues that relaxed realists can answer questions about normative language without their theory collapsing into one of the familiar theories in the literature or (...) becoming implausible. More specifically, contrary to Michael Ridge (2019), it argues that relaxed realists can embrace an inferentialist account of normative terms without their theory collapsing into naturalism or quasi-realism. The second paper offers an account of normative belief specifically designed for relaxed realists. It argues that relaxed realists can explain normative belief through a functionalist theory of mind. This proposal not only provides relaxed realists with an explicit explanation of normative belief but also distinguishes it from related theories, notably quasi-realist theories. In doing so, it addresses a previously unresolved dilemma raised by Ridge (2019) and Böddeling (2020) concerning the relaxed realist’s view of normative belief. The third paper clarifies and defends relaxed realism. It justifies the claim that normative truths do not have truthmakers by arguing that these truths are true not because of the existence of truthmaking entities but simply because of the way things are normatively. The fourth paper examines the kind of relaxed realist theory that Scanlon (2014) defends within a “domain-centered view” of existence and truth. The article highlights how this view makes relaxed realism more viable by defending it against objections based on substantive domain-independent ideas, such as the idea that all (synthetic) truths must have truthmakers. Additionally, it presents a distinct argument, different from the one presented in the third paper, to justify the claim that normative truths do not have truthmakers. (shrink)

Religionen sind ästhetisch vermittelt. Nicht nur die religiöse Praxis, sondern der religiöse Habitus überhaupt vollzieht sich in ästhetischen Akten. In diesem Band wird dem komplexen Feld der ästhetischen Inszenierung des Religiösen multidisziplinär Rechnung getragen, und zwar mit besonderem Augenmerk auf filmisch-serielle Narration.

Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.

BackgroundBesides physical complications, COVID-19 is associated with psychological issues such as fear and anxiety. High resilience in nurses enables them to adopt positive coping mechanisms and successfully operate in the stressful environment of COVID-19 wards. The present study aimed to evaluate the correlation between COVID-19 fear and anxiety with resilience in the emergency nurses of the hospital affiliated with Kurdistan University of Medical Sciences (west of Iran) in 2021.Materials and methodsThis cross-sectional study was conducted on 295 emergency nurses of selected (...) hospitals in Kurdistan province, Iran, in 2021. Data were collected using a demographic questionnaire, Fear of COVID-19 Scale (FCV-19S), Corona Disease Anxiety Scale (CDAS), and Connor-Davidson Resilience Scale (CD-RISC). Data analysis was performed in R software version 3.6.3.ResultsThe mean scores of resilience, COVID-19 fear, and COVID-19 anxiety were 55.07 ± 19.82 (ranging from 0 to 100), 20 ± 7.37 (ranging from 7 to 35) and 36.48 ± 13.21 (ranging from 18 to 54) respectively. There was a negative and significant correlation between resilience with COVID-19 fear (r = −0.449, p = 0.001), COVID-19 anxiety (r = 0.458, p = 0.001). A significant correlation was observed between COVID-19 fear and anxiety, which indicated that if the other demographic variables remained unchanged, a one-unit increase in COVID-19 fear and anxiety decreased the mean resilience score by −0.66 (P = 0.008) and −0.34 (P = 0.015), respectively.ConclusionCOVID-19 fear and anxiety were significantly correlated. Therefore, providing training courses for promoting resilience could reduce the fear and anxiety of nurses during the COVID-19 pandemic. (shrink)

Religiosity is one of the most prominent and extensive social factors influencing one’s behavior; however, there is a lack of research analyzing the religiosity impact on pro-environmental behavior, particularly for women in rural areas. To narrow the research gap, this study established a theoretical research model by incorporating religiosity into the Theory of Planned Behavior to explore factors affecting rural female facilitators’ pro-environmental behavior. The extended Theory of Planned Behavior model was consequently tested by empirical data collected from 110 rural (...) female facilitators in Qom Province in the center of Iran. The results of structural equation modeling indicated that subjective norms and environmental attitude were positively and significantly related to pro-environmental intentions. In addition, pro-environmental intentions and perceived behavioral control were found to be significantly associated with pro-environmental behaviors. The results revealed that there was a direct and indirect relationship between religiosity and pro-environmental behaviors via perceived behavioral control. In addition, there was an indirect relationship between religiosity and pro-environmental intentions via subjective norms and environmental attitudes. Therefore, this study revealed that religiosity as social pressure plays an important role in determining pro-environmental intentions and behaviors among rural female facilitators in Iran. Thus, in order to promote pro-environmental behavior, the religiosity aspects should be considered and people should be stimulated to act in a more environmentally friendly mode via religious prism. (shrink)

Greenhouse gas emissions are adversely affecting the earth’s climate, a global common and a public good. The contribution of individual countries has a limited effect on the biosphere, implying that only globally coordinated efforts may result in significant climate improvements. The Rio Earth Summit (1992) and Kyoto Protocol (1997) are manifestations of international efforts to achieve sustainable development through efficient use of energy and incorporating more renewable sources in global economy. In this article, the author examines the energy-related emissions of (...) greenhouse gases and the utilization of renewable energy sources in Canada with respect to Agenda 21 commitments. An overview of the results of Canada’s policies on climate change since Rio in terms of energy consumption, various sources of energy, and emission rates of greenhouse gases is also presented. It is concluded that the current plans of the Canadian government to deal with greenhouse gas emissions have not been effective. (shrink)

Word Order and Scrambling introduces readers to recent research into the linguistic phenomenon called scrambling and is a valuable contribution to the fields of ...

BackgroundGenetic disorders due to kindred marriages are common medical conditions in Iran; however, the legal aspects of abortion remain controversial. This study was undertaken to determine physicians' opinions regarding the termination of pregnancy for three genetic diseases: thalassemia major, hemophilia, and Down's syndrome.MethodsA questionnaire was administered to selected physicians by stratified random sampling to determine the following: age, gender, knowledge about prenatal diagnosis of diseases in high risk pregnancies, agreement with abortion, recommended gestational age for abortion, and, if opposed to (...) abortion, the reason.ResultsOf 323 physicians, who participated in the study, 91.3(295), 40.6(131), and 78.6%(254) were in agreement and 8.7(28), 59.4(192), and 21.4%(69) were opposed to abortion for thalassemia major, hemophilia, and Down's syndrome, respectively. Among 289 physicians opposed to abortion in respect of each of all three conditions, the following reasons were cited: religion, 18; emotional, 10; quality of care, 23; hope to find a new treatment option in the future, 103; miscellaneous reasons, 6; and a combination of these reasons, 129. Among 680 physicians in agreement with abortion in relation to all of the diseases, 4.6%(31) were agreed with abortion in less than 12 weeks gestation, 79.2%(538) in less than 16 weeks gestation, 5.6%(38) in less than 20 weeks gestation, 2.2%(15) in less than 24 weeks gestation, and 8.4%(58) were agreed with beyond the 24 weeks of gestational age.ConclusionThe majority of physicians were in agreement with abortion for thalassemia major and Down's syndrome because of the overall prognosis, but opposed to abortion for hemophilia. (shrink)

_Islamic Thought_ is a fresh and contemporary introduction to the philosophies and doctrines of Islam. Abdullah Saeed, a distinguished Muslim scholar, traces the development of religious knowledge in Islam, from the pre-modern to the modern period. The book focuses on Muslim thought, as well as the development, production and transmission of religious knowledge, and the trends, schools and movements that have contributed to the production of this knowledge. Key topics in Islamic culture are explored, including the development of the (...) Islamic intellectual tradition, the two foundation texts, the Qur’an and Hadith, legal thought, theological thought, mystical thought, Islamic Art, philosophical thought, political thought, and renewal, reform and rethinking today. Through this rich and varied discussion, Saeed presents a fascinating depiction of how Islam was lived in the past and how its adherents practise it in the present. _Islamic Thought_ is essential reading for students beginning the study of Islam but will also interest anyone seeking to learn more about one of the world’s great religions. (shrink)

This study examined the influence of ethical leadership on knowledge sharing, the mediating role of psychological ownership, and the moderating effect of professional commitment between ethical leadership and knowledge sharing. Data were collected from 307 public listed Pakistani companies’ employees. Statistical analyses were performed by using SPSS Version 25 and AMOS version 22. The findings indicate a positive relationship between EL and KS behavior. Additionally, the impact of EL on KS was partially mediated by psychological ownership. Furthermore, professional commitment buffers (...) the link between EL and KS. This study contributes to the body of knowledge in the field of leadership by confirming the role of ethics. The results show that ethical leaders develop employee attitudes that contribute to employee KS behavior. Ethical leaders create and encourage a learning culture to enhance organizational performance. This study adds to the little data on the positive impact of EL on listed company’s employees and addresses the gaps in previous studies on the role of EL in changing environments. In addition, professional commitment as a moderator has not been previously investigated with ethical leadership antecedents. (shrink)

One of the main goals of assignments in the academic environment is to assess the students’ knowledge and mastery of a specific topic, and it is crucial to ensure that the work is original and has been solely made by the students to assess their competence acquisition. Therefore, Text-Matching Software Products are used by academic institutes to ensure academic integrity and address plagiarism. However, some students find ways to trick TMSPS. In this paper, files with the common tricks students do (...) to beat TMSPS have been created and investigates with nine academic level TMPS to evaluate their effectiveness against these tricks, identifying the strengths and weaknesses of each TMSP, and providing instructors with some practical tips on checking plagiarism effectively and spotting any tricks to cheat without getting noticed. (shrink)

Firms in controversial industries such as tobacco, alcohol, gambling, weapon, and nuclear power suffer organizational legitimacy problems. These firms, therefore, adopt various strategies to acquire legitimacy. Drawing on institutional theory, we conceptualize the top management team gender diversity as a legitimacy-seeking strategy and examines how a firm’s belonging to a controversial sector affects TMT gender diversity. Based on a cross-country sample of 1542 firms operating in controversial industries from 34 countries and control sample with another set of 1542 similar-sized firms (...) from non-controversial industries, the empirical evidence shows that belonging to a controversial industry exerts a positive impact on TMT gender diversity. The effect of industry belonging on TMT gender diversity is positively moderated by institutional gender parity and a low level of corruption. It indicates that institutional factors act as emancipative forces that foster women's empowerment. Taken together, our results for moderating variables highlight the role of institutional characteristics in supporting women empowerment initiatives. (shrink)

The proofs of Kleene, Chaitin and Boolos for Gödel's First Incompleteness Theorem are studied from the perspectives of constructivity and the Rosser property. A proof of the incompleteness theorem has the Rosser property when the independence of the true but unprovable sentence can be shown by assuming only the (simple) consistency of the theory. It is known that Gödel's own proof for his incompleteness theorem does not have the Rosser property, and we show that neither do Kleene's or Boolos' proofs. (...) However, we show that a variant of Chaitin's proof can have the Rosser property. The proofs of Gödel, Rosser and Kleene are constructive in the sense that they explicitly construct, by algorithmic ways, the independent sentence(s) from the theory. We show that the proofs of Chaitin and Boolos are not constructive, and they prove only the mere existence of the independent sentences. (shrink)

A cornerstone of modern mathematical logic is the diagonal lemma of Gödel and Carnap. It is used in e.g. the classical proofs of the theorems of Gödel, Rosser and Tarski. From its first explication in 1934, just essentially one proof has appeared for the diagonal lemma in the literature; a proof that is so tricky and hard to relate that many authors have tried to avoid the lemma altogether. As a result, some so called diagonal-free proofs have been given for (...) the above mentioned fundamental theorems of logic. In this paper, we provide new proofs for the semantic formulation of the diagonal lemma, and for a weak version of the syntactic formulation of it. (shrink)

This book on Philosophy for Children is a compilation of articles written by its founders and the movement's leaders worldwide. These articles have been prepared in the dialogue and interview format. Part I explains the genesis of the movement, its philosophical and theoretical foundations. Part II examines the specialized uses of philosophical dialogues in teaching philosophy, morality, ethics and sciences. Part III examines the theoretical concerns such as the aims of the method in regards to the search for truth or (...) sense of meaning, or the debate on the novel or short stories and its characteristics. Part IV explains the practices of P4C worldwide and the issue of cultural differences, the ways of the community of inquiry and the necessary adaptation to suit local concerns. The book concludes with a notable review of the progress of P4C, the obstacles, and its international spread to over 60 countries. These penetrating insights make the book an incredibly rich resource for anyone interested in or involved with implementing a P4C programme. Brave Old Subject, Brave New World Teaching Science and Morality Via P4C Showing Children can do Philosophy. (shrink)

Pessimistic meta-induction is a powerful argument against scientific realism, so one of the major roles for advocates of scientific realism will be trying their best to give a sustained response to this argument. On the other hand, it is also alleged that structural realism is the most plausible form of scientific realism; therefore, the plausibility of scientific realism is threatened unless one is given the explicit form of a structural continuity and minimal structural preservation for all our current theories. This (...) essay aims to present what we call expansive structures, which are the structures that can be reconstructed from geometrized Newtonian gravitation and are capable of expanding into general relativity, explicitly. In this way, pessimistic meta-induction will be undermined. (shrink)

The data with the advancement of information technology are increasing on daily basis. The data mining technique has been applied to various fields. The complexity and execution time are the major factors viewed in existing data mining techniques. With the rapid development of database technology, many data storage increases, and data mining technology has become more and more important and expanded to various fields in recent years. Association rule mining is the most active research technique of data mining. Data mining (...) technology is used for potentially useful information extraction and knowledge from big data sets. The results demonstrate that the precision ratio of the presented technique is high comparable to other existing techniques with the same recall rate, i.e., the R-tree algorithm. The proposed technique by the mining effectively controls the noise data, and the precision rate is also kept very high, which indicates the highest accuracy of the technique. This article makes a systematic and detailed analysis of data mining technology by using the Apriori algorithm. (shrink)

The capacity to classify social groups legally is a central characteristic of modern states. Social groups, however, often resist the classificatory schemas of the state. This raises the following question: how do modern states exercise symbolic power in social fields beset by acute classification struggles? While existing scholarship has demonstrated that states exercise symbolic power, there has not been a concomitant effort to systematize and theorize the various strategies through which they do so. This article addresses this lacuna through examining (...) classification struggles centered on a number of “heterodox” religious groups that have historically been perceived as deviant from mainstream religions. Specifically, it looks at Falun Gong in China, Mormons in the United States, and Baha’is in Egypt. The analysis draws attention to three strategies through which states exercise symbolic power: coercive classification, wherein the deviant group is forcibly fixed as such in law; juridical normalization, whereby the deviant group is allowed to enter the mainstream by shedding “problematic” ritual practices; and legal erasure, whereby the deviant group is kept out of the official classificatory system so that it becomes a legal non-entity. In summary, this article both identifies the religious field as a critical domain in which states of various ideological orientations exercise symbolic power and deploys this analysis to identify distinct strategies through which they do so. (shrink)

It is shown that all the provably total functions of Basic Arithmetic BA, a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind of primitive recursive realizability to which BA is sound, is introduced. This realizability is similar to Kleene's recursive realizability, except that recursive functions are restricted to primitive recursives.

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...) paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

Gödel's second incompleteness theorem is proved for Herbrand consistency of some arithmetical theories with bounded induction, by using a technique of logarithmic shrinking the witnesses of bounded formulas, due to Z. Adamowicz [Herbrand consistency and bounded arithmetic, Fundamenta Mathematical vol. 171 (2002), pp. 279-292]. In that paper, it was shown that one cannot always shrink the witness of a bounded formula logarithmically, but in the presence of Herbrand consistency, for theories I∆₀+ Ωm, with m ≥ 2, any witness for any (...) bounded formula can be shortened logarithmically. This immediately implies the unprovability of Herbrand consistency of a theory T ⊇ I∆₀ + Ω₂ in t itself. In this paper, the above results are generalized for I∆₀ + Ω₁. Also after tailoring the definition of Herbrand consistency for I∆₀ we prove the corresponding theorems for I∆₀. Thus the Herbrand version of Gödel's second incompleteness theorem follows for the theories I∆₀ + Ω₁ and I∆₀. (shrink)

Respect for human dignity is a basic and crucial component of nursing care. Illness with restricted physical ability and being confined to bed can compromise the dignity of patients. The views of adolescents regarding dignity in care have not previously been researched. This article details a descriptive-analytic study in which survey data was collected from all nurses and compared with a convenience sample of 180 hospitalized adolescents in two hospitals in Iran. The data was analyzed with SPSS software. A significant (...) difference between nurses and hospitalized ill adolescents’ perceptions was identified in relation to: understanding the importance of privacy (p < 0.001); observance of privacy (p < 0.001); importance of interaction between nurses and patients (p = 0.019); and the observance of interaction between nurses and patients (p < 0.001). Attention to adolescents’ views about dignity can help nurses to improve quality of care for this group. (shrink)