In order to build high-quality concrete, it is imperative to know the raw materials in advance. It is possible to accurately predict the quality of concrete and the amount of raw materials used using machine learning-enhanced methods. An automated process based on machine learning strategies is proposed in this paper for predicting the compressive strength of concrete. Fusion-learning-based optimization is used in the proposed approach to generate a strong learner by pooling support vector regression models. The SVR technique proposes an (...) optimization method for finding the kernel radial basis function parameters based on improving the innovative gunner algorithm. As a result of AIG's diverse solutions, local optima are effectively avoided. Therefore, the novelty of our research is that, in solving the uncertainty of predicted outputs based on integrated models, we use fusion-learning-based optimization to improve regression discrimination. We also collected a standard dataset to analyze the proposed algorithm, and subsequently, the dataset was designed from concrete laboratory tests on 244 samples, seven features, and three outputs. Different regression intensities are determined by correlation analysis of responses. Regression fusion is sufficiently accurate to estimate the number of desired outcomes examined based on the appropriate input data sample. The best quality concrete can be achieved with an error rate of less than 5%. (shrink)

After introducing Millianism and touching on two problems raised by genuinely empty names for Millianism (section I), I provide a brief exposition of the Gappy Proposition View (GPV) and of how different versions of this view can reply to the problems in question (section II). In the following sections I develop my reasons against the GPV. First, I will try to argue that apparently promising arguments for the claim that gappy propositions are propositions are not successful (section III). Then, I (...) will develop two arguments against GPs via demonstrating two odd consequences of the GPV: (a) that there can be an atomic proposition which contains other propositions that are not the semantic contents of any part of the .. (shrink)

Number facts are commonly assumed to be verbally stored in an associative multiplication fact retrieval network. Prominent evidence for this assumption comes from so-called operand-related errors (e.g. 4 × 6 = 28). However, little is known about the development of this network in children and its relation to verbal and non-verbal memories. In a longitudinal design, we explored elementary school children from grades 3 and 4 in a multiplication verification task with the operand-related and -unrelated distractors. We examined the contribution (...) of multiplicative fact retrieval by verbal and visuo-spatial short-term and working memory. Children in grade 4 showed smaller reaction times in all conditions. However, there was no significant difference in errors between grades. Contribution of verbal and visuo-spatial working memory also changed with grade. Multiplication correlated with verbal working memory and performance in grade 3 but with visuo-spatial working memory and performance in grade 4. We suggest that the relation to verbal working memory in grade 3 indicates primary linguistic learning of and access to multiplication in grade 3 which is probably based on verbal repetition of the multiplication table heavily practiced in grades 2 and 3. However, the relation to visuo-spatial semantic working memory in grade 4 suggests that there is a shift from verbal to visual and semantic learning in grade 4. This shifting may be induced because later in elementary school, multiplication problems are rather carried out via more written, i.e., visual tasks, which also involve executive functions. More generally, the current data indicates that mathematical development is not generally characterized by a steady progress in performance; rather verbal and non-verbal memory contributions of performance shift over time, probably due to different learning contents. (shrink)

Moral contextualism about “ought”-sentences is a semantic thesis that takes the content of moral “ought” to be a function of contextually relevant parameters. I aim to provide a theory of OUGHT-judgments at the level of thought that supplements the contextualist understanding of moral “ought”-sentences. To this aim, I suggest understanding the concept of ought as an indexical concept for which a phenomenological profile plays an extension-fixing role. Then, I will argue how my suggested view can provide a theory of OUGHT-judgments (...) that is in harmony with moral contextualism. (shrink)

Neo-Russellianism, which incorporates both Millianism (with regard to proper names) and the thesis of singular Russellian propositions, has widely been defended after the publication of Kripke's Naming and Necessity. The view, however, encounters various problems regarding empty names, names that do not have semantic referents. Nathan Salmon and Scott Soames have defended neo-Russellianism against such problems in a novel way; to account for various intuitions of competent and rational speakers regarding utterances of sentences containing empty names, Salmon and Soames appeal (...) neither to entities similar to Fregean senses, e.g. propositional guises or modes of presentation, nor to Gricean implicatures. In this paper, however, I argue that their view slips into neo-Meinongianism; it is committed to nonexistent objects, assigns various properties to them, and allows quantifiers range over such entities. This, I conclude, makes Salmon and Soames' view less appealing, if not implausible. (shrink)

