Actualistic Foundation of Possibilism

Abstract In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power's being. The actualist requirement prescribed by the Frege-Quinean criterion of the quantification domain is thus fulfilled; indeed, really possible objects are not actual objects, but their possibility is actual

Analysis of Penrose’s Second Argument Formalised in DTK System

This article aims to examine Koellner’s reconstruction of Penrose’s second argument – a reconstruction that uses the DTK system to deal with Gödel’s disjunction issues. Koellner states that Penrose’s argument is unsound, because it contains two illegitimate steps. He contends that the formulas to which the T-intro and K-intro rules apply are both indeterminate. However, we intend to show that we can correctly interpret the formulas on the set of arithmetic formulas, and that, as a consequence, the two steps become legitimate. Nevertheless, the argument remains partially inconclusive. More precisely, the argument does not reach a result that shows there is no formalism capable of deriving all the true arithmetic propositions known to man. Instead, it shows that, if such formalism exists, there is at least one true non-arithmetic proposition known to the human mind that we cannot derive from the formalism in question. Finally, we reflect on the idealised character of the DTK system. These reflections highlight the limits of human knowledge, and, at the same time, its irreducibility to computation

The Principle of Deontic Reflexivity and the Kantian Axiom

Some principles of propositional deontic logic present aspects of particular philosophical importance. Two of them are the subject of the present study. The first is the principle of deontic re flexivity (in short the deontic axiom T) according to which if something ought to be then it is. The second one is the Kantian principle (in short OP) according to which `ought-to' entails `can'. Despite their similarities, the two principles are profoundly different both from the formal point of view and as regards their truth value within plausible normative interpretations of deontic logic systems

Analysis of Penrose’s Second Argument Formalised in DTK System

This article aims to examine Koellner’s reconstruction of Penrose’s second argument a reconstruction that uses the DTK system to deal with Gödel’s disjunction issues. Koellner states that Penrose’s argument is unsound, because it contains two illegitimate steps. He contends that the formulas to which the T-intro and K-intro rules apply are both indeterminate. However, we intend to show that we can correctly interpret the formulas on the set of arithmetic formulas, and that, as a consequence, the two steps become legitimate. Nevertheless, the argument remains partially inconclusive. More precisely, the argument does not reach a result that shows there is no formalism capable of deriving all the true arithmetic propositions known to man. Instead, it shows that, if such formalism exists, there is at least one true non-arithmetic proposition known to the human mind that we cannot derive from the formalism in question. Finally, we reflect on the idealised character of the DTK system. These reflections highlight the limits of human knowledge, and, at the same time, its irreducibility to computation

A Classical Logic of Existence and Essence

The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted

Cadena de suministro en el gimnasio Elios Gym, Los Olivos, 2020

El objetivo de la investigación fue demostrar la cadena de suministro en el gimnasio Elios Gym, Los Olivos, 2020. Las dimensiones distribución del producto, supervisión de personal, control logístico, sostenibilidad de la empresa fueron correlacionados a través del programa estadístico SPSS. La metodología fue de una variable independiente, básica, con diseño de trabajo no experimental de corte transversal. El resultado de distribución del producto no está relacionado con la supervisión de personal, control logístico no está relacionado con la distribución del producto, sostenibilidad de la empresa no está relacionado con el control logístico; en todos estos casos (p > 0.05); supervisión de personal si está relacionado con la sostenibilidad de la empresa (p < 0.05). En conclusión, la relación entre cadena de suministro y las dimensiones en estudio fue significativa