Mulla Sadra and Leibniz are two philosophers of the East and the West, and belong to two different worlds. Though they were unaware of ideas of each other, they share certain points that are comparable. Monads constitute the basis of Leibniz's thought and he refer to their features in his various works. Mulla Sadra's philosophy also is based on being and he tried to deal with its reality in his philosophy. Though Leibniz's monads are many and Mulla Sadras being is (...) one, they use certain terms for monads and being which are very close to each other and are comparable from different points of view. Leibniz monads while being many are one as well. Similarly Mulla Sadra's philosophy too enjoys multiplicity in unity. Leibniz's monads enjoy perception and Mulla Sadra's being too coexist withknowledge. In this paper apart from comparing Leibniz's monads and Mulla Sadra's concept of being, their philosophies also have been compared and their common and different points have been unraveled. (shrink)

This article examines the development and critique of analogical arguments in the kalām tradition. There are two basic positions on analogical arguments: one holds that if analogical arguments yield certainty, then they are analyzable as deductive inferences, rendering the analogy itself redundant. Proponents of this view thus hold that if the analogy is useful at all, it will never yield the certainty demanded in the rational sciences; another holds that the analogy remains useful even when the argument is deductively sound, (...) either because the universal premise is epistemically dependent on the source case, or, because the source case is useful in dialectical contexts. The exploration of these themes will center around Juwaynī’s formalization and subsequent critique of analogical arguments in the kalām tradition. (shrink)

The notion of 'natural kinds' has been central to contemporary discussions of metaphysics and philosophy of science. Although explicitly articulated by nineteenth-century philosophers like Mill, Whewell and Venn, it has a much older history dating back to Plato and Aristotle. In recent years, essentialism has been the dominant account of natural kinds among philosophers, but the essentialist view has encountered resistance, especially among naturalist metaphysicians and philosophers of science. Informed by detailed examination of classification in the natural and social sciences, (...) this book argues against essentialism and for a naturalist account of natural kinds. By looking at case studies drawn from diverse scientific disciplines, from fluid mechanics to virology and polymer science to psychiatry, the author argues that natural kinds are nodes in causal networks. On the basis of this account, he maintains that there can be natural kinds in the social sciences as well as the natural sciences. (shrink)

Syed Abul Aʻla Maudoodi, 1903-1979, founder of Jamaat-e Islami, religio-political party of Pakistan and Abulḥasan 'Alī, Nadvī, b. 1913-1999, Islamic scholar.

Religion is a significant social force on organizational practice yet has been relatively underexamined in organization theory. In this article, I assert that the institutional logics perspective is especially conducive to examine the macrolevel role of religion for organizations. The notion of the religious logic offers conceptual means to explain the significance of religion, its interrelationship with other institutional orders, and embeddedness into and impact across interinstitutional systems. I argue for intrainstitutional logic plurality and show that specifically the intrareligious logic (...) plurality has been rather disregarded with a relative focus on Christianity and a geographical focus on “the West.” Next, I propose the concept of interinstitutional logic prevalence and show that the religious logic in particular may act as a metalogic due to its potential for uniqueness, ultimacy, and ubiquity. Through illustrations from Islamic Finance and Entrepreneurship, I exemplify implications of logic plurality and prevalence for organizations and societies. (shrink)

In this paper I will evaluate Ali’s dissolution of the gamer’s dilemma. To this end the dilemma will be summarized and Ali’s dissolution formulated. I conclude that Ali has not dissolved the dilemma (at least not fully).

Recently there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching information security. This intelligent tutoring systems target the students enrolled in Advanced Topics in Information Security in the faculty of Engineering and Information Technology at Al-Azhar University in Gaza. Through which the student will be able to study the course and solve related problems. An evaluation of the intelligent tutoring systems (...) was carried out and the results were promising. (shrink)

In recent years, there has been a noticeable increase in organizational trends to hire irregular workers. This inclination, in a time of great flux and uncertainty, exacerbates human resource issues faced by firms. We argue that corporate social responsibility can be an important antecedent to improve the workplace attitudes of irregular workers and as a result reduce the negative impact on organizations of the increased use of an irregular workforce. Hence, we explore the relationship between perceived CSR and unfairness perception (...) and social relations of subcontracted workers with regular workers. We further attempt to explain these relationships through the mediating effects of psychological contract violation and organizational identity, respectively. Our analysis supports a negative effect of composite and external CSR on unfairness perception and positive effect on social relations. Additionally, our results support partial mediating roles of psychological contract violation and organizational identity. Theoretical and practical implications of the results are also discussed. (shrink)

