We show that for any ω-r.e. degree d and n-r.e. degree b with d

Mathematical Logic in Philosophy of Mathematics

Direct download (3 more)  

 

Export citation  

 

Bookmark   1 citation  

In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.

We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( $\mathrm {WVP}$ ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular, we show that $\mathrm {WVP}$ for $\Sigma _2$ -definable classes is equivalent to the existence of a strong cardinal. The main theorem (Theorem 5.11) shows, more generally, that $\mathrm {WVP}$ for $\Sigma _n$ -definable classes is equivalent (...) to the existence of a $\Sigma _n$ -strong cardinal (Definition 5.1). Hence, $\mathrm {WVP}$ is equivalent to the existence of a $\Sigma _n$ -strong cardinal for all $n<\omega $. (shrink)

The computability of reals was introduced by Alan Turing [20] by means of decimal representations. But the equivalent notion can also be introduced accordingly if the binary expansion, Dedekind cut or Cauchy sequence representations are considered instead. In other words, the computability of reals is independent of their representations. However, as it is shown by Specker [19] and Ko [9], the primitive recursiveness and polynomial time computability of the reals do depend on the representation. In this paper, we explore how (...) the weak computability of reals depends on the representation. To this end, we introduce three notions of weak computability in a way similar to the Ershov's hierarchy of Δ02-sets of natural numbers based on the binary expansion, Dedekind cut and Cauchy sequence, respectively. This leads to a series of classes of reals with different levels of computability. We investigate systematically questions as on which level these notions are equivalent. We also compare them with other known classes of reals like c. e. and d-c. e. reals. (shrink)

This paper examines the relations between stubbornness and weakness of will, adopting Holton’s definition of weakness of will as an over-readiness to revise one’s resolutions. It posits that both stubbornness and weakness of will are responses to pessimism – the negative perception of a task or its outcome. Contrary to naive judgement, stubbornness is not merely the opposite of weakness; rather, it serves as a preventive behaviour stemming from a fear of weakness of will. Weakness of will and stubbornness can (...) be viewed as two facets of the same phenomenon, both influenced by pessimism. The paper explores the implications of this unified account, particularly at the therapeutic level, suggesting that enhancing self and other trust could reduce both weak and stubborn behaviours. (shrink)

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The (...) main result of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed. (shrink)

The authors of this article contend that traditional corruption, which was largely blamed for the current situation in the Icelandic economy, was perhaps not the most fundamental reason for the ensuing crisis. The weak business culture and a symbiosis of business and politics have actually allowed for the bulk of self-erving and unethical decisions made by the Icelandic business and political elite. In order to illustrate this point, 10 expert interviews have been conducted within the period of 6 months (...) in 2009 to support in-depth research carried out by the authors. The article also discloses questionable business practices that have recently come to the attention of the public both in Iceland and abroad and that ultimately facilitated the downfall of the Icelandic economy. While traditional corruption has probably played its role in this downfall, the measures currently employed to determine its level did not account for various peculiarities of Icelandic society. The article thus argues that there was a high level of corruption in Iceland, but it was outside of the traditional definition. This other corruption has ultimately prevented the government from acting appropriately upon the questionable business practices mentioned above. The article also offers some general recommendations which should be useful to both policy makers and business leaders wishing to engage in business activities in a transparent, ethical manner and learn from the tragic Icelandic experience. Among these recommendations are the necessity to recognize the limitations of current definitions of corruption, as well as a word of caution to commercial enterprises to pay a close attention not only to commonly accepted indices and mainstream reports but also to a country's history, culture, and political environment, prior to making any sort of investment decisions in that country. (shrink)

Recent work has argued that belief is weak: the level of rational credence required for belief is relatively low. That literature has contrasted belief with assertion, arguing that the latter requires an epistemic state much stronger than (weak) belief---perhaps knowledge or even certainty. We argue that this is wrong: assertion is just as weak as belief. We first present a variety of new arguments for this, and then show that the standard arguments for stronger norms are (...) not convincing. Finally, we sketch an alternative picture on which the fundamental norm of assertion is to say what you believe, but both belief and assertion are weak. To help make sense of this, we propose that both belief and assertion involve navigating a tradeoff between accuracy and informativity, and so it can makes sense to believe/say something you only have weak evidence for, if it is informative enough. (shrink)

We investigate the following weak Ramsey property of a cardinal κ: If χ is coloring of nodes of the tree κ <ω by countably many colors, call a tree ${T \subseteq \kappa^{ < \omega}}$ χ-homogeneous if the number of colors on each level of T is finite. Write ${\kappa \rightsquigarrow (\lambda)^{ < \omega}_{\omega}}$ to denote that for any such coloring there is a χ-homogeneous λ-branching tree of height ω. We prove, e.g., that if ${\kappa < \mathfrak{p}}$ or ${\kappa (...) > \mathfrak{d}}$ is regular, then ${{\kappa \rightsquigarrow (\kappa)^{ < \omega}_{\omega}}}$ and that ${\mathfrak{b}}$ ${(\mathfrak{b})^{ < \omega}_{\omega}}$ and ${\mathfrak{d}}$ ${(\mathfrak{d})^{ < \omega}_{\omega}}$ . The arrow is applied to prove a generalization of a theorem of Hurewicz: A Čech-analytic space is σ-locally compact iff it does not contain a closed homeomorphic copy of irrationals. (shrink)

The assumption that environmental ethics must be nonanthropocentric in order to be adequate is mistaken. There are two forms of anthropocentrism, weak and strong, and weak anthropocentrism is adequate to support an environmental ethic. Environmental ethics is, however, distinctive vis-a-vis standard British and American ethical systems because, in order to be adequate, it must be nonindividualistic.Environmental ethics involves decisions on two levels, one kind of which differs from usual decisions affecting individual fairness while the other does not. The (...) latter, called allocational decisions, are not reducible to the former and govern the use of resources across extended time. Weak anthropocentrism provides a basis for criticizing individual, consumptive needs and can provide the basis for adjudicatingbetween these levels, thereby providing an adequate basis for environmental ethics without the questionable ontological commitments made by nonanthropocentrists in attributing intrinsie value to nature. (shrink)

Motivated by the seeming structure of the sciences, metaphysical emergence combines broadly synchronic dependence coupled with some degree of ontological and causal autonomy. Reflecting the diverse, frequently incompatible interpretations of the notions of dependence and autonomy, however, accounts of emergence diverge into a bewildering variety. Here I argue that much of this apparent diversity is superficial. I first argue, by attention to the problem of higher-level causation, that two and only two strategies for addressing this problem accommodate the genuine (...) emergence of special science entities. These strategies in turn suggest two distinct schema for metaphysical emergence---'Weak' and 'Strong' emergence, respectively. Each schema imposes a condition on the powers of entities taken to be emergent: Strong emergence requires that higher-level features have more token powers than their dependence base features, whereas Weak emergence requires that higher-level features have a proper subset of the token powers of their dependence base features. Importantly, the notion of “power” at issue here is metaphysically neutral, primarily reflecting commitment just to the plausible thesis that what causes an entity may bring about are associated with how the entity is---that is, with its features. (shrink)

Our last big theorem – Theorem 6 – tells us that if a theory meets certain conditions, then it must be negation incomplete. And we made some initial arm-waving remarks to the effect that it seems plausible that we should want theories which meet those conditions. Later, we announced that there actually is a consistent weak arithmetic with a first-order logic which meets the conditions (in which case, stronger arithmetics will also meet the conditions); but we didn’t say anything (...) about what such a weak theory really looks like. In fact, we haven’t looked at any detailed theory of arithmetic yet! It is high time, then, that we stop operating at the extreme level of abstraction of Episodes 1 and 2, and start getting our hands dirty. This Episode introduces a couple of weak arithmetics, before we tackle the canonical first-order arithmetic PA in the following instalment. By all means skip fairly lightly over some of the more boring proof details! But it is certainly worth getting just a flavour of how these two simple formal theories work. (shrink)

The transformers that drive chatbots and other AI systems constitute large language models (LLMs). These are currently the focus of a lively discussion in both the scientific literature and the popular media. This discussion ranges from hyperbolic claims that attribute general intelligence and sentience to LLMs, to the skeptical view that these devices are no more than “stochastic parrots”. I present an overview of some of the weak arguments that have been presented against LLMs, and I consider several of (...) the more compelling criticisms of these devices. The former significantly underestimate the capacity of transformers to achieve subtle inductive inferences required for high levels of performance on complex, cognitively significant tasks. In some instances, these arguments misconstrue the nature of deep learning. The latter criticisms identify significant limitations in the way in which transformers learn and represent patterns in data. They also point out important differences between the procedures through which deep neural networks and humans acquire knowledge of natural language. It is necessary to look carefully at both sets of arguments in order to achieve a balanced assessment of the potential and the limitations of LLMs. (shrink)

As we have mentioned in Chap. 3, in [1], PailosPailos, Federico introduces twelve impure metainferential logics defined using two different inferential Tarskian or non-Tarskian (e.g., substructural) logics: K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{K3}$$\end{document}, LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{LP}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{ST }$$\end{document} or TS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{TS }$$\end{document}. The standard for premises and conclusions is different in each case. (...) Five of these logics—i.e., TS/ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {TS/ST }$$\end{document}, TS/LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {TS/LP }$$\end{document}, TS/K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {TS/K3 }$$\end{document}, LP/ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {LP/ST }$$\end{document}, K3/ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K3/ST }$$\end{document}—are Tarskian logics–i.e., they validate Cut, Identity and Weakening. Moreover, they also validate Meta-Identity, Contraction, and Exchange. Nevertheless, they are defined using substructural inferential logics. In fact, TS/ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {TS/ST }$$\end{document} is built entirely with substructural inferential standards. More significantly, TS/ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {TS/ST }$$\end{document} collapses with CL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{CL }$$\end{document} at the metainferential level, proving to be the only one of these twelve logics with this feature. So, one could wonder what happens when at least one of these standards is not defined through the Strong Kleene schema. (shrink)