Concept originalism, recently introduced and defended by Sainsbury and Tye, Tye, and Sainsbury, holds that “atomic concepts are to be individuated by their historical origins, as opposed to their semantic or epistemic properties”. The view is immune to Gareth Evans’s “Madagascar” objection to the Causal Theory of Reference since it allows a concept to change its reference over time without losing its identity. The possibility of reference-shift, however, raises the problem of misleading belief reports. S&T try to tackle the problem (...) by strengthening the sufficient condition for a truthful belief report. We will argue that, first, their solution fails, second, and more importantly, their diagnosis of the root of the problem is misguided, third, two initially appealing ways out of the problem fail, and fourth, the prospect of finding a solution to the problem within CO is dim. The view opens the Pandora’s box of reference-shift, in a wide range of cases, without providing the necessary semantic means to take care of them. (shrink)

The administration of pro re nata medications is the responsibility of the nurse. However, ethical uncertainties often happen due to the inability of incapacitated patients to collaborate with the nurse in the process of decision making for pro re nata medication administration. There is a lack of integrative knowledge and insufficient understanding regarding ethical considerations surrounding the administration of pro re nata medications to incapacitated patients. Therefore, they have been discussed in this paper and practical strategies to avoid unethical practices (...) have been suggested. The complicated caring situation surrounding the administration of pro re nata medications is intertwined with ethical issues affecting the consideration of the patient's wishes and interventions that override them. The patient's right of autonomy and treatment refusal, surrogacy role, paternalism, and coercion are the main ethos of ethical pro re nata medication administration. Education and training can help nurses avoid legal and ethical issues in pro re nata medicines management and improve the quality and safety of healthcare. Empirical research is needed to improve our understanding of this phenomenon in the multidisciplinary environment of medicines management. (shrink)

According to Millianism, the semantic content of a proper name is its semantic referent. Many names, however, lack semantic referent; hence, so-called ‘empty’ names. Empty names raise various problems for Millianism. T.C. Ryckman, Fred Adams, Garry Fuller, Robert Stecker, Kenneth Taylor, and Nicole Wyatt, among others, have defended Millianism against these problems by appeal to pragmatics . I introduce Millianism and the problems raised by empty names for the view, then examine Pragmatic Millianism , its strength, its varieties, and why (...) the previous arguments against PM do not succeed. I then provide my argument against PM: the view oversimplifies the complex phenomenon of association between names and descriptions. I discuss an objection to my argument and rebut that. Finally, I try to draw an outline of a positive view. (shrink)

This paper takes the form of a ‘performative’ dialogue, a recounting of scenes, which alternate, in the mode of a cinematic montage, with academic analysis of the interfaces between boxing, art, and space. In his book Body and Soul: Notebooks on an Apprentice Boxer, sociologist Loïc Wacquant mixes three genres: analytic sociology, depictive ethnography, and short story. He argues that he used this unorthodox methodology ‘to make the reader simultaneously feel and understand how boxers are “gripped” by their craft and (...) viscerally tied to it’. Similarly, in this paper, the overlapping voices of its two authors engage in both performative, creative and intellectual ways with the critiques and social rituals surrounding boxing, ultimately finding that an understanding of boxing as an epistemological encounter gives rise to interesting ways to think through the relationships between art and urban space itself. The paper ranges widely over each author’s personal experience of boxing, analyses of specific artworks both ancient and modern, and an analysis of the psychogeography of urban space, and in particular, Johannesburg. The form of the paper, as it incorporates narrative experience and analytic mode, can be seen as a text that re-enacts the ‘performance’ of boxing and art-making in which the traditional opposition between the two is integrated, if not suspended. (shrink)