In “Compassionate Phenomenal Conservatism” (2007), “Phenomenal Conservatism and the Internalist Intuition” (2006), and Skepticism and the Veil of Perception (2001), Michael Huemer endorses the principle of phenomenal conservatism, according to which appearances or seemings constitute a fundamental source of (defeasible) justification for belief. He claims that those who deny phenomenal conservatism, including classical foundationalists, are in a self-defeating position, for their views cannot be both true and justified; that classical foundationalists have difficulty accommodating false introspective beliefs; and that phenomenal conservatism (...) is most faithful to the central internalist intuition. I argue that Huemer’s self-defeat argument fails, that classical foundationalism is able to accommodate fallible introspective beliefs, and that classical foundationalism captures a relatively clear internalist intuition. I also show that the motivation for phenomenal conservatism is less than clear. (shrink)

: The European Court of Human Rights, established in 1959 as the unit of the Council of Europe, is the judicial authority that resolves individual, legal personality and international problems within the scope of fundamental rights defined in the 'European Convention on Human Rights' and other protocols. Historically, the European Court of Human Rights has taken various decisions that are considered within the scope of freedom of thought, conscience and religion. The Court defines in its decision, and in particular, what (...) it can be judged within the context of the religious symbol, from a secular point of view. The court recognized the right to freedom of belief and religion, on the other hand, described this right as a declaration of belief in public. The study was designed with a 'conceptual screening model' approaching religious symbols on the basis of freedom of religion and belief. Although this study seems to be in essence a literature review, conceptual screening differs from the literature review method in that it examines the different aspects of a concept within the scope of different science and disciplines. The purpose of this study is to determine the attitude of the European Court of Human Rights to the religious symbols of schools. As a consequence of this work, the nature and scope of local and forbidden legal initiatives against the growing religious symbolism in European schools over the last years have been determined. However, the place of religion in European educational systems and the "church-state relationship" within the social system is another consequence of this study. This study also specifies that the decisions of the courts should be shaped to express religious beliefs and traditions freely in the public sphere. (shrink)

The title of this book is derived from a graduate course in which Professor Egon Orowan presented to M.I.T. students a clear and simple picture of the basic concepts in crystal plasticity and the mechanics of fracture of materials. Since the publication of his pioneering papers on dislocations and atomic mechanisms of fracture in the early 1930's,Professor Orowan has been one of the principal contributors to the field of physics of plasticity and strength. During the past 10 to 15 years, (...) the perfection of many direct experimental methods has caused a great increase of activity in the elucidation of the effects of dislocations on mechanical and physical properties. Equally intensive activity is taking place in the field of physics and mechanics of fracture processes. Professor Ali Argon felt that the retirement of Professor Orowan from the M.I.T. faculty was an appropriate occasion to take stock of the developments in the immediate past and to produce a needed synthesis of this technologically important field. For this purpose he invited 37 of the world's leading figures in the field to contribute theoretical papers of original work. The 17 papers on the Physics of Plasticity fall into two categories: Individual Dislocations and Basic Deformation Mechanisms, and Hardening Mechanisms and Dislocation Dynamics. The 10 papers on the Physics of Strength concentrate on Cracks and Fracture, and Geology. (shrink)

Most models of corporate social responsibility revolve around the controversy as to whether business is a single dimensional entity of profit maximization or a multi-dimensional entity serving greater societal interests. Furthermore, the models are mostly descriptive in nature and are based on the experiences of western countries. There has been little attempt to develop a model that accounts for corporate social responsibility in diverse environments with differing socio-cultural and market settings. In this paper an attempt has been made to fill (...) this gap by developing a two-dimensional model of corporate social responsibility and empirically testing its validity in the context of two dissimilar cultures – Australia and Bangladesh. The two dimensions are the span of corporate responsibility and the range of outcomes of social commitments of businesses. The test results confirm the validity of the two-dimensional model in the two environments. The Factor analysis revealed two leading dimensions. Cluster analysis pointed to two distinctive clusters of managers in both Australia and Bangladesh, one consisting of managers with a broad contemporary concept of social responsibility, and the other with a limited narrow view. The paper concludes that corporate social responsibility is two-dimensional and universal in nature and that differing cultural and market settings in which managers operate may have little impact on the ethical perceptions of corporate managers. (shrink)