In this article, I shall examine Jessica Wilson’s schema for weak emergence in connection with two questions: why are only certain proper subsets of the powers borne by lower-level features associated with higher-level, weakly emergent features? Why is a certain proper subset of the powers borne by a given lower-level feature associated with a certain higher-level, weakly emergent feature, and vice versa? I shall consider and criticize four possible answers to these questions, including Wilson’s own (...) view. Finally, I shall suggest my own solution, which is based on something akin to grounding categoricalism. I shall also explore some consequences of accepting my view. (shrink)

The time of Covid is characterised not only by fear, weakness, and uncertainty but also by how different societies and individual persons in the world have faced these challenges, the lessons the people have learnt from past similar issues and lessons for future concerns and possibilities. The pandemic which erupted in Wuhan, China, was controlled by the Chinese people at a similar speed with which it had erupted. Two storied makeshift hospitals, one with 1,000 beds and the other with 1,500 (...) beds were constructed in the record time the world will live to remember. The way the country is organised also helped, but the economic muscle and the technological advancement were vital in stopping the spread of the pandemic. These measures were reassuring (Quod issti et istae, cur non ego?). Thus, elsewhere, particularly in Europe, Asia, the Americas, and North Africa the virus spread like fire, but the quick response from American leadership, WHO, other world leaders and organisations gave hope to humanity. The spread of the virus was found to be through people´s movements, mainly air traffic, thus leading to the border closures and countries´ lockdowns. This phobophobia exacerbates the fear created by closedowns. People who could not travel home were left in fear and helpless in foreign locked down countries. Introduced measures of quarantining people for two weeks created more fear. Curtailing movements affected the people´s comfort zones and means of livelihood, thus creating more uncertainty and fear. At individual level, fear, weakness, and uncertainty are increased by the non-performing institutions. (shrink)

