Obras escogidas/M. Sánchez-Mazas. - v.1.

In the parts I and II of this paper, the Author shows:1. how Leibniz’s arithmetico-intensional logical calculi of April 1679 can be completed and transformed in an intensional Boolean algebra (U, v, &:, -, e, -e) admitting, on the one hand, two different logical interpretations:li1: as a complete and consistent calculus of terms (properties) and syllogistic;li2: as a deontic first-order calculus and, on the other hand, two different arithmetical interpretations:ai1: as a numerical Boolean algebra (DM, lcm, ged, M/..., 1, M) (...) of all divisors of a natural number M;ai2: as a numerlcal Boolean algebra (BA, lcbc, gcbc, A-..., 0, A) of all binary components of a natural number A.Arithmetical representations of negation of a term x and of combination (intensional conjunction) and alternative (intensional disjunction) of two or more terms are respectively M/x, lcm (lower common multiple) and gcd (greatest common divisor) in the first Boolean algebra (ai1) and A-x, lcbc (lower common binary composite) and gcbc (greatest common binary component) in the second one (ai2).2. that, in this context, each possible world U of 2ⁿ elements (terms, acts) can be defined on the basis on n elements of U choosen as “saturated” (intensionally maximal, but possible) in U or, inversely, on the basis of n elements of U choosen as “primitive” (intensionally minimal, but not-universal) in U. In fact, each possible element of U can be defined now as an alternative of saturated elements of U, now as a combination of primitive (opposite to saturated) elements of U; all combinations of saturated elements of U being equivalent to the impossible element (-e, non-entity, resp. impossible act) of U and an alternatives of elements of U being equivalent to the universal element (e, entity, resp. possible act) of U.In the arithmetical representation of each possible world U, the maximal number M (for ai1) or A (for ai2) represents the impossible (non existent) element of U. Now, each possihle world defined by n saturated (resp. primitive) elements can be automatically enlarged (restricted) by the introduction (suppression) of m new (old) saturated (resp. primitive) elements, producing a new possible world U’ where m impossible elements (centaur, pegasus, syren, unicorn, etc.) of U become possible elements of U’ or inversely.After this first type of arithmetical representation of logical calculi, where the terms are -as in Leibniz’s 1679 calculi- represented by natural numbers and the propositions by equations (for universal resp. prescriptive) or inequations (for particular, resp. permissive), in the part III the Author presents a second type of arithmetical representation where propositions are represented by natural numbers and the valid (classical or deontic) syllogisms by true arithmetical relations between the numbers of premisses and the number of conclusion. Here the entire syllogistic adopts the form of a multiplication table wherea syllogism is valid if and only if the lcm (in ai1 ) or the lcbc (in ai2) of the characterlstic numbers of the premisses is a multiple (in ai1) or a binary composite (in ai2) of the characteristic number of the conclusion. (shrink)

The aim of this study is to try to make use of real numbers for representing an infinite analysis of individual notions in an infinity of possible worlds.As an introduction to the subject, the author shows, firstly, the possibility of representing Boole's lattice of universal notions by an associate Boole's lattice of rational numbers.But, in opposition to the universal notions, definable by a finite number of predicates, an individual notion, cannot admits this sort of definition, because each state of an (...) individual subject is characterized by the values taken by an infinite number of predicates, each of whom may appear or disappear in the next state.The notion of “degree of identification of an individual notion” is then introduced and arithmetized by a rational number.As an individual notion can be defined by a convergent succession of degrees of identification, the real characteristic number of such an individual notion can be defined by the corresponding convergent succession of rational numbers, satisfying Cauchy's conditions for the convergence of successions. (shrink)

A través de los recursos esenciales de la semantica de los mundos posibles se comparan y relacionan, por un lado, la dimensión científica y filosófica, y por otro, la dimensión tecnica y la utópica, utilizándose para ello las relaciones entre composibilidad (o compatibilidad) y existencia, y entre el mundo actual, en el que opera la técnica, y mundos posibles, hacia los que se proyecta la utopía. En esta tarea resulta de interés prestar atención a la problematica clasica acerca de los (...) poliedros posibles e imposibles, en relación con el problema de la afectación, exclusión o ajuste de los “monstruos” de la lógica o de la razón.Through the essential means of the semantics of possible worlds, some dimensions are compared and related: firstly, the scientific and philosophical dimension, and secondly the technical and utopian dimension. For that purpose the relationship between compossibility (or compatibility) and existence are used as well as that between the real world, in which technique works, and possible worlds, towards utopia is oriented. In this task it is interesting to pay attention to the classic issue of possible and impossible polyhedrons, concerning affectation, exclusion or fitting of “monsters” of logic or of reason. (shrink)

Descrizione degli obbiettivi, le tecniche ed i primi risultati di una ricerca attualmente in corso all’Università del Paese Basco per applicare il metodo degli invarianti numerici delle classi di equivalenza -già applicato (si veda “Il programma Ars Judicandi”) sul piano di una legislazione nazionale- alla costruzione di un modello matematico per automatizzare le operazioni di analisi logica parallela, confronto e decisione su diverse legislazioni nazionaIi, simultaneamente iscritte nel quadro di una “rete deontica internazionale” che descrive per ciascuna di esse i (...) rapporti validi fra le condizioni, i casi e le soluzioni giuridiche. Il modelle comprende: a) la traduzione in un Iinguaggio aritmetico di base esadecimale delle componenti, le operazioni e le relazioni di una base multinazionale di dati legislativi; b) la formulazione, sotto forma di algoritmi aritmetici, delle regole di utilizzazione della base di dati per gli obbiettivi, classici ed attuali, di analisi e di decisione deI Diritto Comparato e dell’armonizzazione ed integrazione sopranazionale di legisIazioni diverse. (shrink)