Research about the role of religion in entrepreneurship and more broadly management is sparse. In this conceptual article, we complement existing entrepreneurship theory by examining entrepreneurship from an Islamic perspective. EIP is based on three interconnected pillars: the entrepreneurial, socio-economic/ethical, and religio-spiritual. We outline how Islam shapes entrepreneurship at the micro-, meso-, and macro-level, indicate how Islam may be considered an entrepreneurial religion in the sense that it enables and encourages entrepreneurial activity, review research streams interlinking Islam with entrepreneurship and (...) management and outline promising research approaches. (shrink)

The purpose of this study is to examine the impact of two comparative leadership styles on organizational performance outcomes. The leadership styles undertaken is transformational and servant leadership. A sample of 155 participants is taken from profit-oriented service sector of Pakistan. Data through survey gathered on a five point likert scale from organizations. AMOS and SPSS are used for statistical analysis. The result shows that, transformational leadership has more impact on organizational learning than servant leadership. Furthermore organizational learning enhances organizational (...) performance. Managers and leaders of corporate sector can get benefited from this study. Their main objective is to maximize the profitability of organization thus, they can choose leadership style which polishes their abilities and helps them to achieve profit maximization. (shrink)

The “problem of memory” in epistemology is concerned with whether and how we could have knowledge, or at least justification, for trusting our apparent memories. I defend an inductive solution—more precisely, an abductive solution—to the problem. A natural worry is that any such solution would be circular, for it would have to depend on memory. I argue that belief in the reliability of memory can be justified from the armchair, without relying on memory. The justification is, roughly, that my having (...) the sort of experience that my apparent memory should lead me to expect is best explained by the hypothesis that my memories are reliable. My solution is inspired by Harrod’s (1942) inductive solution. Coburn (1960) argued that Harrod’s solution contains a fatal flaw. I show that my solution is not vulnerable to Coburn’s objection, and respond to a number of other, recent and likely objections. (shrink)

This article explores the contradictory nature of the ghost in Hamlet and shows how Shakespeare seeks to manipulate the reader’s response in Hamlet by using contradictions and ambiguities. The article also explores the ways in which the reader responds to these contradictions and reconstructs a palpable world in the impalpable world of the text. These contradictions compel the reader to participate in the composition of the text and make him keep changing his own approach to the work with the result (...) that the more he reads the play, the deeper he finds himself entrenched in contradictions. As he fails to grasp the logic of events, the reader relates his own world to the text instead of relating the events of the text to his world and recreates his own world. Therefore, he can easily detach himself from the text and let his imagination run loose as the play proves too vague for him to comprehend. In reading Hamlet, the imagination runs wild and travels far beyond the text to an extent where the reader perceives things, which stand not within but utterly outside the text. Eventually, the reality achieved by the reader in the course of reading the play is only the reality which dwells in the innermost recesses of his mind. (shrink)

This article examines the influence of the Persian mystic poet Hafi z on western poets. Interest in Hafiz started in England in the eighteenth century with the translations of Sir William Jones. In the nineteenth century, the German translation of Baron von HammerPurgstall inspired Goethe to create his masterpiece Westöstliche Divan (West-Eastern Divan). The poetry of Hafiz evoked such passion in Goethe that he referred to him as ‘Saint Hafiz’ and ‘Celestial Friend’. Inspired by Westöstliche Divan, a number of German (...) poets including Rückert and Platen composed volumes of poetry on the model of ghazal, the popular poetic form perfected by Hafi z in Persian literature. Prominent among the German thinkers influenced and fascinated by Hafiz was Friedrich Nietzsche who repeatedly mentioned him in his works. The influence of Hafiz stretched to America in 1838 when Ralph Waldo Emerson read Goethe’s West-Eastern Divan. In Hafiz, Emerson found a man who derived pleasure in the very elements which others found mean. Under the influence of Hafiz’s Saki-nameh or the Book of Wine, he created his finest poem Bacchus which, according to Harold Bloom, set the terms for the dialectic of American poetry. (shrink)