This study examines the role of human rights violations as a harbinger of civil wars to come, as well as the links between repression, state weakness, and conflict. Human rights violations are both part of the escalating process that may end in civil war and can contribute to an escalation of conflict to civil war, particularly in weak states. The role of government repression and state weakness in leading to civil war is tested empirically. The results show that both (...) closely correlate with civil war onset, especially if they are observed in combination. A two-stage model shows that, while low-level conflict leads to human rights violations, they increase the risk of an escalation to civil war in turn. Human rights violations are identified as an important aspect of understanding civil war onset as the result of an escalation over time and a clear early warning sign of wars to come. (shrink)

High level properties such as temperature, hardness or roundness are multiply realized: they are shared by systems with different microphysical makeups. Such properties are multiple realization (MR) emergent in the sense that they provide useful explanations independent of the details of their makeup. But MR emergence is everywhere and fails as a useful definition. It is everywhere because it is the nature of conceptual thought to abstract from detail. Studying multiply realized phenomena tells us much more about the nature (...) of our cognition than it does about the nature of the world. Advocates of MR emergence assert that it prevents reduction. However the opposite is true, reductive physics explains how high level properties can be multiply realized. (shrink)

High-level theory is the view that high-level properties---the property of being a dog, being a tiger, being an apple, being a pair of lips, etc.---can be represented in perceptual experience. Low-level theory denies this and claims that high-level properties are only represented at the level of perceptual judgment and are products of cognitive interpretation of low-level sensory information (color, shape, illumination). This paper discusses previous attempts to establish high-level theory, their weaknesses, and an (...) argument for high-level theory that does not have these weaknesses. (shrink)

There is a lack of research about the political strategies used by firms in emerging countries, mainly because the literature often assumes that Western-oriented corporate political activity has universal application. Drawing on resource-dependency logics, we explore why and how firms orchestrate CPA in the institutionally challenging context of Nigeria. Our findings show that firms deploy four context-fitting but ethically suspect political strategies: affective, financial, pseudo-attribution and kinship strategies. We leverage this understanding to contribute to CPA in emerging countries by arguing (...) that corporate political strategies are shaped by the reciprocity and duality of dependency relationships between firms and politicians, and also by advancing that these strategies reflect institutional weaknesses and unique industry-level opportunities. Importantly, we shed light on the muttered dark side of CPA. We develop a CPA framework and discuss the research, practical and policy implications of our findings. (shrink)

