We kindly inform you that, as long as the subject affiliation of our 300.000+ articles is in progress, you might get unsufficient or no results on your third level or second level search. In this case, please broaden your search criteria.
In my book Tropy i uniwersalia: Badania ontologiczne [Tropes and Universals: Ontological Investigations], I proposed a systematic and historical analysis of the problem of universals. I distinguished three main concepts of universals, understood as common properties, common aspects or common wholes, and then I applied these concepts for a detailed analysis of the theories of Roman Ingarden, St. Thomas Aquinas and Georg Wilhelm Friedrich Hegel. In this paper, I outline the methodological assumptions of my work, my understanding of universals, and the main results of my interpretations. Next, I briefly review the discussions provoked by my book. Katarzyna Barska and Marek Piwowarczyk questioned my reading of Ingarden’s theory, while Tomasz Tiuryn and Michał Głowala criticized my interpretation of Aquinas’s position. Finally, I analyze a way in which Karol Kleczka interestingly developed an interpretation of the notion of concrete universal within the framework of the contemporary truthmaking theory.
More...
The aim of this paper is to discuss Aristotle’s concept of the universal, and in particular to defend the claim that Aristotle’s concept is different from the modern concept of the universal, which is understood as the entity common to many individuals. For Aristotle, the universal is first and foremost an object which is predicated, is the object of the acts of the intellect, and is the object of the definition. In the text I also show that universals in Aristotle’s theory are causally inert, so they cannot be properties or causes of properties of individuals. This makes them similar to the modern concept of abstract objects such as Frege’s senses. The immediate point of reference for this paper is Paweł Rojek’s book Tropy i uniwersalia. Badania ontologiczne [Tropes and Universals: Ontological Investigations] (2019). I argue here against Rojek’s reading of the classical concept of the universal, and above all, against his interpretation of the theory of Thomas Aquinas.
More...
In the paper, I discuss the interpretation of the Thomistic theory of universals put forward in Paweł Rojek’s book Tropy i uniwersalia. Badania ontologiczne [Tropes and Universals: Ontological Investigations] in the context of the issue of hidden nominalism. My aims are threefold. (i) I suggest a more precise definition of a universal that enables a defence of basic claims by Rojek concerning hidden nominalism; (ii) I show that the interpretation of Aquinas put forward by Rojek does in fact collapse into hidden nominalism; (iii) I offer another interpretation of the Thomistic theory of universals based on the theory of triplex status naturae that seems free from the trap of hidden nominalism.
More...
The aim of this article is to compare the three concepts of universals presented in “Tropes and Universals” by Pawel Rojek with theories of truthmaking. Rojek presents three approaches to the problem of unity in multiplicity: (1) specific unity which involves abstract properties, (2) general unity based on undefined aspects, and (3) concrete universals. Rojek proposes to interpret the first two in scope of truthmaking, by invoking the “passionfruit argument” and developing his own version of it. In my paper I follow Rojek's steps by developing his comparison to truthmakers to the concept of concrete universals. That development involves Schaffer’s priority monism and the concept of “the most promiscuous truthmaker”. Finally, I present my own version of the “passionfruit argument” that uses the notion of grounding.
More...
The article is an invitation to rethink a new and not necessarily original question — the role of metaphor in scientific writing. The immediate pretext is the metaphor of the compass, map, and training, and, in another plan, “old wineskins into which new wine is poured.” These figures are used by Sebastian Gałecki as the culmination of his dissertation Etyka chrześcijańska dla postchrześcijańskiej epoki [Christian Ethics for the Post-Christian Age], confronting the three concepts: ethics of character efficiency (virtue) (Alasdair MacIntyre), conscience (John Henry Newman), and the new theory of natural law (John Finnis). Leaving aside the essence of the content of the dissertation, I try to identify several issues and threats related to the use of metaphors by the authors. In the Umberto Eco terminology, they are regarded as “hot” and methodologically problematic elements of reflection and the way of writing in science. Despite the doubts and reservations about the metaphor as an “unscientific” figure, I would like to defend the right to its correct use in philosophy, especially in ethics. As an example of such use, I consider their use in Sebatian Gałecki’s book.
More...
In my article, I would like to answer the most important remarks and critiques to my book Christian Ethics for the Post-Christian Age], made in discussion by Adam Chmielewski, Jan Krokos, Krzysztof Stachewicz, and Marcin Zdrenka. I have divided my answers into five groups. First I deal with formal comments. Then I will move to more factual remarks, concerning the relationship between Christianity and post-Christianity, the postulate of making the three traditions of moral inquiry more consistent and the role of metaphors in philosophical writing. Finally, I dealt with the remaining significant critiques that did not relate to any of the above topics.
More...
In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theory S1/2(PV) has bounded model companion then NP=coNP. We also study bounded versions of some other related notions such as Stone topology.
More...
Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation over the other. Despite the fact that the systematic study and the resolution of moral conflicts finds prominence in our linguistic discourse, standard deontic logic when used to represent moral conflicts, implies the impossibility of moral conflicts. This presents a conundrum for appropriate logic to address these moral conflicts. We frequently believe that there is a close connection between tolerating inconsistencies and conflicting moral obligations. In paraconsistent logics, we tolerate inconsistencies by treating them to be both true and false. In this paper, we analyze Graham Priest’s paraconsistent logic LP, and extend our examination to the deontic extension of LP known as DLP. We illustrate our work, with a classic example from the famous Indian epic Mahabharata, where the protagonist Arjuna faces a moral conflict in the battlefield of Kurukshetra. The paper aims to avoid deontic explosion and allows to accommodate Arjuna’s moral conflict in paraconsistent deontic logics. Our analysis is expected to provide novel tools towards the logical representation of moral conflicts and to shed some light on the context-sensitive paraconsistent deontic logic.
More...
In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic (HSC) with the horizontal compressing in the corresponding minimal Prawitz-style natural deduction (ND). In this Addendum we show how to prove a weaker result NP = coNP without referring to HSC. The underlying idea (due to the second author) is to omit full minimal logic and compress only “naive” normal tree-like ND refutations of the existence of Hamiltonian cycles in given non-Hamiltonian graphs, since the Hamiltonian graph problem in NPcomplete. Thus, loosely speaking, the proof of NP = coNP can be obtained by HSC-elimination from our proof of NP = PSPACE.
More...
In this paper, we utilized triangular conorms (S-norm). The essence of using S-norm is that the similarity order does not change using different norms. In fact, we are investigating for a new conception for calculating the similarity of two Fermatean fuzzy sets. For this purpose, utilizing an S-norm, we first present a formula for calculating the similarity of two Fermatean fuzzy values, so that they are truthful in similarity properties. Following that, we generalize a formula for calculating the similarity of the two Fermatean fuzzy sets which prove truthful in similarity conditions. Finally, various numerical examples have been presented to elaborate this method.
More...
The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
More...
In the natural deduction system for classical propositional logic given by G. Gentzen, there are some inference rules with assumptions discharged by the rule. D. Prawitz calls such inference rules improper as opposed to proper ones. Improper inference rules are more complicated than proper ones and more difficult to understand. In 2022, we provided a sequent system based solely on the application of proper rules. In the present paper, on the basis of our system from 2022, we classify improper inference rules.
More...
In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions. There are several possibilities to evade the paradox; all involve modifications in the principles of first-order logic with identity, existence, and definite descriptions; some stay within classical logic, others leave it. The merits of the various "ways out" are compared. The most attractive "way out," it is argued, stays within classical logic, except for the fact that it involves a new logical truth: "There is at least one non-existent object." But this "exit" will certainly not be to everyone's taste and liking. Thus, the paradox defies complete resolution (as every good paradox should).
More...
In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly as in Andersonian-Kangerian reduction, which uses different intensional implications and constants.
More...
The paper deals with the idea of participation or community in dance. The idea of community has become key in contemporary discussions about the globalization of contemporary societies, and dance has a large share in the reflections of these. Dance also has a very long tradition of community thinking. From this long and rich tradition, this paper will point out the ways in which the idea of community is reflected in social and artistic dances, pointing out both concrete dance forms and theoretical concepts, ideas and practices. Of the dance forms, the paper will discuss the tango pair dance, the flash mob dancegathering form as well as the contact improvisation developed within postmodern dance. Of the theoretical and philosophical settings that underpin discussions of community in dance studies, the paper will discuss the concept of kinesthesia or “kinesthetic empathy”, “mirror neurons” in neuroscience as well as philosophical reflections on affect.
More...
The concept of vampirism in the tradition of peasant culture is an inversion of social norms by individuals or groups, which the community recognizes as responsible for social problems and crises. “Vampire” as a social institution has a role in resolving the crisis, but also manifests power of the collective and the desirable model of worldview. However, the experience of field research imposes a perspective that does not perceive the “vampire” as a rigid institution, but also an adaptable tool of social or political communication. By analyzing two cases (performances) of “murder of a political vampire” (Josip Broz Tito and Slobodan Milosevic), as a performance of political communication, I try to point out the crucial importance of understanding the context, position and motivation of actors in dialogue. The focus of the analysis is on “vampires”, the signifier of the aberrant, who uses vampire symbolism as a means of spreading political information but also achieving political goals
More...
Dacă încercăm, în ultimul timp, să delimităm pulsul semnificativ al aducerii în scenă a ceea ce numim lumi paralele, complementare sau chiar simbiotice, constatăm că nu ne aflăm prea departe de fluxul apropiat pragului cunoașterii. Adică, dacă atingem momentul inițierii acestui proces – fie apelând la antropologie, solicitând aliniamentul lui Claude Levi-Strauss (cum procedează George Steiner) sau urmând mai recentele desfășurări ale teoriei imaginarului – constructele rezultate ilustrează aceeași preocupare: în fața unor fenomene inaccesibile înțelegerii lor dinlăuntrul naturii, abordarea se va afla la adăpostul rudimentelor intuitive prin schițări explicative depășind dimensiunea concretului.
More...