_ Source: _Page Count 31 How hard is it to answer an ontological question? Ontological trivialism,, inspired by Carnap’s internal-external distinction among “questions of existence”, replies “very easy.” According to, almost every ontologically disputed entity _trivially_ exists. has been defended by many, including Schiffer and Schaffer. In this paper, I will take issue with. After introducing the view in the context of Carnap-Quine dispute and presenting two arguments for it, I will discuss Hofweber’s argument against and explain why it fails. (...) Next, I will introduce a modified version of ontological trivialism, i.e. negative ontological trivialism,, defended by Hofweber, according to which some ontologically disputed entities, e.g. properties, trivially do _not_ exist. I will show that fails too. Then I will outline a Meinongian answer to the original question, namely, ‘How hard is it to answer an ontological question?’ The Carnapian intuition of the triviality of internal questions can be saved by the Meinongian proposal that quantification and reference are not ontologically committing and the Quinean intuition of the legitimacy of interesting ontological questions can be respected by the Meinongian distinction between being and so-being. (shrink)

In Western literatures, "conflict" is a general term that refers to discord between two or more entities. In Islamic jurisprudence, however, in addition to the term "conflict", there is another term which is called tazāhum. The two terms, however, have different definitions. Conflict between two concepts, for instance, indicates that one is right and the other is wrong, while tazāhum does not necessarily have to be between right and wrong, and may appear between two equally right concepts. Moreover, conflict exists (...) on a legislative level, while tazāhum is a matter of obedience and adherence, meaning that in practice, both sides cannot continue to coexist. Conflict of interest is a known term in Western literatures, and according to D.F. Thompson, it refers to a situation where professional judgment regarding a primary interest is improperly and unjustifiably influenced by a secondary interest. Taking into account Thompson's definition and the distinction between "conflict" and "tazāhum", the English term "conflict of interest" translates to "tazāhum of interest" in Islamic jurisprudence as it refers to a person's action without reflecting right or wrong, and simply concerns priority of one interest over another. The resolution to tazāhum in Islamic jurisprudence lies in two principles: the principle of significance and the principle of choice. For instance, in case of conflict or tazāhum between the interests of patient and physician, the patient's interest should be the main concern based on the principle of significance. Although Western literatures propose methods such as disclosure or prohibition in order to resolve conflict of interest, the foundation for these solutions seems to have been the principle of significance. (shrink)

We introduce two Gentzen-style sequent calculus axiomatizations for conservative extensions of basic propositional logic. Our first axiomatization is an ipmrovement of, in the sense that it has a kind of the subformula property and is a slight modification of. In this system the cut rule is eliminated. The second axiomatization is a classical conservative extension of basic propositional logic. Using these axiomatizations, we prove interpolation theorems for basic propositional logic.

We argue that the debate about the normativity of belief thesis has been hampered by the slogan, ‘belief aims at truth’. We show that the slogan provides no content to the normativity of belief. The slogan encourages formulations of the norm as a prescriptive norm. There are well-known problems with such formulations. We provide a new formulation of the thesis as a prohibitive norm. This captures the key intuition most normativists about belief want to endorse.

I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.

We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied.

Thus far, recent protests in the Arab world have led to different political outcomes including regime change, civil war, and suppression by regime. The present paper explores the reasons behind these different outcomes. The research methodology is a comparative case study approach, and five countries of Tunisia, Egypt, Bahrain, Libya, and Syria are examined. The hypothesis is that the different political outcomes of the protests are due to a combination of factors, including the level of mobilization of anti-regime movements, the (...) responses of national militaries, and finally the reaction of international powers. Different configurations of these components in the crisis-stricken countries have led to different political outcomes. (shrink)

The issue of existence - quiddity difference is one of the important issues that were put forward for the first time in Islamic philosophy without having any background in Greek philosophy. Aristotle's metaphysics which is the main source of the first philosophy contains only synonymous and verbal meaning ofexistence. The issue of existence - quiddity difference has no room in Aristotle's works. This issue was proposed first by Farabi and then was completed by Ibn sina. In Islamic philosophy when it (...) is proved that existence in the mind is neither identical with quiddity nor a part of it but differs with it and is excess of it, that is, when it is proved that existence occurs on quiddity, this question arises that how is their relation in the outside? Whether existence occurs on quiddity or existence and quiddity are identical in the external world? To this question the Islamic philosophers answer that existence and quiddity are identical in the outside and it isimpossible that they differ from each other in the external world. The importance of this issue is that it finally led to the origination of the doctrine of the principality of existence which is known as the culmination of Islamic philosophy. The main goal of this article is study this issue and its impact upon the origination of the doctrine of the principiality of existence. (shrink)

