Since the pioneering work of R. M. Foster in the 1930s, many graph repositories have been created to support research in graph theory. This survey reviews many of these graph repositories and summarises the scope and contents of each repository. We identify opportunities for the development of repositories that can be queried in more flexible ways.

En varios pasajes de su Poema, Parménides identifica al no ser con la separación: “No podrás obligar a lo que es a separarse de lo que es”. No es posible no ser significa, así, que no existe corte, franja, al interior de lo que es, por la que pase el no ser. No existe separación ontológica. Platón ve esto muy bien: dice, en el Sofista, que la separación es “a-filosófica”, y consecuentemente define al ser como capacidad de relación. ¿No hay acaso una suerte de “deducción” a seguir, una que va del “es” parmenídeo a la dúnamis koinonías platónica, pasando justamente por la imposibilidad de la separación ontológica como dato central?

Lo grave, más allá de las consolaciones, es que realmente marchamos hacia una democracia sin política. Si no hay política no hay funcionamiento social. He dicho en otras ocasiones que la necesidad es de más política, porque lo que produce cansancio es su ausencia, como en el caso venezolano presente, y no una presencia excesiva. Lo excesivo es el vacío.

El presidente de Estados Unidos, Donald Trump, declaró que el sentido común exige la presencia de Rusia en el formato G7 porque la mitad de los encuentros de este club está dedicada a Rusia y sería más fácil resolver sus problemas si la parte rusa estuviera presente. Sputnik analizó por qué G7 no puede funcionar efectivamente sin Rusia.

El presente trabajo pretende desentrañar las relaciones problemáticas entre la Lógica del Periodo de Jena y el surgimiento de una Dialéctica interna al propio sistema. Dicha Dialéctica rebasa la posición de una metodología general del conocimiento.

In the contemporary philosophy of science, the champions of the realist–empiricist dispute are structural realism and constructive empiricism, respectively. In establishing their historical lineage, structural realists point to the work of Ernst Cassirer. In this dissertation, I argue that Cassirer cannot be pressed into service to their cause; while some of his conclusions about science seem prima facie in line with structure realism, any such agreement is merely apparent. Digging into Cassirer’s philosophy of science, and situating that work within his broader project of the philosophy of symbolic forms, it becomes clear that his arguments instead present an important challenge to the structural realist camp. In fact, his arguments against abstraction and epistemic foundationalism speak against any assumption of a mind-independent world, undermining the contemporary realist–empiricist dispute in toto. In place of the doctrines of realism and empiricism, Cassirer offers us the system of the symbolic forms.

Hypothèse de travail : la logique comme discipline médiatrice entre la philosophie et les mathématiques. « Science des lois du raisonnement ». L’enjeu sous-jacent à cette définition est l’unité des règles usuelles du raisonnement ordinaire, d’une part, et des procédures de démonstration mathématique d’autre part. L’autre élément fondamental est la profonde historicité de la logique et son devenir-mathématique au XXe siècle. La logique comme discipline mathématique. Quel est son objet dans ce cas ? R : les théories mathématiques elles-mêmes (en tant que formalisées). Mais la logique n’est pas passée corps et biens aux mathématiques. De plus, l’utilisation d’outils et de méthodes mathématiques ne signifie pas que l’objet de la logique est lui-même mathématique. Logique comme calcul et logique comme langage (van Heijenoort) : cet enjeu est d’une certaine manière interne à la logique formelle (mathématisée).

Philosophers have always griped about language. Sometimes the complaints have been local, sometimes global. Some critics have wrung their hands, others have acted. Frege, from the beginning of his career to its end, was a griper — and a man of action. He invented a new artificial language which was to be immune to the diseases which debilitate natural languages and make them incapable of doing scientific service. The new language was a Begriffsschrift, an ideography. It is usually referred to as ‘the Begriffsschrift’; but since it is not the only Begriffsschrift in the world, I prefer to call it ‘Fregean’.

La lógica de Frege es sin lugar a dudas la parte de su obra de mayor trascendencia. Si bien la importancia del trabajo de Frege para la filosofía del lenguaje y los fundamentos de la matemática es colosal, su obra lógica se distingue por contener contribuciones universalmente aceptadas y universalmente consideradas como las más trascendentes para la disciplina en toda su historia —sólo la obra de Aristóteles se menciona ocasionalmente como una obra de valor comparable—. Estas aportaciones incluyen, entre otras, la introducción de la formalización de las oraciones en términos exclusivamente de funciones y argumentos en lugar de las categorías de la gramática tradicional, la formalización de la cuantificación como una función de una función, que permite una representación útil y perspicua de cuantificaciones múltiples en el alcance unas de otras, y la creación del primer cálculo deductivo puramente sintáctico.

A.N. Whitehead titula su obra más importante Proceso y Realidad: Ensayo de Cosmología. El subtítulo, en cierta medida, nos orienta hacia la clave de lo que Whitehead busca ofrecernos: un nuevo intento cosmológico.