La teogonía de Derveni construye un relato complejo sobre la organización del mundo y el poder divino desde el comienzo de los tiempos. El último rey divino, el dios supremo del universo, Zeus, que también es su demiurgo, devora el falo de su padre, Urano, para poder así regresar él mismo a una generación anterior a la primera, dando inicio bajo su reinado a un nuevo ciclo cósmico. Para Plotino, la castración de Urano representa la transcendencia del Uno-Bien respecto a (...) la Inteligencia, simbolizada por Crono; y el Alma, Zeus, que escapa a la voracidad de su padre, constituye el primer dios demiurgo, cuya función es la de servir de mediador entre lo inteligible y el mundo sensible. Derveni theogony constructs a complex narrative about the organization of the world and the divine power from the beginning of time. The last divine king, the supreme god of the universe, Zeus, who is also his demiurge, devours the phallus of his father, Uranus, in order to return himself to a generation before the first, giving birth under his reign to the beginning of a new cosmic cycle. For Plotinus, the castration of Uranus represents the transcendence of the One-Good with regard to Intelligence, symbolized by Kronos; and the Soul, Zeus, who escapes from the voracity of his father, is the first demiurge god, whose function is to serve as mediator between the intelligible and the sensible world. (shrink)

Empirical reports on scientific competition show that scientists can be depicted as self-interested, strategically behaving agents. Nevertheless, we argue that recognition-seeking scientists will have an interest in establishing methodological norms which tend to select theories of a high epistemic value, and that these norms will be still more stringent if the epistemic value of theories appears in the utility function of scientists, either directly or instrumentally. (Published Online July 11 2006) Footnotes1 The author gratefully acknowledges financial support from DGI grant (...) BEC2002-03715 (Ministerio de Educación y Cultura). 2 The author gratefully acknowledges financial support from grants PB98-0495-C08-01 and BFF2002-03656 (Ministerio de Educación y Cultura). (shrink)

Este trabajo indaga las resemantizaciones del mito de Venus en tres poetas latinoamericanos: Julián del Casal, Rubén Darío y José Lezama Lima teniendo en cuenta la intertextualidad y las poéticas correspondientes. This paper analyses the Venus myth appropiation into the poetry of Julián del Casal, Rubén Darío and José Lezama Lima considering their poetry and intertextuality.

Scholars have long debated whether leader's integrity affects managerial decision making with respect to social responsibility. In this paper, we propose a model in which transformational leadership mediates integrity and corporate social responsibility and examine the relationship between these concepts. A survey of 170 senior managers from 50 organizations was conducted. Results indicate that integrity is a predictor of transformational leadership behavior and that transformational leaders’ behaviors are linked to CSR practices. It was also found that leaders rated with higher (...) integrity are engaged in CSR because they exhibit more transformational leadership behaviors. These findings add to the extant literature by demonstrating that integrity is important as transformational leaders engage more actively on ‘responsible’ behaviors. Practical implications call for an understanding among corporate leaders of the benefits of integrity and how it relates to transformational leadership. Organizations can improve their selection and leadership development processes by focusing on these two dimensions. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)

For this issue of JBE, Zyphur and Pierides :1–16, 2017) have written a paper on a concept that they have labeled relational validity. The purpose of the paper and of their advocacy for the concept of relational validity is to improve the way that quantitative research is done by expanding our understanding of its ethics-laden aspects. I agree entirely with the authors that every decision regarding QR is an ethics-laden one and that our research as a whole would be improved (...) by recognition of this fact. I disagree with the authors regarding some of the ways that this improvement might be brought about. (shrink)

Emotional intelligence stands at the nexus between intelligence and emotion disciplines, and we outline how EI research might be better integrated within both theoretical frameworks. From the former discipline, empirical research focused upon whether EI is an intelligence and what type of intelligence it constitutes. It is clear that ability-based tests of EI form a group factor of cognitive abilities that may be integrated into the Cattell–Horn–Carroll framework; less clear is the lower order factor structure of EI. From the latter (...) discipline, research linking EI with theoretical frameworks from emotion research remain relatively sparse. Emotion regulation and appraisal theory may be key to explain how EI may reflect different processes. We propose a research agenda to advance the EI study. (shrink)

In this paper, we explore a selection of Castoriadis’ writings, paying special attention to the seminars devoted to Plato’s Statesman, and discuss his divorce from the Platonic and Platonic tradition. Castoriadis places Plato beyond a theoretical and academic interpretation: the Ancient Greece that Castoriadis claims, from his political ontology, is not a paradigm, but a “germ” of autonomy, by which understand the birth of democracy, philosophy and history in order to transform himself and society.

El demiurgo es el encargado de organizar un material espacial informe (chóra), para lo que contempla las formas inteligibles, y produce así las imágenes, las cosas sensibles. La causa de la diferencia entre las formas inteligibles (modelo) y las cosas sensibles (imagen) radica en el material caótico e indeterminado (receptáculo). Pretendemos analizar la chóra en el Timeo de Platón, donde convergen dos aspectos: el ¿constitutivo¿, ¿aquello de lo que¿ están constituidas las cosas sensibles, y el ¿espacial¿, ¿aquello en lo que¿ (...) aparecen. Este material espacial sufre una transmutación terminológica en la hyle de Aristóteles de Física, IV, 2. (shrink)

En la Sentencia 18 Por!rio se inspira en un pasaje plotiniano de En. III 6 [26] 4, 41-52, donde trata precisamente sobre la sensación, pero introduciendo dos innovaciones relevantes: 1) la noción de ser vivo, donde Plotino menciona solo la parte pasiva del alma y la materia – lo que constituye una manera de insistir en la relación íntima que se da entre el alma y el cuerpo en el compuesto–; y 2) las nociones de “armonía no separada” y de (...) “armonía separada”, donde Plotino alude solo a una armonía que hace vibrar ella misma las cuerdas y que dicta su regla al músico. La armonía separada puede intensi!carse con la relación armónica que existe en sí, independiente del instrumento y de la interpretación musical. Asimismo, para trazar un paralelismo entre la armonía de la lira y el estado de inherencia del alma, Jámblico se re!ere a la concepción plotiniano-por!riana del ser vivo: el animal es el cuerpo que posee una naturaleza particular y que ha sido vivificada no por el alma, sino por una especie de derivado del alma que denomina “huella” o “luz” del alma, por lo que el alma misma no se une al cuerpo. (shrink)

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.

This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.

The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.

The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 (...) is a rich logic in which a number of connectives can be defined. It also has a simple bivalent semantics of the Belnap–Dunn type. (shrink)

In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.

This is a survey paper of approaches to the concept of logical implication. Roughly stated the main motivation of these approaches is to provide a necessary and sufficient condition for a set of propositions to logically imply a single proposition. In regard to their affinities these approaches are grouped into two: the transformational conception and the informational conception. Some approaches in each conception are philosophical and some are mathematical in character, their common assumption being that they reflect a previous intuition (...) – in some cases – already at work in classical mathematics. The first part of the paper is devoted to approaches within the transformational conception of logical implication emphasizing the contributions of Bolzano, Russell, Tarski, Quine and current model – theory. The second part of the paper discusses approaches within the informational conception of logical implication. Carnap and Bar Hillel’s extrinsic approach and Corcoran’s intrinsic approach developed in his information-theoretic logic are respectively compared and some of their philosophical underpinnings are brought to light. The paper concludes with some final remarks concerning the ontic question of the nature of logical implication and the epistemic question of the human access to this relation in both conceptions of logical implication. The article also attempts to connect the views of these representative thinkers with the current philosophical debate on the nature of logical consequence and the role of set-theoretic model theory in philosophy of logic. (shrink)

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included.

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

Łukasiewicz presented two different analyses of modal notions by means of many-valued logics: the linearly ordered systems Ł3,..., Open image in new window,..., \; the 4-valued logic Ł he defined in the last years of his career. Unfortunately, all these systems contain “Łukasiewicz type paradoxes”. On the other hand, Brady’s 4-valued logic BN4 is the basic 4-valued bilattice logic. The aim of this paper is to show that BN4 can be strengthened with modal operators following Łukasiewicz’s strategy for defining truth-functional (...) modal logics. The systems we define lack “Łukasiewicz type paradoxes”. Following Brady, we endow them with Belnap–Dunn type bivalent semantics. (shrink)

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...) in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points. (shrink)

The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.

Sylvan and Plumwood’s is the relevant De Morgan minimal logic in the Routley-Meyer semantics with a set of designated points. The aim of this paper is to define the logic and some of its extensions. The logic is the non-relevant De Morgan minimal logic in the Routley-Meyer semantics without a set of designated points.

Equivalent overdetermined and underdetermined bivalent Belnap–Dunn type semantics for the logics determined by all natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value are provided.