BackgroundProfessional ethics refers to the use of logical and consistent communication, knowledge, clinical skills, emotions and values in nursing practice. This study aimed to explore and describe factors that affect professional ethics in nursing practice in Iran.MethodsThis qualitative study was conducted using conventional content analysis approach. Thirty nurses with at least 5 years of experience participated in the study; they were selected using purposive sampling. Data were collected through semi-structured interviews and analyzed using thematic analysis.ResultsAfter encoding and classifying the data, (...) five major categories were identified: individual character and responsibility, communication challenges, organizational preconditions, support systems, educational and cultural development.ConclusionsAwareness of professional ethics and its contributing factors could help nurses and healthcare professionals provide better services for patients. At the same time, such understanding would be valuable for educational administrators for effective planning and management. (shrink)

It is commonly thought that we depend fundamentally on the “evidence of the senses” for our empicial beliefs, including and most directly, our beliefs about our local environment, the spatial world around us. The ultimate evidence we have for our perceptual beliefs is provided in some way by perception or perceptual experience. But what is this evidence? There seem to be three main options: external factualism allows that the evidence include facts about the external world; internal factualism takes facts that (...) involve only the internal, mental world—like facts about one’s perceptual experiences or appearances—to count as one’s perceptual evidence; and non-factualism takes propositions, including false ones, to count as evidence—for example, propositional contents of appearances or seemings. We shall see that all these options face significant challenges. Some might conclude that perceptual beliefs can be justified without depending on evidence. Others might choose to accept skepticism: our perceptual beliefs are not justified. I shall end, however, by tentatively suggesting that there is a sort of internal fact that is a plausible candidate for perceptual evidence that has been overlooked. (shrink)

The characteristic features of ensemble dance improvisation (EDI) make it an interesting case for theories of intentional collective action. These features include the high degree of freedom enjoyed by each individual, and the lack of fixed hierarchical roles, rigid decision procedures, or detailed plans. In this article, we present a “reductive” approach to collective action, apply it to EDI, and show how the theory enriches our perspective on this practice. We show, with the help of our theory of collective action, (...) that EDI (as typically practiced) constitutes a significant collective achievement, one that manifests an impressive, spontaneous, jointly cooperative and individually highly autonomous activity that meets demanding aesthetic standards. Its being good in this way is not a mere extrinsic feature of the artwork, but part of its aesthetic value. We end by discussing how this value is easily missed by classic aesthetics, but is revealed by more contemporary frameworks like social aesthetics. (shrink)

I defend external world realism. I assume that the principle of inference to the best explanation is justified: roughly, a hypothesis that provides a better explanation of the total evidence is more probable than one that does not. I argue that the existence of a world of spatial objects provides a systematic explanation of the spatial contents of visual experience, and that it provides a better explanation than traditional skeptical hypotheses. This paper thus pursues the explanationist strategy of Laurence BonJour (...) and Jonathan Vogel. It is an improved, more compelling defense, for at least two reasons. First, the attention to spatial properties, and in particular to what I call perspectival projections, makes the explanatory power of the realist hypothesis much more vivid and concrete. Second, the argument preserves and elucidates much that seems correct in the explanationist arguments others have offered while avoiding significant problems and shortcomings. (shrink)

This article critically studies coronavirus pandemic news in the press. The article attempts to study the way the news of COVID-19 is used for political and ideological purposes. In order to achieve the aim, two newspapers namely, The New York Times from the United States of America and Global Times from China are selected. Van Dijk’s news schemata framework is used for the analysis of the reports selected from the two newspapers. Van Dijk’s news schemata is crucial for the analysis (...) of any news story whether such a news story is taken from a news channel or a newspaper and whether broadcasted or printed. Based on data analysis, the article found out that the news of COVID-19 has been politicized and used for ideological interests. The article recommends that pandemics should not be politicized, instead we should work together to save our lives and live peacefully. (shrink)