Accounts of theoretical levels range from very weak to very strong. Very weak accounts do not offer articulated level structure or underpin ontological claims. Very strong accounts are at odds with our understanding of reduction in physics. This chapter proposes a mid-strength account of theoretical levels based on accounts of novelty and autonomy in physics. Accounts in the philosophy of physics literature often hold novelty and autonomy to be the hallmarks of weak emergence but focus on (...) autonomy at the expense of novelty. The chapter suggests that an account of novelty based on the importance of variable changes in inter-theoretic relations might underpin an appropriate conception of levels. The result is a local, system-specific, and sparse (but not unrealistically sparse) levels structure that can underpin modest ontological commitments. (shrink)

The idea of a higher level phenomenon having a downward causal influence on a lower level process or entity has taken a variety of forms. In order to discuss the relation between emergence and downward causation, the specific variety of the thesis of downward causation (DC) must be identified. Based on some ontological theses about inter-level relations, types of causation and the possibility of reduction, three versions of DC are distinguished. Of these, the `Strong' form of DC (...) is held to be in conflict with contemporary science; the `Medium' version of DC may for instance describe thoughts constraining neurophysiological states, while the `Weak' form of DC is physically acceptable but may not in practice be a feasible description of the mind/brain or the cell/molecule relation. All forms have their specific problems, but the Medium and the Weak version seems to be most promising. (shrink)

Weak Quantum Theory (WQT) and the Model of Pragmatic Information (MPI) are two psychophysical concepts developed on the basis of quantum physics. The present study contributes to their empirical examination. The issue of the study is whether WQT and MPI can not only explain ‘psi’-phenomena theoretically but also prove to be consistent with the empirical phenomenology of extrasensory perception (ESP). From the main statements of both models, 33 deductions for psychic readings are derived. Psychic readings are defined as settings, (...) in which psychics support or counsel clients by using information not mediated through the five senses. A qualitative approach is chosen to explore how the psychics experience extrasensory perceptions. Eight psychics are interviewed with a half-structured method. The reports are examined regarding deductive and inductive aspects, using a multi-level structured content analysis. The vast majority of deductions is clearly confirmed by the reports. Even though the study has to be seen as an explorative attempt with many aspects to be specified, WQT and MPI prove to be coherent and helpful concepts to explain ESP in psychic readings. (shrink)

Journal of Mathematical Logic, Volume 26, Issue 02, August 2026. The Erdős–Moser ([math]) theorem says that every infinite tournament admits an infinite transitive subtournament. We study the computational behavior of the [math] theorem with respect to the arithmetic hierarchy, and prove that [math] instances of [math] admit low[math] solutions for every [math], and that if a set B is not arithmetical, then every instance of [math] admits a solution relative to which B is still not arithmetical. We also provide a (...) level-wise refinement of this theorem. These results are part of a larger program of computational study of combinatorial theorems in Reverse Mathematics. (shrink)

Understanding community-level selection using Lewontin’s criteria requires both community-level inheritance and community-level heritability, and in the discipline of community and ecosystem genetics, these are often conflated. While there are existing studies that show the possibility of both, these studies impose community-level inheritance as a product of the experimental design. For this reason, these experiments provide only weak support for the existence of community-level selection in nature. By contrast, treating communities as interactors (in line with (...) Hull’s replicator-interactor framework or Dawkins’s idea of the “extended phenotype”) provides a more plausible and empirically supportable model for the role of ecological communities in the evolutionary process. (shrink)

On the one hand, Kant seems to suggest that moral weakness is merely expressed at the level of following maxims. On the other hand, he addresses moral weakness as the first grade of our propensity to evil, which implies that moral weakness is also expressed at the level of adopting maxims. There is still a lack of clarity in the literature concerning how the relationship between these two aspects is to be understood, and a proper account of the (...) nature of the maxims of the morally weak has yet to be offered. Drawing on my earlier interpretation of moral strength, I shall propose a reading of Kant's account of moral weakness that consistently unifies both aspects. On my interpretation, the morally weak agent lacks the moral strength that he ought to acquire through the continuous exercise of his power of self‐control; he therefore fails both to set himself particular moral ends in adopting his maxims and to follow his maxims by realizing such ends. His intention to do what the moral law demands is overly general: It does not set a particular moral end, which is what virtue requires. (shrink)

Recent research claims that local party organizations are essential for new parties seeking organizational stability and national-level electoral success. Yet new parties which emerged in Japan since the 1990s have failed in building nation-wide networks of local organizations. The article asks how these parties sought to expand locally and why their attempts have been largely unsuccessful. It finds evidence that under certain conditions new parties have been more successful in standing and winning seats in regional elections. Regions with these (...) favorable conditions are few, however, resulting in the overall weakness of the new parties’ local organizations. The study also disconfirms expectations that a party's control of national government should result in their improved representation at the local level. The article contributes to elucidating the incentives and dynamics of building party organizations in terms of local elected offices for newcomer parties in Japan. It hints at similar challenges for entrepreneurial parties with few social roots in other established democracies. (shrink)

