Avtor ugotavlja, da so se zamajale stare gotovosti zgodovine in zgodovinopisja, da se je črv dvoma zalezel najprej v spoznavno-epistemološke kriterije vede, v kritiko tako strukturalnih kot kvantifikativnih metod, potem pa se še razširil z razpravo o ločnici med zgodovinsko in literarno pripovedjo. Po njegovem mnenju se zato na doslej neznanem križišču srečujejo tekstna kritika, zgodovina knjige in sociologija kulture. Izzive vidi tako na metodološki kot na teoretski ravni in ugotavlja, da so se nekateri avtorji že uspešno spoprijeli z njimi: (...) nastajajo predlogi novih paradigem, med katerimi se mu med najbolj obetavnimi kažejo postopki mikrozgodovine. Opozarja tudi na novo branje zgodovine žensk oziroma na študij te zgodovine z novimi metodološkimi prijemi, kar bo zgodovino zopet in dokončno vrnilo med družbene vede - teza, za katere pripadnika se ima tudi avtor. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...) final public presentation by Hilbert of an axiom system for propositional logic is contained in the 1934 book Grundlagen der Mathematik, I (Hilbert and Bernays [1934] 1968). Sequent .. (shrink)

In the article the problem of transformation of the information received by the user on the Internet into his knowledge is investigated. The paper uses the main special scientific and logical research methods used in the social and humanitarian sciences. At the same time, the methods of systematic and value-worldview analysis of the phenomena of the spiritual world of a person are distinguished by the degree of significance, which allow us to study the problem of the dialectic of knowledge and (...) information on the Internet not in isolation, but in connection with the main phenomena of the spiritual life of people, taking into account the priority of value-worldview structures. The goal of the work is to find a priority factor that provides a higher degree of accuracy in the transformation of information from the Internet into human knowledge. It is shown that the nature of the world wide web to a certain extent complicates the process of translating information coming to a person into his knowledge. It is concluded that the condition for the transformation of information received by the user on the Internet is the cognitive activity of a person, due primarily to the development of its value and ideological sphere. If the cognizing person has sufficiently developed and stable value – ideological foundations of personality, he successfully realizes himself as a developing subject, an active participant in knowledge. On the contrary, insufficiently stable value-worldview sphere can lead to passive perception of information by the individual, adaptation to reality, simplification of personality. Information from the Internet in the most adequate form is transformed into a person’s knowledge on the basis of his own cognitive activity, in the presence of intellectual and volitional capabilities for verifying the information available on the Network. (shrink)