November 9, 2009 will mark 20 years since the fall of the Berlin Wall, the monumental event that signaled the beginning of the end of Communism in the former Soviet Union. Yet, why was this collapse of Communism considered final, but the many failures of capitalism are considered temporary and episodic? In _The Idea of Communism_, Tariq Ali addresses this very question. The idea of Communism, argues Ali, was simple and noble. _The Communist Manifesto_, which advocated the creation of a (...) society based on the principle of “from each according to his ability, to each according to his need” rather than a system based on greed and profit, appealed to millions all over the globe. However, Ali argues that the vision of society adumbrated by the founders of Communism was a far cry from what became known as actually existing socialism in the Soviet Union and China. The Communist system that developed ignored Engels’s belief that a workers’ movement and its victory were inconceivable without freedom of the press and assembly. This freedom, Engels insisted, “is the air it needs to breathe. Here, in a thought-provoking re-evaluation, Ali argues that a new form of socialism and global planning is vital to save the planet from capitalist and environmental degradation. (shrink)

Baruch Spinoza is considered one of the great rationalist thinkers of the seventeenth century. His magnum opus, _Ethics_, in which he criticized the dualism of Descartes, solidified his reputation and greatly influenced the Enlightenment thinkers who would build from his work. Born in Amsterdam into a family of Sephardic Jews who had to take refuge there after they were expelled from Portugal, the precocious young scholar imbibed skepticism at an early age. By the time he was twenty-four, he had challenged (...) what he called the “fairy tales” of the Old Testament and was excommunicated by the Synagogue. In this biographical play, Tariq Ali contextualizes Spinoza’s philosophy by linking it to the turbulent politics of the period, in which Spinoza was deeply involved. Ali originally wrote _The Trials of Spinoza_ as part of a series on philosophy for British Channel Four television, and this publication also includes a DVD of that original television production. This work will be welcomed as a testament to the continuing interest in and relevance of Spinoza’s work and as an example of Ali’s eloquent and always politically engaged writing. (shrink)

According to foundationalism, some beliefs are justified but do not depend for their justification on any other beliefs. According to access internalism, a subject is justified in believing some proposition only if that subject is aware of or has access to some reason to think that the proposition is true or probable. In this paper I discusses a fundamental challenge to internalist foundationalism often referred to as the Sellarsian dilemma. I consider three attempts to respond to the dilemma – phenomenal (...) conservatism, BonJour’s classical foundationalism, and Fumerton’s classical foundationalism. I argue that, of these three, only the last seems to avoid getting impaled on one or the other horn of the dilemma. I end by responding to some concerns with Fumerton’s account. (shrink)

Laurence BonJour and more recently James Beebe have argued that the best way to defend the claim that abduction or inference to the best explanation is epistemically justified is the rationalist view that it is justified a priori. However, rationalism about abduction faces a number of challenges. This chapter focuses on one particular, highly influential objection, that there is no interpretation of probability available which is compatible with rationalism about abduction. The rationalist who wants to maintain a strong connection between (...) epistemic justification and probability would do best to rely on a Keynesian interpretation of probability. However, the latter is vulnerable to Ramsey’s famous criticism that we do not seem to perceive or be aware of such probabilities. The chapter argues that Ramsey’s criticism is unsuccessful, and that there are good reasons to be optimistic about our ability to have access to probabilities relevant to abductive inference. (shrink)

In Justification without Awareness (2006), Michael Bergmann presents a dilemma for internalism from which he claims there is “no escape”: The awareness allegedly required for justification is either strong awareness, which involves conceiving of some justification-contributor as relevant to the truth of a belief, or weak awareness, which does not. Bergmann argues that the former leads to an infinite regress of justifiers, while the latter conflicts with the “clearest and most compelling” motivation for endorsing internalism, namely, that for a belief (...) to be justified its truth must not be an accident from the subject’s perspective. Bergmann’s dilemma might initially seem to have the force of a knock-down argument against the classical foundationalist accounts he considers, if not against all forms of internalism. I argue, however, that the weak-awareness horn of Bergmann’s dilemma is unsuccessful. Classical foundationalists can hold on to the main motivation for internalism and avoid a vicious regress of justifiers. (shrink)

Relative blindsight is said to occur when different levels of subjective awareness are obtained at equality of objective performance. Using metacontrast masking, Lau and Passingham reported relative blindsight in normal observers at the shorter of two stimulus-onset asynchronies between target and mask. Experiment 1 replicated the critical asymmetry in subjective awareness at equality of objective performance. We argue that this asymmetry cannot be regarded as evidence for relative blindsight because the observers’ responses were based on different attributes of the stimuli (...) at the two SOAs. With an invariant criterion content , there was no asymmetry in subjective awareness across the two SOAs even though objective performance was the same. Experiment 3 examined the effect of criterion level on estimates of relative blindsight. Collectively, the present results question whether metacontrast masking is a suitable paradigm for establishing relative blindsight. Implications for theories of consciousness are discussed. (shrink)

