Provability, Computability and Reflection.

The authors of mediaeval treatises on the modi significandi (often entitled De modis signi­ficandi, or Summa grammatica, or Summa modorum significandi, or Grammatica speculativa) have come to be known as the Modistae who taught in the late Sixties of the 13th till the Thirties of the 14th centuries. The present study is an account of the grammatical theories of this group of mediaeval scholars (mostly the work of Thomas of Erfurt), set in the appropriate context of situation and seen in (...) terms of the part they played in mediaeval semiotic theory, since their theory rests on the study of words and the properties of these words as signs of things. At the end of the present study the influence of the speculative grammar on present linguistic theories is announ­ced. Some influence of the speculative grammar one could discover in many contemporary lin­gui­stic theories like those of Noam Chomsky, Ronald Langacker, Robin Lakoff and even Ray Jackendoff. (shrink)

Natural Deduction Natural Deduction is a common name for the class of proof systems composed of simple and self-evident inference rules based upon methods of proof and traditional ways of reasoning that have been applied since antiquity in deductive practice. The first formal ND systems were independently constructed in the 1930s by G. Gentzen and S. Jaśkowski and … Continue reading Natural Deduction →.

SummaryStarting from late Classical-early Hellenistic age a series of witty, lighthearted and irreverent funerary verse-inscriptions aiming to produce some effect of amusement or laughter appeared on a number of monuments, reaching their apogee during Greek-Roman era. Most of them originated in Asia Minor and Rome. Some earliest examples were related to widespread hedonistic exhortations on tombs. Their later ramifications, consisting of ironical or playful expressions, amusing puns and instances of black humour, were written in a more satirical vein, except with (...) inscriptions dedicated for animals that were rife with sentimental motifs. Remarkably diverse as they were, such verse-inscriptions cannot be defined in terms of a distinctly separate, continuous tradition, but they shared some common features. Lacking – for the most part – conventional and formulaic elements, they struck us as heavily individualised, which sets them apart from the mainstream tradition of funerary poetry. This in turn might shed some light on social standing or/and mentality of individuals who opted for such expressive ways of remembering the dead. (shrink)

The subject of this paper is the controversy between cognitivist philosophy and phenomenology concerning the nature of emotions. This article has a limited scope restricted to the domain of the aesthetic emotions usually dependent on the works of art and literature. The author raises the criticism against the cognitivist stance, this criticism based chiefly on the principles of Max Scheler's phenomenology of emotions.

The article is devoted to Vilfredo Pareto’s reflections on socialism and dicusses thoroughly his important work Les syst`emes socialistes, especially its first part dealing with so called real socialist systems. This large treatise edited in 1901-1902 played an important role in the evolution of Pareto’s ideas. It brought the early version of his famous theory of social elites that was strictly connected with his refutation of historiosophical progressivism. Pareto examined many historical examples– from ancient to some tendencies in contemporary policy (...) – in order to elaborate the precise typology of the systems of real socialism. He tried to demonstrate that real socialism was an obstacle to economic and cultural development. Socialism was for him on the one hand utopian, and on the other hand – immoral. He didn’t exclude however that in the future the well organized socialist movement would come into power. (shrink)

This note presents a point of view upon the notions of programsubstitution which are the tools for proving properties of programs of algorithmic logics [5], [3] being sufficiently strong and universal to comprise almost all previously introduced theories of programming, and the so-called extended algorithmic logic [1], [2] and algorithmic logic with nondeterministic programs [4]. It appears that the mentioned substitution rule allows us to examine more deeply algorithmic properties of terms, formulas and programs. Besides the problem of Post-completeness and (...) structural completeness of algorithmic logics strengthened additionally by the rule of substitution is raised. (shrink)

Alongside with ethics and religion, art occupies a prominent place in Michel Henry’s phenomenology of life. His opposition to Husserl and Heidegger, and his analyses of Wassily Kandinsky’s paintings and theoretical works, led Henry to the conclusion that the content of art is the ‘invisible life’. As a consequence, art – itself invisible though at the same time revealing the Life – becomes a means of achieving a non-intentional experience (pathos) of Life in its transcendental affectivity. The radical immanence of (...) experiencing art stands in sharp contrast to the visible external world, thus opening new directions in phenomenological study of both aesthetic and religious experience. In this article, I point out the ontological, epistemological and axiological limitations of Henry’s and Kandinsky’s art theory. (shrink)

En esta ponencia se pretende mirar de manera crítica las soluciones materialistas al problema mente cuerpo. En mi opinión esas soluciones son un obstáculo en desarrollo de una investigación trans-inter y multidisciplinaria en este campo de saber.