According to many philosophers, the notion of belief is constitutively normative ; Shah ; Shah and Velleman (); Gibbard (); Wedgwood ). In a series of widely discussed papers, Terence Horgan and Mark Timmons have developed an ingenious ‘Moral Twin Earth’ argument against ‘Cornell Realist’ metaethical views which hold that moral terms have synthetic natural definitions in the manner of natural kind terms. In this paper we shall suggest that an adaptation of the Moral Twin Earth argument to the doxastic (...) case – Doxastic Twin Earth – provides new evidence for the normativity of belief. (shrink)

In social systems or spaces, distance between the centre and the periphery breeds epistemic injustice. There are growing accounts of epistemic injustice in health-related fields, as in the article by Pratt and de Vries.1 The title of the article asks: ‘Where is knowledge from the global South?’ Like me, you may answer by saying: ‘Knowledge from the global South is in the global South’. That answer says a lot about how we right epistemic injustice done to actors in the global (...) South or the periphery, including in health ethics. Pratt and de Vries identified four sets of actors (individuals, institutions, journals and funders) responsible for righting epistemic injustice. For three of the four sets of actors, they recognised the need for—or the possibility of—symmetry between global North and global South. Except journals. They did not seriously consider that journals are either present in or could belong to the global South; to the periphery. Platforms for knowledge exchange, circulation, cultivation and curation—such as journals, conferences, publishers, blogs, archives, seminars, books and the media, social or traditional—are neither physically nor epistemically neutral. They are situated. The BBC cannot do for Nigeria or Australia what it does for Britain; neither can the BMJ. Many of us take our position at the centre or periphery as neutral, natural, necessary or permanent. But the African American writer Toni Morrison proved the opposite with her career: ‘I stood at the border, stood at the edge and claimed it as central. l claimed it as central, and let the rest of the world move over to where I was.’2 Although physically in the USA, Toni Morrison was writing …. (shrink)

We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated.

In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

A generic analysis of research article abstracts can cover issues of different types; among them are linguistic features. An integral part of linguistic features of research article abstracts is interactive metadiscourse usage that can assist to make the text persuasive and unfolding to a discourse community. The main principle behind applying interactive metadiscourse is the view of writing as socially engaging; specifically, it indicates the ways writers project themselves into their arguments to declare their attitudes and commitments to the readers. (...) This study aimed to explore how interactive metadiscourse markers are deployed by research article abstract writers belonging to different disciplinary communities within the soft sciences, while trying to reach the audience by creating a well-organized discourse. Hyland’s interpersonal model of metadiscourse was adopted to analyze 60 research article abstracts written in Applied Linguistics and Economics. Based on the results, there were marked variations found across the two disciplines in terms of interactive metadiscourse markers. (shrink)

The Second Khordad Movement was a democratic social movement in contemporary Iran. Investigation of this movement revealed two images, of flourish and of decline, as the movement was first generally successful until early 2000 and thereafter began to regress from the spring of that year onwards. The purpose of this article is to provide a comprehensive framework in which to examine the reasons behind the movement's failure and regression. To this end, the study utilizes the literature on social movements, especially (...) the political process model, and attempts to explain the initial success and subsequent decline of the movement based on elements such as political opportunity, framing processes, mobilizing structures, and the repertoire of collective action.Export citation Request permission. (shrink)

I focus on an overlooked aspect of the challenge of irrelevant influences. The challenge is often framed in terms of whether recognizing the presence of irrelevant factors in the pedigree of a belief provides a defeater. I argue that the epistemic significance of irrelevant factors goes beyond their status as defeaters. I focus on what I call gray cases, where learning about such factors causes epistemic worry without justifying giving up the belief. I argue that in gray cases, the subject (...) finds a commendatory epistemic practical reason to engage in an activity intended to assuage that epistemic worry. (shrink)

