Boudou and the authors have recently introduced the intuitionistic temporal logic ITL e and shown it to be decidable. In this article we show that the `henceforth’-free fragment of this logic is complete for the class of non-deterministic quasimodels introduced by Fern’andez-Duque. From this and results of Boudou, Romero and the authors, we conclude that this fragment is also complete for the standard semantics of ITL e over the class of expanding posets.

“He who correctly explains the name of Rus will find the key to explaining her primordial history,” wrote the Polish historian A.R. Brueckner. What’s more, not only its primordial history, but the very “seed of its logos,” its meaning, and he will find the key to the Russian future. As the monk Andronik (A.F. Losev) wrote, “the Greek expression EIS ONOMA or EN ONOMAK, ‘in the name’, itself proves that a name is a certain situating of divine energies, and the immersion and residence in it of all created beings leads to enlightenment and the salvation of the latter.” Today we are beginning to grasp, to understand our name. Our own name. Our name – “Russians” – transcends the division into Great Russians, Belarusians, Little Russians, and Rusyns. It is derived from Rus.

In a first time, this paper shows why the classification of philosophical systems defined by Vuillemin improves our understanding of the history of philosophy. I reply in a second time to embarrassments expressed by Bouveresse and Engel about the philosophical pluralism which is, according to Vuillemin, a consequence of the principles and definitions of his classification of philosophical systems. The main thesis of this paper is a conjecture: the philosophical pluralism is not a position that one is forced to admit if one adopts Vuillemin’s classification. Elements that should allow a proof of this conjecture are given in conclusion.

Dans l’avertissement de De la logique à la théologie, il demande à son lecteur de lui accorder quatre privilèges : « Le premier donne droit de raisonner. Lorsqu’un auteur avance une proposition, son critique considère donc qu’il avance en même temps l’ensemble des conséquences de cette proposition. …Le second donne droit de lire le texte étudié dans la langue des modernes. Il ordonne même d’être plus fidèle à l’esprit qu’à la lettre…Le troisième invite à considérer une philosophie comme un système et non comme un rhapsodie mal liée…Mon dernier privilège sera le droit d’être moi-même. L’histoire serait peine perdue si elle ne nous éclairait pas, et elle ne peut nous éclairer que par la distance que nous prenons par rapport à elle. »

Luego de releer y analizar el texto “¿Socialismo o barbarie? Trama de imposturas, manipulaciones y mentiras” de Juan Barreto y Héctor Sánchez1 me motivé a escribir estas notas para la discusión colectiva, tratando de rastrear no solo el contenido del legado ideológico-político de Chávez2 , sino el de quienes han intentado aportar ideas relevantes para aquella discusión sobre el nuevo socialismo hoy completamente deslucida y opacada. Estas “Notas” requerirían en futuros desarrollos recuperar y organizar los textos escritos e intervenciones relevantes sobre el debate del “Socialismo del siglo XXI” de personajes como: Alí Rodríguez Araque, Alberto Müller Rojas, Jorge Giordani, William Lara, Rodrigo Cabezas, Jesús Farías, Haiman el Troudi, Rodolfo Sanz, Elías Jaua, Rafael Ramírez e incluso del colectivo “Un grano de maíz” (Toby Valderrama), entre otras personalidades civiles y militares (Jacinto Pérez Arcay, por ejemplo) con intereses en la escritura de sus ideas políticas sobre tal tema y con algún grado de incidencia e interlocución en los propios planteamientos de Hugo Chávez

On veut ici interpréter l’argument Dominateur afin de montrer comment il permet de décrire le rapport que l’être humain entretient avec les substances temporelles. Notre interprétation trouve un appui dans les considérations de Heidegger dans le cours de 1931 sur le livre Θ (1-3) de la Métaphysique d’Aristote : « Car maintenant seulement nous entendons le sens et le bien-fondé de la thèse mégarique. Une dunamis est réellement présente là-devant seulement lorsqu’elle est rapportée à la réalisation d’une œuvre ; ce qui veut dire : lorsqu’elle-même est accomplie (wenn sie selbst vollzogen wird). Seule en effet la production en accomplissement fait voir que quelqu’un peut quelque chose et ce qu’il peut (denn nur das Herstellen im Vollzug läßt sehen, daß jemand etwas kann und was er kann). Ici seulement son pouvoir-faire (Können) lui-même est mis à la disposition de la vue immédiate ; dans l’accomplissement, la dunamis manifeste sa présence (Anwesenheit), en accomplissement, la dunamis est réellement présente là-devant (ist die dunamis als wirklich vorhandene).

Les lignes qui suivent ne prétendent pas à l’originalité. Leur objectif est purement pédagogique. Elles visent avant tout à expliciter quelques notions de logique modale, jouant un rôle crucial dans les travaux récents de JeanPierre Dupuy, mais n’étant probablement pas familières à tous ses lecteurs. Par la même occasion, elles voudraient aussi montrer en quel sens ces travaux relèvent de la philosophie, en prenant celle-ci dans une acception rigoureuse, que nous croyons désormais bien établie, mais qui n’est pas non plus de notoriété publique. Comme ce second point est un peu plus délicat, nous l’aborderons en deux temps. Nous partirons d’un survol rapide de l’histoire de la pensée, pour en tirer une définition plausible de la philosophie. Puis, après avoir présenté quelques éléments de logique modale, nous préciserons cette définition à l’aide de l’aporie de Diodore Cronos et du défi qu’elle lance à toute pensée rationnelle.

25-04-2018. En el proceso político en curso pueden observarse diversas escenas que van delineando escenarios futuros, es decir, hipótesis sobre la evolución posible de los acontecimientos. La situación es la convocatoria de la elección presidencial para el 20 de mayo, que se celebrarán en medio de un cuadro de grandes dificultades económicas que afectan fuertemente las […]

  Washington, abril 252018.  – El senador estadounidense Marco Rubio pidió el miércoles la salida del poder de Nicolás Maduro en Venezuela, cuyo gobierno tildó de “dictadura”, y llamó a reconstruir el país con una iniciativa multilateral similar al Plan Marshall. “Si bien Estados Unidos y nuestros socios han condenado repetidamente al régimen de Maduro […]

Modern mathematics is known for its rigorous proofs and tight analysis. Math is the paradigm of objectivity for most. We identify the source of that objectivity as our knowledge of the physical world given through our senses. We show in detail, for the core of modern mathematics, how modern mathematical formalism encapsulates deep realities about extension into a system of symbols and axiomatic rules. In particular, we proceed from the foundations in our senses to the natural numbers through integers, rational numbers, and real numbers, including introducing the concept of a field. An appendix shows how the formalism of complex numbers arises.