This essay evaluates John Martin Fischer and Mark Ravizza's mature semi-compatibilist account of moral responsibility, focusingon their new theory of moderate reasons-responsiveness as a model of "moral sanity." This theory, presented in _Responsibility and Control_, solves many of the problems with Fischer's earlier weak reasons-responsiveness model, such as its unwanted implication that agents who are only erratically responsive to bizarre reasons can be responsible for their acts. But I argue that the new model still faces several problems. It does (...) not allow sufficiently for non-psychotic agents (who are largely reasons-responsive) with localized beliefs and desires incompatible with full responsibility. Nor does it take into account that practical "fragmentation of the self" over time may also reduce competence, since moral sanity requires some minimum level of narrative unity in our plans and projects. Finally, I argue that actual-sequence accounts cannot adequately explain sane but weak-willed agency. (shrink)

Three ethics program components, a code of ethics, ethics training initiatives and ethics-oriented performance appraisal content, were examined for their relationship to ethical intent using a sample of 525 employees from the Spanish financial services industry. As expected, all three components contributed to the prediction of ethical intent. Importantly, clusters of employees who reported experiencing distinct combinations of the program components were identified and compared for their level of ethical intent. Employees who perceived all three components to be strongly (...) implemented reported significantly higher levels of ethical intent relative to those who viewed the components as either all weakly implemented or not present. Combinations including training initiatives plus one other element had a similar impact to the fully implemented approach. Contrary to expectations, ethics-oriented performance appraisal content did not relate more strongly to ethical intent than codes of ethics. (shrink)

Weak judgmentalism of emotions posits that emotions necessarily involve judgments. However, a standard critique of weak judgmentalism is that it cannot adequately account for the rationality of recalcitrant emotions, which persist despite the agent holding beliefs that conflict with them. This leads to the seemingly counter-intuitive conclusion that recalcitrant emotions are as irrational as logical mistakes. In response to this critique, I make two arguments. First, I distinguish between low-level and high-level beliefs, and argue that having (...) two beliefs with contrary contents at different levels can be rational to some extent. Therefore, weak judgmentalism can explain why recalcitrant emotions are not as irrational as logical mistakes. Second, I argue that recalcitrant emotions involve mental conflicts, while normal emotions do not. By framing the issue in this way, weak judgmentalism can also explain why recalcitrant emotions are not as rational as normal emotions. (shrink)

Does inferential justification require the subject to be aware that her premises support her conclusion? Externalists tend to answer “no” and internalists tend to answer “yes”. In fact, internalists often hold the strong higher-level requirement that an argument justifies its conclusion only if the subject justifiably believes that her premises support her conclusion. I argue for a middle ground. Against most externalists, I argue that inferential justification requires that one be aware that her premises support her conclusion. Against many (...) internalists, I argue that this higher-level awareness needn’t be doxastic or justified. I also argue that the required higher-level awareness needn’t be caused in some appropriate way, e.g. by a reliable or properly functioning faculty. I suspect that this weaker higher-level requirement is overlooked because, at first glance, it seems absurd to allow nondoxastic, unjustified, and unreliably-caused higher-level awareness to contribute to inferential justification. One of the central goals of this paper is to explain how such weak awareness can make an essential contribution to inferential justification. (shrink)

Weak links, in the form of inadequacies in both reasoning and supporting evidence, exist at several critical steps in the derivation of an hierarchical concept of evolution from punctuated equilibria. Punctuation itself is predicated on a distorted reading of phyletic change as phyletic gradualism, and of allopatric speciation as the instantaneous formation of unchanging typological taxa. The concept of punctuation is further confounded by the indescriminate employment of the same term to denote both a causal explanation for evolutionary change (...) and an outcome of substantiated evolutionary processes. Even when the intended usage for the term is specified, each denotation of punctuation entails respective drawbacks. As a causal explanation, punctuation clearly belongs to the class of quantum theories with all their attendant impedimenta, including special salsatory non-adaptive mechanisms of evolutionary change. Redefinition of punctuation as a pattern of morphologic change reduces it to one possible outcome of known microevolutioanry processes, thus obviating any need for an hierarchical explanation of macroevolution. While vacillation between usages has preserved the term in the literature, the end result of this obfuscation has been a circle of faulty reasoning in which the pattern of punctuation is invoked as its own proof. Widespread confusion concerning what constitutes an adequate test of punctuation is directly attributable to imprecision in both the original and revised formulations of the concept.The argument for species-level selection is based on the typological and philosphically flawed premise of species as individuals, and further requires the hypothesis of heritable emergent properties, for which empirical evidence is lacking. (shrink)