I present a puzzle regarding the norms of disagreement and inquiry. The puzzle mainly concerns a special type of peer disagreement that I call “mild disagreement”, in which the parties to the disagreement believe a proposition but with different degrees of confidence. The puzzle is best formulated as an inconsistent triad: (NJ1) The state of mild disagreement provides the involved parties with no epistemic reason to drop their belief regarding the disputed judgment. (NJ2) The state of mild disagreement provides a (...) practical reason for the involved parties to launch an inquiry into the disputed judgment. (NJ3) If the state of disagreement provides a reason to launch an inquiry into the disputed judgment, the involved parties have a reason to drop their belief regarding the disputed judgment. After discussing some possible responses to the puzzle, I offer my own solution, which involves introducing a new take on how to understand inquiry. This new take on the nature of inquiry can provide us with an alternative to the influential account recently defended by Jane Friedman. (shrink)

« Un désert qui monologue », ainsi se définissait Violette Leduc, cette femme que trop ont refusé d'écouter, cet auteur que trop peu de ses contemporains ont comprise. Vingt-sept ans après son décès, Carlo Jansiti lui rend, avec la biographie qu'il vient de publier, un hommage posthume, sobre mais poignant. Il redonne du relief à une forte personnalité et à une figure attachante, qui scandalisa ses contemporains par sa marginalité et son originalité, et fut souvent mal jugée par eux. L...

The academic literature has viewed drivers of corruption in isolation and, consequently, failed to examine their synergistic effect. Such an isolated view provides incomplete information, leads to a misleading conclusion, and causes great difficulty in curbing corruption. This paper conducts a systematic literature review to identify the drivers of corruption in the construction industry. Subsequently, it develops a system dynamics (SD) model by conceptualizing corruption as a complex system of interacting drivers. Building on stakeholder and open systems theories, the proposed (...) SD model shows how the complex reinforcing relationship between authoritative, organizational, cultural, and financial drivers of corruption further increases corrupt practices. The new model also provides lessons that can be helpful in the development of policy frameworks to control corruption in the construction industry. To achieve success in the fight against corruption, the findings of this research suggest that (1) corruption must be understood at both the organizational and state levels, (2) anticorruption practices must be informed by ethically grounded stakeholder management strategies, and (3) anticorruption reforms must go hand-in-hand with strategies to tackle the economic downturn. (shrink)

Islamism and Post-Islamism analyzes political thought in Iran since 1979. Seyed Javad Miri engages with one of the seminal thinkers in contemporary Iranian politics, Allama Jafari, on key relevant concepts.

According to Burge, it is not possible to commit brute errors in the process of critical reasoning. This thesis lies at the heart of Burge’s influential theory of self-knowledge. By appealing to a version of the slow-switching argument, this paper contends that Burge’s view is not compatible with his commitment to externalism about mental content. In particular, it is argued that accepting externalism opens up the possibility of brute errors in the process of critical reasoning.

In aesthetics/philosophy of art, Fichte did not produce works as great as Kant’s Critique of the Power of Judgment or Hegel’s Lectures on Aesthetics. As a result, it was long believed that he had no role to play in the aesthetics of German idealism. Nevertheless, there are a few works in which we can identify the materials for developing an innovative philosophy of art. In this article, it is argued that Fichte takes two fundamental steps in aesthetics: 1) by transferring (...) the weight of the discussion of aesthetics to the philosophy of artistic creation, he makes, as it were, a Copernican revolution in aesthetics and thus transforms the aesthetics of taste into a philosophy of art based on the creative spirit; 2) he raises the status of aesthetics (in fact, the aesthetic sense) to the level of “a (or the) condition for the possibility of philosophy.”. (shrink)

This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. (...) The third category contains papers on Avicenna’s logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community. (shrink)

