It is proved that MacLane''s coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with graphs (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.

It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with “graphs” (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.

Kulturu čitanja oblikuje niz individualno i društveno određenih čimbenika koji proizlaze i iz kulturne tradicije neke sredine zbog čega je status knjige neodvojiv od cjelokupnoga vrijednosnoga sustava pojedinoga društva. Učitelj materinskoga jezika ključna je figura u procesu literarnoga sazrijevanja buduće čitateljske publike, a njegova je uloga otežana društvenim promjenama u današnjem »računalnom« svijetu gdje su položaj čitatelja i knjige bitno izmijenjeni u odnosu na ne tako davnu prošlost. Ne možemo u svemu kriviti digitalne medije, pa tako ni za smanjeni interes (...) učenika za čitanje knjiga. U ovom radu raspravljat će se o složenosti obrazovnoga područja, o kulturi čitanja u novonastalom online okruženju te o promjenama koje donosi aktualni predmetni kurikul za Hrvatski jezik. Kritički će se razmotriti prednosti i nedostatci uporabe informacijsko-komunikacijske tehnologije u odgojno-obrazovnome procesu te ponuditi smjernice za funkcionalnu primjenu mrežnih alata i gotovih aplikacija u nastavi Hrvatskoga jezika. Dječje je odrastanje usko povezano s digitalizacijom i društvenim mrežama čiji utjecaj ne mora biti negativan, samo ga treba funkcionalno iskoristiti i usmjeriti pozornost neupitnom potencijalu dobre knjige. Istaknut će se opravdanost obvezne školske lektire i problem neuvažavanja čitateljskih interesa učenika mlađe školske dobi. U radu će biti ponuđen metodički predložak za interpretaciju lektirnoga naslova uz primjenu kreativnih mrežnih alata. The culture of reading is shaped by a number of individually and socially determined factors arising from the cultural tradition of a given environment, making the status of books inseparable from the entire value system of a given society. The teacher of the native tongue is a key figure in the process of literary maturation of the future reading public; the role of the teacher is hindered by social changes in the modern “digital” world, in which the position of the reader and the book are now significantly different than in the recent past. Digital media cannot be solely blamed for the reduced interest of pupils in reading books. This paper will discuss the complexity of the field of education, the culture of reading in the new online environment, and changes brought by the current Croatian language subject curriculum. The advantages and disadvantages of using IT technologies in educational processes will be critically examined; guidelines will also be offered for the functional implementation of internet tools and ready-made applications in Croatian language teaching. Children’s upbringing is closely tied to digitalisation and social networks, the influence of which are not necessarily negative; this influence must simply be used functionally to direct attention towards the unquestionable potential of good books. The justification for required reading will be noted, as will the problem of disregarding the reading interests of young pupils. The paper will offer a methodical contribution for the interpretation of required reading titles through the implementation of creative online tools. (shrink)

The culture of reading is shaped by a number of individually and socially determined factors arising from the cultural tradition of a given environment, making the status of books inseparable from the entire value system of a given society. The teacher of the native tongue is a key figure in the process of literary maturation of the future reading public; the role of the teacher is hindered by social changes in the modern “digital” world, in which the position of the (...) reader and the book are now significantly different than in the recent past. Digital media cannot be solely blamed for the reduced interest of pupils in reading books. This paper will discuss the complexity of the field of education, the culture of reading in the new online environment, and changes brought by the current Croatian language subject curriculum. The advantages and disadvantages of using IT technologies in educational processes will be critically examined; guidelines will also be offered for the functional implementation of internet tools and ready-made applications in Croatian language teaching. Children’s upbringing is closely tied to digitalisation and social networks, the influence of which are not necessarily negative; this influence must simply be used functionally to direct attention towards the unquestionable potential of good books. The justification for required reading will be noted, as will the problem of disregarding the reading interests of young pupils. The paper will offer a methodical contribution for the interpretation of required reading titles through the implementation of creative online tools. (shrink)

S'intende prendere in esame la comprensiones di Jordan Kunicic dei temi fondamentali della morale. Egli e uno dei teologi moralisti croati piu prestigiosi di questo secolo che ha svolto la sua attivita prima, durante e dopo il Concilio Vaticano II. La morale da lui proposta risale alla lunga tradizione Della teologia morale (neo)scolastica. Questo studio getta una luce sulla visione (neo)tomista della morale, senza la quale non e facile comprendere la discussione attuale della teologia morale. Vengono analizzati il concetto di (...) ordine morale oggettivo e soggettivo: la coscienza e l'atto morale. (shrink)

Članek je posvečen vprašanju, katere vire je pri pisanju svoje Cerkvene zgodovine oziroma dodatka k prevodu Evzebijevega istoimenskega dela uporabljal Rufin iz Akvileje. Iz samega besedila izhaja, da je upora­bljal tako ustne kot pisne vire, pri čemer Rufin prve večkrat navaja, drugih pa skorajda ne. Kljub temu je danes moč zanesljivo reči, da se je pri pisanju opiral na številne tako latinske kot grške vire. Rufinov ugled na področju (cerkvene) zgodovine je v zadnjem stoletju precej omajala teza, da je za (...) večji del svojega dodatka enostavno prevedel danes izgubljeno cerkveno zgodovino Gelazija iz Cezareje. Ker naj bi bilo vsebino slednje moč rekonstruirati iz kasnejših grških virov, je Rufinov dodatek v strokovnih krogih deležen manj pozornosti, kot si kljub svojim pomanjkljivostim zasluži. Članek se tako osredotoča predvsem na dva vidika Rufinovih pisnih virov — na vprašanje njegove odvisnosti od Gelazija in na vprašanje, za katere pisne vire dejansko lahko rečemo, da jih je uporabljal. (shrink)

Warren Buckland _The Cognitive Semiotics of Film_ Cambridge: Cambridge University Press, 2000 ISBN: 0-521-78005-5 (hb) xi +174 pp.

This article discusses the significance of social capital in Bourdieu-inspired analyses of contemporary South-East European societies. We first recapitulate Bourdieu?s theorization of social capital, emphasizing that it allows different operationalizations expressly because of its rather abstract theoretical character. Following that, we explain what is meant by?South- East European societies? and that their inequality-generating mechanisms are largely based on social closure. In the central part of the article, we comment on some attempts at operationalization of social capital in the SEE region. (...) While we also discuss two cases of eclectically mixing Lin?s operationalization with Bourdieusian concepts, at the center of our attention is the elaboration of Bourdieu?s theorization of social capital put forward by the Serbian sociologist Predrag Cveticanin. The relevance of his concepts of?social capital of solidarity? and?social capital of informal connections? for the study of class relations in post-socialist societies in South-East Europe highlights the advantages of a consistent application of the Bourdieusian framework in a contemporary context. (shrink)

It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with “graphs” (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.

An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical transformations are dinatural. An alternative sequent system for intuitionistic propositional logic is introduced as a device, and a cut-elimination procedure is established for this system.

Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations and whose composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer.

It is proved that equations between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equation in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categories, which is related to model-theoretic methods of normalization. This maximality of cartesian categories, which is analogous to Post (...) completeness, shows that the usual equivalence between deductions in conjunctive logic induced by βη normalization in natural deduction is chosen optimally. (shrink)

The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation if and only if they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. A generalization of the derivation consists in diversifying variables without changing the rules of inference. This paper examines in the (...) setting of categorial proof theory the conjecture that two derivations with the same premises and conclusions stand for the same proof if and only if they have the same generality. For that purpose generality is defined within a category whose arrows are equivalence relations on finite ordinals, where composition is rather complicated. Several examples are given of deductive systems of derivations covering fragments of logic, with the associated map into the category of equivalence relations of generality. This category is isomorphically represented in the category whose arrows are binary relations between finite ordinals, where composition is the usual simple composition of relations. This representation is related to a classical representation result of Richard Brauer. (shrink)

Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It (...) is found that with the simplest understanding of coherence this is the best one can hope for in bicartesian categories. The coherence for categories with binary products and sums provides an easy decision procedure for equality of arrows. It is also used to demonstrate that the categories in question are maximal, in the sense that in any such category that is not a preorder all the equations between arrows involving only binary products and sums are the same. This shows that the usual notion of equivalence of proofs in nondistributive conjunctive-disjunctive logic is optimally defined: further assumptions would make this notion collapse into triviality. (shrink)

This work discusses the creation, development, and key characteristics of philosophical periodicals in Serbia, as one of the most important institutional pillars for the development of a philosophical culture. The author shows that Serbian philosophical periodicals played a significant role in the development and dissemination, not only of its primary goal, philosophical culture, but also in building general standards of criticism, necessary for critical thinking in science and our society. At the end of the account, the author emphasizes that Serbian (...) philosophical periodicals, in over a century of development, have managed to establish a broad philosophical communication with various traditions, directions and streams of philosophical thought. However, due to strong ideological breaks in history, it was not able of maintaining the continuity necessary for establishing clear and strong scientific criteria in assessing philosophical output and other philosophical activity in our milieu. (shrink)

In this paper the author examines the key principles of Kant's conception of eternal peace and the possibility of an international legal order grounded in Reason. The central segment of the paper consists of an analysis of the problem of mediation between Kant's normative theory and political practice. U radu se razmatraju kljucni principi Kantove koncepcije Vecnog mira i mogucnosti umnog utemeljenja medjunarodnog pravnog poretka. Glavni deo ovog rada predstavlja analiza problema posredovanja izmedju Kantove normativne teorija i savremene politicke prakse.

Svojim kritickim filozofskim stavovima i idejama Kant je cesto izazivao burne reakcije ne samo filozofske vec i najsire kulturne javnosti svoga vremena. Medju njegovim idejama koje su pokrenule ostre filozofske sporove i kontroverze, najpoznatije su: sto ne vredi u teoriji, to ne vredi ni u praksi; o toboznjem pravu da se laze iz covekoljublja; protiv prava gradjana na pobunu i dr. Ipak, najvise paznje u evropskoj kulturnoj javnosti izazvala je Kantova ideja o radikalnom zlu, koja se u svom konacnom obliku (...) pojavila u njegovim poznim spisima o filozofiji religije. Negativne reakcije i osude Kantovih savremenika zamenili su, u XX veku, nista manje zbunjujuci prigovori savremenih Kantovih tumaca koji tvrde da Kantovo shvatanje radikalnog zla nije dovoljno radikalno. Pokusacemo da u ovom kratkom razmatranju ukazemo na glavne tacke tog filozofskog spora i Kantov pojam radikalnog zla ucinimo jasnijim. PR Projekat Ministarstva nauke Republike Srbije, br. 43007. (shrink)

Autor se bavi razmatranjem Jaspersovog shvatanja krize i razaranja ideje univerziteta i njegovim pokusajima da u svojim radovima iz 1923. godine i 1945. godine izvrsi rehabilitaciju ove ideje. Autor pokazuje da se Jaspers u svom razmatranju ideje univerziteta oslanja na premise izvedene iz implicitne sociologije nemackog idealizma. Za Jaspersa su institucije forme objektivnog duha koje mogu da funkcionisu samo dotle dok u zivoj formi ovaplocuju ideju koja joj je inherentna. Cim je napusti duh, institucija se okamenjuje u nesto sto je (...) samo mehanicko, poput organizma bez duse, koji se raspada u mrtvu materiju.. (shrink)

This work discusses the creation, development, and key characteristics of philosophical periodicals in Serbia, as one of the most important institutional pillars for the development of a philosophical culture. The author shows that Serbian philosophical periodicals played a significant role in the development and dissemination, not only of its primary goal, philosophical culture, but also in building general standards of criticism, necessary for critical thinking in science and our society. At the end of the account, the author emphasizes that Serbian (...) philosophical periodicals, in over a century of development, have managed to establish a broad philosophical communication with various traditions, directions and streams of philosophical thought. However, due to strong ideological breaks in history, it was not able of maintaining the continuity necessary for establishing clear and strong scientific criteria in assessing philosophical output and other philosophical activity in our milieu. (shrink)

Glavni zadatak ove rasprave predstavlja analiza i interpretacija problema obicajnosti centralne kategorije Hegelove prakticne filozofije. Autor u drugom delu rada daje pregled ruzlicitih oblika recepcije problema obicajnosti u savremenim interpretacijama Hegelove politicke filozofije.

Fichte's Philosophy of Freemasonry took as its object the culture of a secret society, quite influential and widespread but no less obscure in times of Enlightenment and early Romanticism. He tried clarify it from the perspective of classical German idealism, and to use it for his own purposes: through it, Fichte sought to realize the idea of man as citizen of the world and thus to influence the so-called or public society, as well as politics. Fihteova Filozofija masonstva predstavlja pokusaj (...) da se sa stanovista filozofije klasicnog nemackog idealizma rasvetli i preuzme, odnosno iskoristi za vlastite svrhe, jedna u doba prosvetiteljstva i rane romantike uticajna i rasirena, iako i u to vreme nista manje opskurna kultura tajnog drustva, da se preko nje ostvari ideja coveka kao svetskog gradjanina i da se na taj nacin izvrsi uticaj na tzv. veliko ili javno drustvo i na politiku. (shrink)

Author considering, appearing and existing modern idea about university like one of the most important institution of knowledge which is arise in modern epoch. In this work particular attention will be initiated on considered different ideas and conception university which were before so-called Himbolt?s idea of university which has global disposition and which is in the last two centuries regardless on period of crisis, had dominant position in contemporary high school education.. The second part of work is consecrated on analysis (...) constitute the first Serbian university. In this part of work will be analyze different treatise and projects of university which are during 19. and on the beginning of 20. century arise in circle of Serbian intellectual elite in which are essentially influence at form of institutionally profile the first Serbian university. The third part of work surround there different phase of develop on university and university education in Serbia in XX and on the beginning of XXI century. The first phase present the time between two war; the second phase is consecrate the time of and the third phase consecrate the last decade of XX and the first decade of XXI century in which are tempestuous changes in society announce new searching and fundamental over questioning the state in our high school institution with primary target that theirs work coordinate with standard of European universities and that way accomplish theirs integration in net of European universities. Autor razmatra uslove nastanka srednjovekovnog univerziteta, shvacenog kao korporacije fakulteta, i govori o filozofskim idejama koje su uticale na stvaranje i sirenje moderne ideje univerziteta, sigurno jedne od najznacajnijih institucija znanja koja je nastala u modernoj epohi. U ovom radu posebna paznja bice posvecena razmatranju razlicitih filozofskih ideja univerziteta koje su prethodile stvaranju tzv. Humboltove ideje univerziteta koja je u poslednja dva veka, bez obzira na periode krize, imala u savremenom visokom skolstvu dominantnu poziciju. Drugi deo rada posvecen je razmatranju procesa konstituisanja prvog srpskog univerziteta. U ovom delu rada bice analizirane razlicite rasprave i projekti univerziteta koji su tokom 19. i pocetkom 20. veka nastali u krugovima srpske intelektualne elite i koji su bitno uticali na institucionalni karakter i obrazovni profil prvog srpskog univerziteta. Treci deo rada obuhvata razmatranje cetiri razlicite faze razvitka modernog univerziteta i univerzitetske nastave u Srbiji u XX veku. Prvu fazu cini period od osnivanja Beogradskog univerziteta do pocetka Prvog svetskog rata. Druga faza je posvecena razmatranju univerzitetskog obrazovanja u medjuratnom periodu, a treca i cetvrta faza obuhvataju analizu razvitka i funkcionisanja univerziteta u doba komunizma i pocetak tranzicije. Burne promene u nasem drustvu devedesetih godina XX veka, najavile su nova traganja i temeljna preispitivanja stanja na nasim visokoskolskim institucijama s osnovnim ciljem da se njihov nacin i program rada uskladi sa savremenim evropskim univerzitetskim standardima i na taj nacin pripremi njihovo integrisanje u mrezu evropskih univerziteta. (shrink)

Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It (...) is found that with the simplest understanding of coherence this is the best one can hope for in bicartesian categories. The coherence for categories with binary products and sums provides an easy decision procedure for equality of arrows. It is also used to demonstrate that the categories in question are maximal, in the sense that in any such category that is not a preorder all the equations between arrows involving only binary products and sums are the same. This shows that the usual notion of equivalence of proofs in nondistributive conjunctive-disjunctive logic is optimally defined: further assumptions would make this notion collapse into triviality. (shrink)

The generality of a derivation is an equivalence relation on the set of occurrences of variables in its premises and conclusion such that two occurrences of the same variable are in this relation if and only if they must remain occurrences of the same variable in every generalization of the derivation. The variables in question are propositional or of another type. A generalization of the derivation consists in diversifying variables without changing the rules of inference.This paper examines in the setting (...) of categorial proof theory the conjecture that two derivations with the same premises and conclusions stand for the same proof if and only if they have the same generality. For that purpose generality is defined within a category whose arrows are equivalence relations on finite ordinals, where composition is rather complicated. Several examples are given of deductive systems of derivations covering fragments of logic, with the associated map into the category of equivalence relations of generality.This category is isomorphically represented in the category whose arrows are binary relations between finite ordinals, where composition is the usual simple composition of relations. This representation is related to a classical representation result of Richard Brauer. (shrink)

It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric strictly monoidal categories, where associativity arrows are identities. Mac Lane's pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degenerate case of Mac Lane's hexagonal condition for commutativity. This decomposition is analogous to the derivation of the Yang-Baxter equation from Mac Lane's hexagon and the naturality of commutativity. The pentagon (...) is reduced to an inductive definition of a kind of commutativity. (shrink)

It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism.

Coherence with respect to Kelly–Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propositions of classical linear first-order predicate logic without or with mix. To obtain this result, coherence is first established for categories that correspond to the multiplicative conjunction–disjunction fragment with first-order quantifiers of classical linear logic, a fragment lacking negation. These results extend results of [K. Došen, Z. Petrić, Proof-Theoretical Coherence, KCL Publications , London, 2004 ; K. Došen, Z. Petrić, (...) Proof-Net Categories, Polimetrica, Monza, 2007 ], where coherence was established for categories of the corresponding fragments of propositional classical linear logic, which are related to proof nets, and which could be described as star-autonomous categories without unit objects. (shrink)

It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism.

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.

This paper presents a coherence theorem for star-autonomous categories exactly analogous to Kelly and Mac Lane’s coherence theorem for symmetric monoidal closed categories. The proof of this theorem is based on a categorial cut-elimination result, which is presented in some detail.