This paper presents the results of an experiment on mutual versus common knowledge of advice in a two-player weak-link game with random matching. Our experimental subjects play in pairs for thirteen rounds. After a brief learning phase common to all treatments, we vary the knowledge levels associated with external advice given in the form of a suggestion to pick the strategy supporting the payoff-dominant equilibrium. Our results are somewhat surprising and can be summarized as follows: in all our treatments (...) both the choice of the efficiency-inducing action and the percentage of efficient equilibrium play are higher with respect to the control treatment, revealing that even a condition as weak as mutual knowledge of level 1 is sufficient to significantly increase the salience of the efficient equilibrium with respect to the absence of advice. Furthermore, and contrary to our hypothesis, mutual knowledge of level 2 induces, under suitable conditions, successful coordination more frequently than common knowledge. (shrink)

This paper introduces an interesting class of predicates that come in pairs, so-called total and partial predicates. It will be shown that such predicates contribute to an explanation for the weak and strong interpretations of donkey sentences. This paper proposes that the phenomenon of weak and strong interpretations is real, and that whether a sentence receives the weak or the strong interpretation depends on the predicate in the nuclear scope of the sentence. It also proposes that sum (...) individuals are calculated at some level before the nuclear scope of the sentence is processed. Once the sum individuals are calculated, it will be decided whether the nuclear scope is true of at least one element of the sum individual (weak interpretation) or true of all elements of the sum individual (strong interpretation). (shrink)

The problem of defining ‘critical thinking’ needs a fresh approach. When one takes into consideration the sheer quantity of definitions and their obvious differences, an onlooker might be tempted to conclude that there is no inherent meaning to the term: that each author seems to consider that he or she is free to offer a definition that suits them. And, with a few exceptions, there has not been much discussion among proposers about the strength and weaknesses of the attempted definitions. (...) Therefore, the approach we will argue for here is a ‘meta-level approach’: proposers of new definitions of ‘critical thinking’ should begin by arguing that none of the current crop of definitions is viable. They should then state what kind of definition they will offer; then provide the definition and show that it satisfies the criteria stated. Our position is that new definitions should follow this meta-level approach, in addition to avoiding some common pitfalls. (shrink)

While most research on business–nonprofit partnerships has focused on macro and meso perspectives, this article pays attention to the micro level. Drawing on various theoretical perspectives from both marketing and management, this study conceptually relates the outcomes of active employee participation in such partnerships to consumer self-interest. This article also explores empirically whether and when self-interest affects consumers’ responses toward firms in relation to business–nonprofit partnerships. The study reveals that self-interest can directly influence consumers’ behavioral responses toward firms (i.e., (...) switching and buying intentions, and word of mouth), whereas the impact on evaluative responses in terms of attitude and trust is only weak. The fit between the firm and the nonprofit partner (company–cause fit) turns out to moderate this effect, with consumer self-interest only playing a role if fit is high. Implications for research and practice are discussed. (shrink)

Two major clarifications have greatly abetted the understanding and fruitful expansion of the theory of natural selection in recent years: the acknowledgment that interactors, not replicators, constitute the causal unit of selection; and the recognition that interactors are Darwinian individuals, and that such individuals exist with potency at several levels of organization (genes, organisms, demes, and species in particular), thus engendering a rich hierarchical theory of selection in contrast with Darwin’s own emphasis on the organismic level. But a piece (...) of the argument has been missing, and individuals at levels distinct from organisms have been denied potency (although granted existence within the undeniable logic of the theory), because they do not achieve individuality with the same devices used by organisms and therefore seem weak by comparison. We show here that different features define Darwinian individuality across scales of size and time. In particular, species-individuals may develop few emergent features as direct adaptations. The interactor approach works with emergent fitnesses, not with emergent features; and species, as a consequence of their different mechanism for achieving individuality (reproductive exclusivity among subparts, that is, among organisms), express many effects from other levels. Organisms, by contrast, suppress upwardly cascading effects, because the organismic style of individuality (by functional integration of subparts) does not permit much competition or differential reproduction of parts from within. Species do not suppress the operation of lower levels; such effects therefore become available as exaptations conferring emergent fitness—a primary source of the different strength that species achieve as effective Darwinian individuals in evolution. (shrink)

The present paper explores, theoretically, and empirically, whether compliance with the International Code of marketing of breast-milk substitutes impacts on financial performance measured by stock markets. The empirical analysis, which considers a 20-year period, shows that stock markets are indifferent to the level of compliance by manufacturers with the International Code. Two important issues emerge from this result. Based on our finding that financial performance as measured by stock markets cannot explain the level of compliance, the first issue (...) refers to what alternative types of mechanisms drive manufacturers who comply the least with voluntary codes such as the International Code. Conversely, from our finding that stock markets do not reward the most compliant, the second issue raised is an inherent weakness of stock markets to fully incorporate social and environmental values. (shrink)

