The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...) recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...) some atomic formulas containing non-denoting names are true, while negative free logic rejects even the latter claim. Inclusive logics, which reject, are likewise considered. These logics have complex and varied axiomatizations and semantics, and the goal of this paper is to present an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of abstract semantics, which allows for a straightforward demonstration of the meta-theoretical properties, and offers insights into the relationship between different logics. The final part of this paper is dedicated to extending the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework. (shrink)

At the beginning of 2020, COVID-19 became a global problem. Despite all the efforts to emphasize the relevance of preventive measures, not everyone adhered to them. Thus, learning more about the characteristics determining attitudinal and behavioral responses to the pandemic is crucial to improving future interventions. In this study, we applied machine learning on the multi-national data collected by the International Collaboration on the Social and Moral Psychology of COVID-19 (N = 51,404) to test the predictive efficacy of constructs from (...) social, moral, cognitive, and personality psychology, as well as socio-demographic factors, in the attitudinal and behavioral responses to the pandemic. The results point to several valuable insights. Internalized moral identity provided the most consistent predictive contribution—individuals perceiving moral traits as central to their self-concept reported higher adherence to preventive measures. Similar was found for morality as cooperation, symbolized moral identity, self-control, open-mindedness, collective narcissism, while the inverse relationship was evident for the endorsement of conspiracy theories. However, we also found a non-negligible variability in the explained variance and predictive contributions with respect to macro-level factors such as the pandemic stage or cultural region. Overall, the results underscore the importance of morality-related and contextual factors in understanding adherence to public health recommendations during the pandemic. (shrink)

This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.

Open peer commentary on the article “Consciousness as Self-Description in Differences” by Diana Gasparyan. Upshot: The aim of my commentary is to support some of Gasparyan’s ideas and to reformulate them in a more constructive way in terms of both formalized hermeneutical procedures and networks and in the light of game-theory approaches.

Pogled na kulturnopovijesna smjeranja -- Zajednica i nazovizajednica -- Značenje povijesne predaje.

In Philosophy of Law, Andrei Marmor provides a comprehensive analysis of contemporary debates about the fundamental nature of law—an issue that has been at the heart of legal philosophy for centuries. What the law is seems to be a matter of fact, but this fact has normative significance: it tells people what they ought to do. Marmor argues that the myriad questions raised by the factual and normative features of law actually depend on the possibility of reduction—whether the legal domain (...) can be explained in terms of something else, more foundational in nature. In addition to exploring the major issues in contemporary legal thought, Philosophy of Law provides a critical analysis of the people and ideas that have dominated the field in past centuries. It will be essential reading for anyone curious about the nature of law. (shrink)