As research in the areas of unethical and ethical leadership grows, we note the need for more consideration of the normative assumptions in the development of constructs. Here, we focus on a subset of this literature, the “dark side” of supervisory behavior. We assert that, in the absence of a normative grounding, scholars have implicitly adopted different intuitive ethical criteria, which has contributed to confusion regarding unethical and ethical supervisory behaviors as well as the proliferation of overlapping terms and fragmentation (...) of research. Accordingly, we offer a definition of unethical supervision grounded in the normative theories and develop a framework of unethical supervision by analyzing the constructs associated with unethical supervision from a normative perspective. Our analysis suggests a heavy emphasis on violations of the right to dignity. We also note that utilitarianism and certain forms of rights as well as justice have been largely overlooked in the unethical supervision literature. We conclude by considering the implications of our conceptualization for theory on the antecedents and consequences of unethical supervision and by explaining how our approach extends to the larger literature on unethical and ethical leadership. (shrink)

Research objectives Moral distress is a common phenomenon among nurses and can negatively affect their mental health and quality of the care. This study aimed to determine the effect of professional ethics workshop with virtual follow-up on the moral distress of nurses. Methods This experimental study was performed on 50 nurses in Ghaem Hospital, Mashhad, Iran. The intervention group received 8-hour professional ethics workshop and 4 weeks follow-up through social network. The moral distress was evaluated through the Moral Distress Scale-Revised (...) at the beginning of the study, two weeks after the workshop and at the end of follow-up. Data were analyzed using SPSS21 by descriptive and statistical analysis.This study approved by Mashhad university Medical Ethics Committee and publishing ethics were also observed. Results The changes in the mean value of the frequency of moral distress in the intervention group was not significant, while these changes were significant in the control group and had an upward trend. About intensity changes in the intervention group were significant and had a downward trend, while it was not significant in the control group. Changes in the mean value of level of moral distress in the intervention group were not significant, while these changes were significant in the control group. The mean value of moral distress level decreased in the intervention and increased in control group. Conclusion The level of moral distress was increased in the control group due to increase in its frequency. This could be due to awareness of nurses regarding the concept of moral distress which caused them to pay more attention to this issue. Professional ethics workshop did not have effect on the frequency of moral distress, while it reduced the intensity and level of moral distress. Moreover, follow-up through social network reduced the frequency, intensity and the level of moral distress among nurses. (shrink)

ABSTRACTOn 4 September 2015 asylum seekers who got stranded in Budapest’s Keleti train station began a march to cross the Austrian border. Their aim was to reach Germany and Sweden where they believed their asylum claims would be better received. In this article, I argue that the march should be characterized as an act of civil disobedience. This claim may seem to contradict common convictions regarding acts of civil disobedience as well as asylum seekers. The most common justifications are given (...) with reference to moral rights of citizens and concerns for enhancing justice or democracy within states. Asylum seekers are not members of the European public. How can they be entitled to break the law? I first show that the march displays features of a paradigm case of civil disobedience. Then, I identify moral reasons for asylum seekers to carry out the march acceptable from both strong and weak cosmopolitan perspectives. After that, I point out its corrective, stabilizing and democracy-enhancing roles in the European political landscape. I conclude by emphasizing that conceptualizing the march as an act of civil disobedience is significant in recognizing asylum seekers as political agents making claims within an evolving framework of refugee protection. (shrink)

By a well-known result of Kotlarski et al., first-order Peano arithmetic \ can be conservatively extended to the theory \ of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to \ while maintaining conservativity over \. Our main result shows that conservativity fails even (...) for the extension of \ obtained by the seemingly weak axiom of disjunctive correctness \ that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, \ implies \\). Our main result states that the theory \ coincides with the theory \ obtained by adding \-induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski and Cieśliński. For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof. (shrink)

Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...) π of an arithmetical sentence ϕ, f(π) is a PA-proof of ϕ. (shrink)