Here I shall focus on Suhrawardi’s use and conception of ‘fiṭrī’, translated as ‘innate’ by Hossein Ziai (1990), Hossein Ziai and John Walbridge (Suhrawardi 1999), and Mehdi Aminrazavi (1997, 2003),1 and will try to make some points in passing regarding Cartesian innate ideas in relation to Suhrawardi’s fiṭrīāt. I will try to explain my understanding of Suhrawardi’s i‛tibārāt ‛aqliyya (beings of reason) and their relationship to fiṭrīāt. As a relevant issue, I will touch on Suhrawardi’s distinction between objective and intellectual (...) attributes. Considering Platonic forms as the godparents of Suhrawardi’s ‘innate’ ideas, I will end by justifying this question: Is Suhrawardi a Platonist?Let’s begin with Descartes. .. (shrink)

Background Care is the basis of the nursing profession and nurse’s caring behavior is one of the important factors in patient satisfaction. On the other hand, psychological empowerment can improve the provision of care services, and leaders have a significant impact on the behavior of followers. This study determined the correlation between ethical leadership, psychological empowerment, and caring behavior from nurses’ perspective. Methods This cross-sectional descriptive study was conducted in 2019. A total of 200 nurses were selected by stratified random (...) sampling. Data were collected with ethical leadership, caring behavior and psychological empowerment questionnaires and analyzed with descriptive statistics and inferential statistics using SPSS20. Results The findings showed a significant correlation between ethical leadership, psychological empowerment and caring behavior of nurses. Also, there was a significant correlation between psychological empowerment and nurses’ caring behavior. The regression analysis showed that ethical leadership and psychological empowerment are a predictor of caring behavior of nurses. Conclusion Applying an ethical leadership style by nursing managers can lead to nurses’ improved psychological empowerment and caring behaviors and ultimately, patient care quality. Thus, considering guidelines at the team and organizational levels and programs such as providing workshops and periodic counseling to cultivate ethical nurse leadership can lead to better caring behavior. (shrink)

The path of religious pluralism starts with the fact that our world contains a number of religious faiths having different ideas of the nature of divinity as the main and fundamental principle of religions and therefore, different and various dogmas, rites, and rituals.Despite the claim that the idea of religious pluralism is a product of modern philosophical schools, specifically new epistemological principles, I have attempted to demonstrate that what I have called "pluralistic religion," as a part of a necessary and (...) substantial distinction that has to be drawn between this hypothesis and John Hick's classic theory of "religious pluralism," is strongly rooted in the principle of "ultimate truth and uniqueness of .. (shrink)

The current study aims to explain the fundamentals of religious pluralism in Wittgenstein later philosophy and Gadamer philosophical hermeneutics, specifically regarding culture. It, then, proposes the approach more suitable for the Islamic context. Having fulfilled such an objective, pluralism, concerning religious rituals, becomes accepted and cultural and religious interaction is realized without any relativism conclusion. Wittgenstein’s pluralism results in pure relativism. That is to say, in order to understand the rules of the language game and life style he mentions, one (...) needs to be placed inside. However, it is a dialectical model that Gadamer philosophical hermeneutics leads to. Dialogue gives opportunity to cultural interaction and convergence, developing the religious culture. The latter is of more proximity to Islamic resources such as the Quran, proposing a religious culture transcending cultural, historical, and social limitations. All in all, the two significant features of Gadamer’s which Wittgenstein ignores are first, the interaction of religious pluralism encouraging the development of religious culture and second, reciprocal relation between culture and religion based on hermeneutics circle. (shrink)

How hard is it to answer an ontological question? Ontological trivialism,, inspired by Carnap’s internal-external distinction among “questions of existence”, replies “very easy.” According to, almost every ontologically disputed entity trivially exists. has been defended by many, including Schiffer and Schaffer. In this paper, I will take issue with. After introducing the view in the context of Carnap-Quine dispute and presenting two arguments for it, I will discuss Hofweber’s argument against and explain why it fails. Next, I will introduce a (...) modified version of ontological trivialism, i.e. negative ontological trivialism,, defended by Hofweber, according to which some ontologically disputed entities, e.g. properties, trivially do not exist. I will show that fails too. Then I will outline a Meinongian answer to the original question, namely, ‘How hard is it to answer an ontological question?’ The Carnapian intuition of the triviality of internal questions can be saved by the Meinongian proposal that quantification and reference are not ontologically committing and the Quinean intuition of the legitimacy of interesting ontological questions can be respected by the Meinongian distinction between being and so-being. (shrink)

In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas.