•  47
    Negación dialéctiva y lógica transitiva
    Critica 15 (43): 51-78. 1983.
  •  188
    Imperativos, preceptos y normas
    Logos. Anales Del Seminario de Metafísica [Universidad Complutense de Madrid, España] 39 111-142. 2006.
    The paper goes into the intricate logical relation between imperatives, precepts and norms. It shows that there need not be two senses of "ought", the one descriptive and the other prescriptive, since when the law-giver enacts a fresh statute he is hereby making a tru statement, whose truth is grounded on the statement itself.
  •  28
    Essence and Existence in Leibniz's Ontology
    Synthesis Philosophica. forthcoming.
    The concept of every real thing from all eternity contains the unavoidability of its existence before the divine decision. Thus every complete concept of a real thing contains the property of being such that the thing will exist if a created universe exists. Then a thing's existence cannot be external to its concept. There is bound to be more in the concept of something that exists than in that of "something" that does not-since existence is explained through the quidditative property of being a…Read more
  • El ente y su ser. Un estudio lógico-metafísico
    Revue Philosophique de la France Et de l'Etranger 178 (4): 506-507. 1988.
  •  35
    Within Nicholas de Cusa's philosophical approach, there is bound to be a level of unity lower than the one pertaining to God as such but higher than those of common creatures. The intermediate level belongs to the Intellect and is characterized by an affirmative coincidence of opposites hinging around universal equality. Such intellectual equality among all things, as they are in the Intellect, constitutes the root of number and multiplicity.
  •  1
    It is widely known that Plato seems to be committed in a number of dialogues to the view that all perfections are “united” — whether such unity is construed as identity, which doesn’t lack textual evidence, or, more probably, as some kind of mutual “supervenience”. (See for instance Laches 199e3-4, Alcib. I 114d-116d, Protag. 329c-333d & 349a-c. Whatever the solution to those interpretive problems is, what anyway can be ascertained is that, when writing the Statesman, our philosopher is keen on …Read more
  • Da Costa's paraconsistent systems of the series Cm (for finite m) (see [C1], [C2], and esp. [C3], pp. 237ff.) share important features with transitive logic, TL (which has been gone into in [P1] and [P2]), namely, they all coincide in that: (c1) they possess a strong negation, `¬', a conditional, `⊃', a conjunction, `∧', and a disjunction, `∨', with respect to which they are conservative extensions of CL or Classical Logic; (c2) they possess a non strong negation, `N' (notations are different fo…Read more