While support for corporate political activity (CPA) is well echoed in the literature, little has been done to empirically examine its ethicality. Moreover, existing ethical CPA frameworks assume normative and rational leanings that are insufficient to provide a comprehensive account of CPA ethicality. Utilizing the Ghanaian context, adopting a multiple case study design involving 28 Directors from 22 firms, and employing a grounded theory approach, I explore how the ethicality of CPA is determined in weak institutional environments. The findings (...) reveal that business executives evaluate ethics at three levels (i.e. context, organizational and strategy) using three principles (i.e. utilitarianism, justice and institutions). Leveraging this knowledge, I present an eclectic framework that bridges the long-standing gap between normative ethical prescriptions and lived ethical realities. In doing so, I move away from abstraction to give “voice” to the actors involved in CPA. I also present a model that shows how the ethical judgement process is influenced by managerial intuition and interactive personal and organizational experiences. This article has important theoretical and practical implications for ethical business-government relations in developing countries. (shrink)

Let be a countable first order structure and endow the universe of with the discrete topology. Then the automorphism group of becomes a topological group. A tuple of automorphisms is defined to be weakly generic iff its diagonal conjugacy class (in the algebraic sense) is dense (in the topological sense) and the ‐orbit of each is finite. Existence of tuples of weakly generic automorphisms are interesting from the point of view of model theory as well as from the point of (...) view of finite combinatorics.The main results of the present work are as follows. In Theorem 2.6 we characterize the existence of tuples of weakly generic automorphisms with the aid of the profinite topology of free groups. In Corollary 2.12 we will show that if has finite topological rank r (and satisfies a further, mild technical condition) then the existence of a weakly generic tuple in implies the existence of weakly generic tuples in for all natural number. Finally, in Theorem 3.2 we show that if is a countable model of an ℵ0‐categorical, simple theory in which all types over the empty set are stationary and has a pair of weakly generic automorphisms then it has tuples of weakly generic automorphisms of arbitrary finite length.At the technical level we will combine elementary investigations about the profinite topology of free groups with the results of [11] about topological ranks of the automorphism groups of some structures. (shrink)

BackgroundThe International Committee of Medical Journal Editors (ICMJE) Recommendations set ethical and editorial standards for article publication in most leading medical journals. Here, I examine the strengths and weaknesses of the Recommendations in the prevention of commercial bias in industry-financed journal literature, on three levels – scholarly discourse, article content, and article attribution.DiscussionWith respect to overall discourse, the most important measures in the ICMJE Recommendations are for enforcing clinical trial registration and controlling duplicate publication. With respect to article content, the (...) ICMJE promotes stringent author accountability and adherence to established reporting standards. However, the ICMJE accepts the use of commercial editorial teams to produce manuscripts, which is a potential source of bias, and accepts private company ownership and analysis of clinical trial data. New ICMJE guidance on data sharing will address but not eliminate problems of commercial data access. With respect to attribution, the Recommendations oppose guest authorship and encourage clear documentation of author contributions. However, they exclude writers from coauthorship; provide no specific advice on the attribution of commercial literature, for instance with respect to company authorship, author sequence or prominent commercial labeling; and endorse the use of fine print and euphemism. The ICMJE requires detailed author interest disclosures, but overlooks the interests of non-authors and companies, and does not recommend that interests most salient to the publication are highlighted. Together, these weaknesses facilitate “advocacy”-based marketing, in which literature planned, financed and produced by companies is fronted by academics, enabling commercial messages to be presented to customers by their respected clinical peers rather than companies themselves.ConclusionsThe ICMJE Recommendations set important research and reporting standards, without which commercial bias would likely be a significantly greater problem than it is today. However, they also support practices of commercial data control, content development and attribution that run counter to science’s values of openness, objectivity and truthfulness. These weaknesses could be addressed with appropriate modifications to the Recommendations. The ICMJE should also disclose its own commercial interests and funding – not least because publishing organizations that finance it and pay the salaries of some member editors derive substantial revenues from industry. (shrink)

We show, under the assumption that factoring is hard, that a model of PV exists in which the polynomial hierarchy does not collapse to the linear hierarchy; that a model of S21 exists in which NP is not in the second level of the linear hierarchy; and that a model of S21 exists in which the polynomial hierarchy collapses to the linear hierarchy. Our methods are model-theoretic. We use the assumption about factoring to get a model in which the (...) weak pigeonhole principle fails in a certain way, and then work with this failure to obtain our results. As a corollary of one of the proofs, we also show that in S21 the failure of WPHP (for Σb1 definable relations) implies that the strict version of PH does not collapse to a finite level. (shrink)