We propose that human reasoning relies on an inherence heuristic, an implicit cognitive process that leads people to explain observed patterns (e.g., girls wear pink) in terms of the inherent features of their constituents (e.g., pink is an inherently feminine color). We then demonstrate how this proposed heuristic can provide a unified account for a broad set of findings spanning areas of research that might at first appear unrelated (e.g., system justification, nominal realism, is–ought errors in moral reasoning). By revealing (...) the deep commonalities among the diverse phenomena that fall under its scope, our account is able to generate new insights into these phenomena, as well as new empirical predictions. A second main goal of this paper, aside from introducing the inherence heuristic, is to articulate the proposal that the heuristic serves as a foundation for the development of psychological essentialism. More specifically, we propose that essentialism—which is the common belief that natural and social categories are underlain by hidden, causally powerful “essences”—emerges over the first few years of life as an elaboration of the earlier, and more open-ended, intuitions supplied by the inherence heuristic. In the final part of the paper, we distinguish our proposal from competing accounts (e.g., Strevens' K-laws) and clarify the relationship between the inherence heuristic and related cognitive tendencies (e.g., the correspondence bias). In sum, this paper illuminates a basic cognitive process that emerges early in life and is likely to have profound effects on many aspects of human psychology. (shrink)

This Element focuses on some core conceptual and ontological issues related to pantheistic conceptions of God by engaging with recent work in analytic philosophy of religion on this topic. The conceptual and ontological commitments of pantheism are contrasted with those of other conceptions of God. The concept of God assumed by pantheism is clarified and the question about what type of unity the universe must exhibit in order to be identical with God receives the most attention. It is argued that (...) the sort of unity the universe must display is the sort of unity characteristic of conscious cognitive systems. Some alternative ontological frameworks for grounding such cognitive unity are considered. Further, the question of whether God can be understood as personal on pantheism is explored. (shrink)

This article discusses the poem written by Joseph Brodsky shortly after the proclamation of Ukrainian independence in the early 1990s. It compares this poem with other pieces by the same author that deal with the paradigm of “independence vs. imperial unity.” These poems present a difference, which is striking at first glance: Brodsky welcomes Lithuanian independence, while simultaneously denying the same rights to Ukrainians and Aztecs. As for Afghanis … his disdain is even more palpable. The proposed explanation is the (...) concept of “Cultural Empire,” which the poet considers to be the ultimate good. This article briefly mentions the general problem of de-imperializing classical Russian literature in the context of post-colonial studies. (shrink)

This book presents a comprehensive defence of legal positivism on the basis of a novel account of social conventions. Marmor argues that the law is founded on constitutive conventions, and that consequently moral values cannot determine what the law is.

Social conventions are those arbitrary rules and norms governing the countless behaviors all of us engage in every day without necessarily thinking about them, from shaking hands when greeting someone to driving on the right side of the road. In this book, Andrei Marmor offers a pathbreaking and comprehensive philosophical analysis of conventions and the roles they play in social life and practical reason, and in doing so challenges the dominant view of social conventions first laid out by David Lewis. (...) Marmor begins by giving a general account of the nature of conventions, explaining the differences between coordinative and constitutive conventions and between deep and surface conventions. He then applies this analysis to explain how conventions work in language, morality, and law. Marmor clearly demonstrates that many important semantic and pragmatic aspects of language assumed by many theorists to be conventional are in fact not, and that the role of conventions in the moral domain is surprisingly complex, playing mostly an auxiliary and supportive role. Importantly, he casts new light on the conventional foundations of law, arguing that the distinction between deep and surface conventions can be used to answer the prevalent objections to legal conventionalism. Social Conventions is a much-needed reappraisal of the nature of the rules that regulate virtually every aspect of human conduct. (shrink)

The article is devoted to the study of the nature of consciousness within the framework of the information concept. The paper proposes a definition of consciousness as an informational environment in which an extended model of reality is realized. The process of realization of this extended model is defined as thinking. The result of thinking is information objects that form a system in the form of information environment. Information objects are reflections of the real world properties, not directly, but by (...) means of translation through a special object – a carrier of consciousness. In the case of human consciousness, such a carrier is a human being (represented in the form of his nervous system). As a result, consciousness can be qualified as a simulacrum of reality, i.e., a model of a model: an information model of the carrier of consciousness, which in turn is a means of physical modeling of the real "big" world. Possible mechanisms mediating thinking are considered. For this purpose, two new concepts are introduced: neural circuit and neurophysical pattern. An approach to the study of self-consciousness based on the localization of the consciousness carrier in the multidimensional space of states of initial real objects, as well as their reflections in the form of information objects is proposed. This localization is ensured by the presence of feedbacks. Summarizing the results of the study, the article states the following connection between consciousness, self-consciousness and subjectness: under certain conditions (when consciousness is localized in the state space of the carrier of consciousness), consciousness acquires the property of self-consciousness, a special case of which (when the initiator of changes determining localization is the carrier of consciousness) is self-consciousness endowed with subjectness. (shrink)

The “Mind Matters” case study presents an opportunity for students in a wide range of courses such as business ethics, organizational behavior, leadership, marketing, and strategy to recognize and contemplate the difficult planning, the ethical challenges, and the high level of creativity necessary in many business decisions when bringing a new product or service to market. Also, this case study encourages its readers to formulate solutions and provide answers for complexproblems fraught with ethical dilemmas.

The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.

Mainstream political liberals hold that state coercion is legitimate only if it is justified on the grounds of reasons that all may reasonably be expected to accept. Critics argue that this public justification principle is self-defeating, because it depends on moral justifications that not all may reasonably be expected to accept. To rebut the self-defeat objection, I elaborate on the following disjunction: one either agrees or disagrees that it is wrong to impose one’s morality on others by the coercive power (...) of the state. Those who disagree reject PJP, they understand politics as war. Those who agree accept PJP, they understand politics as competition. Political competitors abide by PJP to avoid politics as war, by enforcing PJP on political combatants they engage in a war that is unavoidable. In both cases their exercise of political power has a justification that is reasonably acceptable to all. (shrink)

JOVO BAKIĆ, EVROPSKA KRAJNJA DESNICA 1945-2018, CLIO, BEOGRAD, 2019.Jovica Pavlović.

The normal way to establish that a person has authority over another requires a rule-governed institutional setting. To have authority is to have power, in the juridical sense of the term, and power can only be conferred by norms constituting it. Power-conferring norms are essentially institutional, and the obligation to comply with a legitimate authority's decree is, first and foremost, institutional in nature. The main argument presented in this essay is that an explanation of practical authorities is a two-stage affair: (...) the special, practical import of an authority can only be explained against the background of an institutional setting which constitutes the authority's power and the corresponding obligation to comply. However, this obligation is not an all things considered obligation, it is conditioned on reasons to participate in the relevant institution or practice. (shrink)

Digital inequality and digital justice are pressing issues in today's world. This work examines the socio-philosophical aspects of these problems and proposes measures to achieve digital justice. The authors draw attention to the fact that digital inequality can manifest itself in various forms, such as access to information, technology and resources, as well as opportunities to participate in the digital economy. This can lead to increased social inequalities and limited opportunities for the development of individuals and society as a whole. (...) To achieve digital justice, the authors propose a number of measures, such as improving access to digital technologies and resources, ensuring equal opportunities to participate in the digital economy, and protecting consumer rights and data privacy. They also draw attention to the need to promote digital literacy and education so that people can make effective use of digital technologies and resources. The authors also examine digital inequality and digital justice in the context of monopoly and free speech. They point out that some companies that declare their social responsibility may use their monopolistic position in the market to limit freedom of speech and access to information. In this context, the authors suggest strengthening the role of the state in regulating the digital economy and protecting consumer rights. In conclusion, the research is a valuable contribution to the field of research on digital inequality and digital justice. It emphasizes the need to take into account the socio-philosophical dimensions of these issues and suggests measures to achieve digital justice. It also draws attention to the importance of cultural and historical sensitivity in the development of digital policies and resources. (shrink)

The essay explores the question of whether people can have a right to common goods, such as the flourishing of their culture or national heritage. It first explains the concept of a common good and its distinction from other similar concepts, such as collective and public goods. Second, it argues that individuals ought not to have a right to common goods, unless a particular distributive principle applies to the good in question, and then the individual's right is the right to (...) a certain share in that common good. Finally, the essay explores the question of how this analysis applies to group-rights, with respect to other groups and to members of the group itself. (shrink)

. The purpose of this essay is to argue that considerations of fairness play an essential role in the justification of democratic decision procedures. The first part argues that considerations of fairness form part of a practical authority's legitimacy, and that in the political context, those considerations of fairness entail a principle of equal distribution of political power. Subsequently, the article elaborates on the kind of equality which is required in democratic procedures, arguing that different principles of equality should apply (...) to the deliberation and the decision stages of democracy. Finally, the article concludes with a few sketchy remarks on the possible relations between considerations of fairness and soundness of democratic procedures. (shrink)

In a recent article in this journal, John Bishop argues in defence of conceiving of Christian faith as a ‘doxastic venture’. That is, he defends the claim that, in exercising faith, agents believe beyond ‘what can be established rationally on the basis of evidence and argument’. Careful examination reveals that Bishop fails adequately to show that faith in the face of inadequate epistemic reasons for believing is, or can even be, a uniquely doxastic venture. I argue that faith is best (...) conceived of as a sub-doxastic venture that involves pragmatically assuming that God exists. (shrink)

I critique Matthias Steup’s account of exercising direct voluntary control over coming to have doxastic attitudes via doxastic decisions. I show that the sort of agency Steup argues is exercised in doxastic decision-making is not sufficient for agents to exercise direct voluntary control over their doxastic attitudes. This counts against such putative decisions being the locus of direct control in doxastic agency. Finally, I briefly consider what, if any, consequences the failure of Steup’s theory of doxastic agency may have for (...) epistemic deontologism. (shrink)

What is it for an utterance of an expression to lack meaning? In this paper I address the issue along the lines of Carnap’s seminal article “Empiricism, Semantics and Ontology”. Carnap provides there an answer to the above question, which he then uses to argue that certain claims of metaphysics are meaningless. In the first section of the paper I present Carnap’s argument for the meaninglessness of certain metaphysical claims. In the second section I argue that, although the argument is (...) not compelling, the main virtue of Carnap’s proposal is the strategy he develops for generating meaningless uses of language. In the third section I propose an externalist criterion of meaningless uses of expressions that relies on semantic externalist considerations. This, I argue, bears significant resemblances to Carnap’s proposal. In the last section I discuss the applicability of the new criterion to the question concerning the meaning of metaphysical claims. (shrink)