Hemeroteca del mes enero, 2019

Lógica Dialéctica Lógica Formal

Por • 22 ene, 2019 • Category: Filosofía

Este trabajo tratará del tema: 1) en plan de. Contraposición entre L.D.y L.F.(formal, matemática, simbólica, logística); 2) en plan de programa de investigación; 3) aquí no se tratará sino del “cálculo de predicados”, no de relacional, proposicional, conjuntual.



De la distinción entre lógica formal y lógica dialéctica

Por • 22 ene, 2019 • Category: Ambiente

Leaving aside the reasons of traditional philosophy which in the majority of cases stems from Thomist roots, it is convenient to discuss others no less tenacious which rest upon the Hegelian. Marxist dialectic. The definition of ‘dialectical logic’ that Lenin puts forth in his Philosophical Notebooks rests upon two suppositions. First: the ‘world’ or ‘reality’ can and should be known in its totality, and in addition, in a certain type of totality, -one which is submitted to the dynamism of the temporal. Second: there is a separate and proper discipline which aims at the attainment of that knowledge. To accept both suppositions is to admit the persistence of a metaphysical philosophy which is separate from and superior to the positive sciences. The dialectic is the metaphysics which corresponds to a dynamic vision of reality, if it simultaneously takes into consideration the general description of the aggregate of entities that constitutes the world and the establishment of their changing connections.



Specification Patterns for Robotic Missions

Por • 22 ene, 2019 • Category: Ciencia y tecnología

Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions. Recognizing the need, a large number of domain-specific specification languages has been proposed. These, in addition to traditional logical languages, allow the use of formally specified missions for synthesis, verification, simulation, or guiding the implementation. For instance, the logical language LTL is commonly used by experts to specify missions, as an input for planners, which synthesize the behavior a robot should have. Unfortunately, domain-specific languages are usually tied to specific robot models, while logical languages such as LTL are difficult to use by non-experts. We present a catalog of 22 mission specification patterns for mobile robots, together with tooling for instantiating, composing, and compiling the patterns to create mission specifications.



Diagnosing Sorites arguments

Por • 22 ene, 2019 • Category: Leyes

This is a discussion of Delia Fara’s theory of vagueness, and of its solution to the Sorites paradox, criticizing some of the details of the account, but agreeing that its central insight will be a part of any solution to the problem. I also consider a wider range of philosophical puzzles that involve arguments that are structurally similar to the argument of the Sorites paradox, and argue that the main ideas of her account of vagueness helps to respond to some of those puzles.



Epistemic structural realism, modality and laws of nature

Por • 22 ene, 2019 • Category: Crítica

According to epistemic structural realism (EER) scientific theories provide us only with knowledge about the structure of the unobservable world, but not about its nature. The most significant objection that this position has faced is the so-called Newman’s problem. In this paper I offer an alternative objection to EER. I argue that its formulation leads to undesirable skeptical positions in two fields close to scientific realism: the debates on modality and laws of nature. I also show that there is an interesting sense in which my objection is stronger than the one offered by Newman.



Presidentes de Guyana y Cuba se reúnen y discuten intensificar sus relaciones

Por • 22 ene, 2019 • Category: Nacionales

San Juan, 20 ene (EFE) . El presidente de Guyana, David Granger, está de regreso en su país, luego de viajar a Cuba y reunirse con el mandatario cubano, Miguel Díaz-Canel, con quien discutió varios asuntos, entre ellos, intensificar las relaciones entre la mayor de las Antillas y el Caricom. Según dijo Granger en declaraciones […]



JVR: No se descarta una invasión militar desde Colombia

Por • 22 ene, 2019 • Category: Nacionales

ND / 20 ene 2019.- Así lo dijo el exvicepresidente y exministro chavista José Vicente Rangel en su programa dominical por Televen. “En el mapa de asedio contra Venezuela en el que se maneja la teoría del desastre humanitario destacan los esfuerzos operativos respecto a una eventual intervención armada en Venezuela, junto con la adhesión de […]



Newton da Costa: Pasión y contradicción

Por • 22 ene, 2019 • Category: Opinion

En el año 1874, un matemático ruso llamado Georg Cantor creó la teoría de los conjuntos. En poco tiempo se notó que todos los patrones matemáticos podrían construirse con base a la teoría de los conjuntos, y así esta teoría se convirtió esencialmente en la base de la matemática. Sin embargo, conviene acotar que la noción de conjunto es algo extremadamente abstracto y no se confunde con el sistema de objetos o totalidades de la vida cotidiana. Pero alrededor de treinta años después comenzaron a surgir paradojas en esa teoría. La paradoja de Russell, la paradoja de Burali-Forti y varias otras, que no conviene explicar aquí porque demandaría mucho tiempo. Esas cuestiones se tornaron un problema filosóficamente increíble: ¿cómo eran posibles las paradojas en las matemáticas y la lógica tradicionales, hasta entonces el ejemplo más perfecto de conocimiento? Aquello era aterrador, completamente extraño, nadie conseguía explicarlo, originó una revolución. Ésa fue considerada la tercera gran crisis de la historia de las matemáticas. La primera fue con los pitagóricos, cuando descubrieron los números irracionales. La segunda con el cálculo diferencial e integral, que era un área completamente sin fundamento lógico, pero también fue superada. Y, finalmente, la tercera gran crisis fue la cantoriana, cuando se descubrió que la teoría de los conjuntos resultaba inconsistente y contradictoria, no se sustentaba. Se intentó resolver la cuestión manteniendo la lógica clásica e imaginando cuáles eran las modificaciones que podríamos realizar en la teoría de los conjuntos para superar las paradojas. La lógica clásica y esencialmente la lógica que nació con Aristóteles y tuvo su formulación actual por parte de Gottlob Frege y Russell allá por los años 1870 y 1914 respectivamente. El problema de la contradicción es absolutamente fundamental para la lógica clásica, que no la admite.



¿Qué se necesita para lograr el quiebre del régimen de Maduro?

Por • 20 ene, 2019 • Category: Nacionales

Elkis Bejarano Delgado  19/01/2019. Con un nuevo aire, la oposición marca una ruta para salir del régimen dictatorial; hay notable reconocimiento internacional a la ilegitimidad del Gobierno, la pieza que falta es el apoyo de los militares al Parlamento Venezuela vive un momento crucial en su devenir político. La oposición ha logrado reimpulsarse y tiene en sus […]



Bolsonaro pide a Venezuela que no “dé guarida a los terroristas del ELN”

Por • 20 ene, 2019 • Category: Nacionales

Brasilia, 19 ene (EFE).- El presidente de Brasil, Jair Bolsonaro, pidió a Venezuela que no “dé guarida” ni “protección” a los “terroristas” de la guerrilla del Ejército de Liberación Nacional (ELN), tras el atentado en Colombia contra una escuela de cadetes que ha dejado una veintena muertos y cerca de 70 heridos. El mandatario brasileño, […]