In this paper we provide a new arithmetic characterization of the levels of the og-time hierarchy . We define arithmetic classes equation image and equation image that correspond to equation image-LOGTIME and equation image-LOGTIME, respectively. We break equation image and equation image into natural hierarchies of subclasses equation image and equation image. We then define bounded arithmetic deduction systems equation image′ whose equation image-definable functions are precisely B. We show these theories are quite strong in that LIOpen proves for any (...) fixed m that equation image, TAC, a theory that is slightly stronger than equation image′ whose equation image-definable functions are LH, proves LH is not equal to equation image-TIME for any m> 0, where 2s ∈L, s ∈ ω, and TAC proves LH ≠ equation image for all k and m. We then show that the theory TAC cannot prove the collapse of the polynomial hierarchy. Thus any such proof, if it exists, must be argued in a stronger systems than ours. (shrink)

While spreading wide-world, the new coronavirus Sars-CoV-2 made changes in many social departments of our society on levels we never thought about and messes with all our cultural habits. Thus, we witnessed that the religious denominations took into consideration changes without precedent in their cultic history and thus dogmatic as well concerning the actual threat of Coronavirus. We saw for example the Roman-Catholic Church who suspended all masses here and there[1] at first or banned the crucial gestures in rituals [to (...) suspend the distribution of Holy Communion from the Chalice[2], to distribute the Eucharist preferably into the hands of the faithful, and to avoid the physical contact from a peaceful handshake, to forego ash crosses on forehead, to suspend placing water in holy water fonts at the entrance of churches, that the churchgoers "refrain" from kissing or touching the cross for veneration, or even cancellation of masses]. We witnessed Buddhist temples and Protestant churches around Korea [at first] and beyond that have also suspended religious gatherings, and so on. In my case, the Romanian Orthodox Church did the same thing[3], but in a controversial way, firstly making some recommendations for its believers [e.g. not to kiss public icons in Churches, but their indoor ones, and receive Holy Communion with teaspoons for single-use]; afterward same Church reconsidered these recommendations and withdrew its decision [perhaps at the pressure of civil fundamentalists]. How can we qualify all these measures and, moreover, the withdrawal on behalf of religious believers, as weakness, populism, diligence, assuming the human limits, or...something else? What would be the correct and coherent answer religion should assume in this particular regard, and especially what are the reasons to qualify it in a way or another? (shrink)

Advocates of scientic realism typically respond to the challenge of the pessimistic meta-induction by turning to the history of science. The episode most frequently discussed is the shift from Fresnel's wave theory of light to Maxwell's electromagnetism. This particular history is taken to represent one of the hardest problems for the realist, for while it exhibits continuity on the empirical level, it simultaneously represents a dramatic shift in ontology. Thus, various authors have proposed methods for defeating the pessimistic meta-induction (...) based solely on consideration of the Fresnel-Maxwell case. In this paper, I present another case study from physics--Fermi's 1934 theory of beta-decay and the ensuing search for a universal description of weak interactions. I argue that the degree of success of two recent proposals for scientic realism--that of John Worrall (1989, 1994, 2007) and Juha Saatsi (2005)--changes importantly in light of this new case study. (shrink)

We characterize the existence of semicontinuous weak utilities in a general framework, where the axioms of transitivity and acyclicity are relaxed to that of consistency in the sense of Suzumura (Economica 43:381–390, 1976). This kind of representations allow us to transfer the problem of the existence of the ${{\mathcal{G}}{\mathcal{O}}{\mathcal{C}}{\mathcal{H}}{\mathcal{A}}}$ set of a binary relation to the easier problem of getting maxima of a real function. Finally, we show that the maxima of these representations correspond to the different levels of (...) satiation that each of individual has (an individual reaches his or her level of satiation when an increase of consuming an alternative product/service brings no increase in utility). (shrink)

The boundaries, openness and character of the future European society will crucially depend on the degree and scope of identity politics. Religion, culture and nationality remain strong reference frameworks for individuals in their inter-personal but also political relations and tend, in practice, to favour weak rather than strong forms of citizenship. Whether this is a viable model for large and diverse democratic societies is an old debate known primarily from the discussions and theory on multiculturalism. How this debate is (...) played out at European level and especially with respect to the role of religion is illustrated with reference to the ideas of Daniel Cohn-Bendit and Tariq Ramadan, two well-known public figures with a strong commitment to Europe and European identity, albeit from rather different perspectives and outlooks. At the substantive or philosophical level, it appears impossible to resolve the fundamental questions underlying the opposition between liberalism and communitarianism as represented by the two men. The usefulness of a middle-range pragmatic approach insofar as political solutions or societal compromises are concerned is scrutinized for its usefulness. (shrink)