In the early twentieth century, L.E.J. Brouwer pioneered a new philosophy of mathematics, called intuitionism. Intuitionism was revolutionary in many respects but stands out -mathematically speaking- for its challenge of Hilbert’s formalist philosophy of mathematics and rejection of the law of excluded middle from the ‘classical’ logic used in mainstream mathematics. Out of intuitionism grew intuitionistic logic and the associated Brouwer-Heyting-Kolmogorov interpretation by which ‘there exists x’ intuitively means ‘an algorithm to compute x is given’. A number of schools of constructive mathematics were developed, inspired by Brouwer’s intuitionism and invariably based on intuitionistic logic, but with varying interpretations of what constitutes an algorithm.

Newton da Costa together with the author of this paper argued in favor of the possibility to consider quantum superpositions in terms of a paraconsistent approach. We claimed that, even though most interpretations of quantum mechanics (QM) attempt to escape contradictions, there are many hints that indicate it could be worth while to engage in a research of this kind. Recently, Arenhart and Krause [1, 2, 3] have raised several arguments against this approach and claimed that, taking into account the square of opposition, quantum superpositions are better understood in terms of contrariety propositions rather than contradictory propositions.

Lawvere’s axiomatization of topos theory and Voevodsky’s axiomatization of heigher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hibert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in Categorical logic opens new possibilities for using this method in physics and other natural sciences.

En esta nota exponemos una forma nueva de encarar sistemas proposicionales con contradicciones o inconsistencias. La misma, cuando se trata de sistemas consistentes, coincide con el tratamiento clásico. En realidad, lo que haremos es cambiar el concepto de deducción de la lógica clásica con el fin de poder manejar mejor teorías o sistemas proposicionales que incluyan contradicciones. De esta suerte somos llevados de hecho a construir una nueva categoría de lógica paraconsistente (cf. Arruda 1980). Esta lógica, que involucra a la lógica clásica como un caso particular, lógica clásica con la que está muy emparentada, será denominada, adoptando la terminología sugerida por V. S. Subrahmanian, «lógica paraclásica». Esta, en realidad, constituye un nuevo tipo de lógica paraconsistente. La lógica paraclásica pareciera contar con numerosas aplicaciones, como, por ejemplo, en la informática y en el discurso normativo.

Desde hace décadas la teoría del actor-red (TAR) viene constituyéndose en una alternativa teórica y metodológica para explicar los fenómenos complejos de las sociedades. A partir de concebir naturaleza y sociedad como términos inseparables, esta teoría desarrolla una serie de herramientas conceptuales para el entendimiento del complejo de relaciones entre agentes humanos y no humanos. Diversos autores han contribuido con sus trabajos a forjar las bases fundamentales de la teoría del actor-red, por sus aportes y su capacidad de creación de conceptos nos centraremos en algunas de las principales ideas formuladas por Bruno Latour. No obstante, a lo largo de este artículo presentaremos aportaciones de autores tales como John Law, Michel Callon, entre otros.

This work provides a mathematical tool to derive Zipf-Pareto laws directly from the idea that living systems always follow the rule of least effort in their activities. In order to implement this idea in a general way taking into account the output of the effort as well, we introduce a functional of efficiency instead of effort. This efficiency is maximized simultaneously with the maximum of the total output of an ensemble of large number of agents all working for that output. The Zipf-Pareto laws naturally come out from this calculus of variation. This efficiency provides a possible measure of performance.

This paper in a sense may be considered as audi alteram partem. Here I have confined myself to the earlier stages of the ancient TurkishSupreme Being as indicated in The All-Knowing God , by thedistinguished Italian historian of Religions, Raffaele Pettazzoni (1883-1959). In what follows, I shall compare Pettazzoni’s ideas about this matter with those of Hikmet Tanyu (1918-1992), the founder of the Turkish tradition of History of Religions in the republican era, especially his ideas exposed in his most influential works, The Religious History of Turks and The Belief of Monotheism among Pre-Islamic Turks.

La Guerra del Paraguay fue la respuesta a la política implementada por el gobierno del Paraguay, encabezado por su Presidente, Francisco Solano López, que puso en cuestión el proyecto colonialista de Inglaterra en la región. En efecto, la potencia europea temía que el modelo político implementado por López, que combinaba nacionalismo y proteccionismo económico, con un respaldo a las fuerzas políticas opositoras a los intereses británicos en la región, pudiera expandirse por el resto de América del Sur, ocasionando graves perjuicios a su proyecto imperial. Por ello, no dudó en disponer de todos los medios a su alcance y esto significó llevar a cabo una reacción ejemplificadora de los gobiernos que respondían a su liderazgo (Argentina, Brasil y Uruguay), que provocó el exterminio de la mitad de la población paraguaya y la pérdida de más de la mitad de su territorio. (Pómer, 2008).

Se trata aquí la influencia que Lambert, y en concreto su Nuevo Órgano (1764), ha podido tener en la Dissertatio^ en la Crítica de la razón pura de Kant. Éste recoge de aquél su preocupación arquitectónica, la recomendación de distinguir entre forma y materia del conocimiento, la de afrontar las contradicciones (el carácter antinómico de la razón) y sobre todo la de distinguir entre la lógica de la verdad y la lógica de la apariencia, esencial para comprender el carácter de la metafísica.

El “Apéndice a la Dialéctica trascendental” de la Crítica de la Razón pura como pars construens y como teoría de la ciencia. Tras una breve referencia a la interpretación neokantiana y “metafísica” de la Crítica de la razón pura [KrV] y tras establecer tres conceptos distintos de legalidad natural, nos centramos en la exigencia de sistematicidad dirigida a la legalidad empírica estudiada en el “Apéndice a la Dialéctica trascendental”. En él se presentan una tríada de principios que completan la ontología críticamente corregida presentada en la Analítica de la KrV y cuya función es orientar al entendimiento en la búsqueda de leyes empíricas en el “país de la verdad” [B 294] ya delimitado en la Analítica, la experiencia posible, constituyendo así una metodología de la investigación científica.