In this paper we prove some results about the complexity of proofs. We consider proofs in Hilbert-style formal systems such as in [17]. Thus a proof is a sequence offormulas satisfying certain conditions. We can view the formulas as being strings of symbols; hence the whole proof is a string too. We consider the following measures of complexity of proofs: length , depth and number of steps For a particular formal system and a given formula A we consider the shortest (...) length of a proof of A , the minimal depth of a proof of A and the minimal number of steps in a proof of A . The main results are the following: a bound on the depth in terms of the number of steps: Theorem 2.2, a bound on the depth in terms of the length: Theorem 2.3, a bound on the length in terms of the number of steps for restricted systems: Theorem 3.1. These results are applied to obtain several corollaries. In particular we show: a bound on the number of steps in a cut-free proof, some speed-up results, bounds on the number of steps in proofs of Paris-Harrington sentences. Some papers related to our research are listed in the references. We were especially influenced by Parikh's paper [17] on the famous conjecture of Kreisel . Many important problems in this field remain open. We hope that our paper will contribute to progress in this area. It should be noted that some results of this paper can be equally well obtained using unification theory , by translating a complexity-of-proof problem into a unification problem. A unification algorithm solving the unification problem can then be constructed and the complexity of the unification algorithm analyzed. As pointed out by the referee this method can be used to solve the problem stated in Section 3 for some non-simple schematic systems. (shrink)

Suvremena umjetnost izgubila je svoju likovnost, a ostala joj je samo vizualnost. S druge strane, prijelaz od likovne moderne ka nelikovnoj suvremenoj umjetnosti donio je i mnogo novosti; jedna od njih je tzv. ‘probijanje četvrtog zida’. Radi se o kazališnom terminu koji označava trenutak kada se gledatelj na neki način interaktivno uključuje u predstavu, a likovi pokazuju svijest da su likovi u predstavi. Upravo će suvremena umjetnost istraživati postupke brisanja granica između umjetničkog i svakodnevnog čina, sugerirajući kako »sve je (...) umjetnost« i »svaki čovjek je umjetnik«. Novo je doba donijelo otuđenost javnosti od znanosti i umjetnosti, ali i nova filozofska tumačenja medijskog krajolika i hiperrealnosti postmoderne. Hiperrealne postaju i digitalne igre, od kojih se neke temelje upravo na rušenju »četvrtog zida«. Zbunjene reakcije na tehniku rušenja »četvrtog zida« variraju u rasponu od verbalnih reakcija na performance, preko previše doslovnog shvaćanja filmova pa sve do tragičnih nesreća, čak i samoubojstava povezanih s određenim digitalnim igrama. To da stvarnost oponaša hiperstvarnost postalo je uobičajeno, ali otvorilo se i pitanje: može li suvremeni pojedinac s time izaći na kraj? Modern art has lost its artistic character; only its visual aspect remains. On the other hand, the transition from modern fine arts towards non visual contemporary art has brought a great deal of novelties; one of these is “breaking the fourth wall”. This is a theatre term referring to moments when viewers become interactively involved in a play, and the characters become aware that they are characters in a play. Modern art has explored processes by which the border between artistic acts and everyday acts is erased, suggesting that “everything is art” and “every man is an artist”. The new era has caused the public to become alienated from science and the arts, but has also provided new philosophical interpretations of media landscapes and the hypperealism of the post-modern. Digital games are also becoming hyperrealistic, and some of these are founded on demolishing the “fourth wall”. Confused reactions to techniques of breaking the “fourth wall” vary from verbal reactions to a performance and excessively literal perceptions of film to tragic accidents or even suicides connected with particular digital games. Hyperreality mimicking reality has become commonplace, however the question arises: can the modern individual deal with this? (shrink)

Filozofija umjetnosti u mišljenju Anande Kentisha Coomaraswamyja povezana je tradicionalnom filozofijom. Estetika, u modernom smislu, nema veze s tradicionalnom filozofijom umjetnosti, čiji temeljni princip nije »umjetnik je posebna vrsta čovjeka«, nego »svaki je čovjek posebna vrsta umjetnika«. Coomaraswamy nastoji redefinirati suvremeni pristup umjetnosti. Suvremeni umjetnici ne stvaraju svoja djela u skladu s Vječnim Istinama. Apstraktna umjetnost nije ikonografija transcendentalnih formi nego stvarna slika razjedinjenog uma. U cilju redefiniranja pristupa umjetnosti, temeljni se jezik umjetnosti mora promijeniti; (...) edukatori i kustosi moraju biti odgovorni za poučavanje o istinskoj prirodi umjetnosti; umjetnost ne može biti jednaka estetskom iskustvu; društvo se mora reorganizirati u društvo bazirano na vokaciji, što je analogno Platonovu mišljenju.Philosophy of Art in the thinking of Anande Kentish Coomaraswamy is connected with traditional philosophy. Aesthetics in modern sense has nothing to do with traditional philosophy of art which basic principle is “The artist is not special kind of man” but “Every man is special kind of artist”. Coomaraswamy wants to redefine contemporary approach to art. Contemporary artist does not create in accordance with Eternal Truth.art is not iconography of transcendental forms but real picture of disoriented mentality. In order to redefine approach to art basic language of art must be changed; educators and curators must have responsibility to teach about true nature of art; art can not be equal with esthetic experience; society must be reorganized into one that is based on vocation in analogy with Plato’s thought. (shrink)

Sights of gothic cathedrals in Zygmunt Krasiński’s letters are proves of his great and deep fascination of medieval times. Following the examples of Goethe, Chateaubriand, and Friedrich he defines beauty of gothics churches. Such conact with a monumental architecture seems to be a pretext to estetic and philosophical reflections. Not only did he touch a matter of light in order to show the organic style of architecture, but also emphazised the importance of this case in creating a special style. View (...) of the church remains have got also some kind of a metaforic meaning fог the times that passed by and a symbol of previous generations. It makes us think about the significance of our life. (shrink)

Danilo Pejović je na Odsjeku za filozofiju, nakon Milana Kangrge, predavao estetiku od početka šezdesetih do početka sedamdesetih godina, kada je tu Katedru preuzeo Danko Grlić, zajedno s kojim je preveo Heideggerov tekst O bîti umjetnosti .U Pejovićevu promišljanju umjetnosti Heidegger je, kao i hermeneutika, bio glavni orijentir u razumijevanju umjetničkog djela preko paradigme jezika i u tom je kontekstu u suvremenoj filozofiji umjetnosti, posebno ukazujući i na značaj ekspresionizma, istraživao odnos umjetnosti i prirode, tehnike, oblika, (...) zbiljnosti, osjećajnosti, razumljivosti i slobode. Raspravljanje o mogućnosti umjetnosti Pejović uvijek postavlja u epohalni kontekst, ustvrđujući da je nakon smrti Goethea i Hegela umro i jedan svijet, koji s oscilacijama seže sve do Homerova doba, a Marx samo radikalizira Hegelovo pitanje o tome čemu još umjetnost,da bi se ono nakon Marxa, u doba tehnike, još više zaoštrilo.Pejović zastupa tezu da bez pojma slobode ne možemo dospjeti do toga što jest umjetnost, a živeći u svijetu prepunu oblika uništavanja ljudske slobode, gube se osjećajnost i ljepota kao pripadne umjetnosti.Danilo Pejović hat nach Milan Kangrga an der Abteilung für Philosophie vom Beginn der Sechziger bis zum Beginn der Siebziger Jahren Vorlesungen über die Ästhetik gehalten, als diesen Lehrstuhl Danko Grlić übernahm, mit wem er Heideggers Werk Der Ursprung des Kunstwerkes übersetzte.In Pejovićs Bedenken der Kunst war Heidegger neben der Hermeneutik der Hauptorientierungspunkt im Verstehen des Kunstwerkes mittels Sprachparadigma, und in diesem Kontext in der zeitgenössischen Kunstphilosophie, mit der besonderen Betonung auf die Wichtigkeit des Expressionismus, hat er die Beziehung zwischen Kunst und Natur, Technik, Formen, Wirklichkeit, Sensibilität, Verständlichkeit und Freiheit erforscht. Die Erörterung über die Möglichkeit der Kunst wird von Pejović immer in den Epochen-Kontext gesetzt, mit der Behauptung, dass nach Goethes und Hegels Tod eine Welt, die mit den Schwankungen noch vom Homers Zeitalter dauerte, gestorben ist, und Marx radikalisiert Hegels Frage darüber, warum noch die Kunst, nur dass diese Frage im Zeitalter der Technik nach Marx immer mehr verschärft wurde.Pejović vertritt die These, dass man ohne den Begriff der Freiheit das Wesen der Kunst nicht erreichen kann, und Leben in der Welt, die voll von Vernichtung der Freiheit der Menschen ist, führt zur Verlust der Sensibilität und Schönheit als angehöriger Kunst. (shrink)

Rasprava tematizira osnovne značajke ontologijskog prilaza umjetnosti u djelu Ivana Fochta, jednog od naših najvećih estetičara i ontologa umjetnosti. Problematskog je karaktera i obuhvaća četiri bitne teme njegova mišljenja: Istina i biće umjetnosti uvodi u središnju Fochtovu ˝pred-postavljenost˝, njegov ontologijski prosedê, pitanjem: Što je to biće umjetnosti?; Moderna umjetnost kao ontološki problem raspravlja problematiziranje ontoloških pitanja moderne umjetnosti i njezin promijenjeni status u bitku suvremenog svijeta: umjetnost više nije ˝Schein˝ nego ˝Sein˝ i spoznaje smisao bitka (...) tako što ga pravi; Bit književnosti ispituje ontološke pretpostavke književnog djela kao predmet specijalne ontologije umjetnosti : njezine ontološke ˝planove˝, mjesto među drugim umjetničkim vrstama i u modernoj umjetnosti; Bit glazbe suočava se s ˝tajnom glazbe˝: pitanje Što je glazba? jedno je od najtežih pitanja koja su se postavljala filozofiji umjetnosti; u glazbi, misli Focht, krije se odgovor na pitanje o tajni umjetnosti.The article places its interest on basic characteristics of ontological approach to artin the work of Ivan Focht, one of the greatest aestheticians and ontologists of art. Itconsists of four essential themes in his thought. The Truth and Being of art introducesus into central Focht’s »vor-stellung«, into his ontological procédé,with a question: ‘What is the being of art?’. Modern art as ontological problem discussesthe themes of ontological issues of modern art and its changed status in the Being of contemporary world; the artwork is no more Schein but Sein and it knows the meaning of Being by making it. TheEssence of Literature challenges ontological presuppositions of literary work , as an issue of special ontology of artwork – its ontological »landscapes«, its place amongother artistic forms and in modern art. The part Essence of Music confronts itselfwith »secret of music«; the question ‘What is Music?’ is one of the most complicatedquestions which were asked by philosophy of art. In the music, says Focht, is the hiddenanswer to the question on the secret of art itself. (shrink)

Istraživanje je provedeno na uzorku učenika trećih razreda strukovnih škola i gimnazija. Od uključenih učenika, gimnaziju je pohađalo njih 253, a srednje strukovne škole 352 učenika. Cilj istraživanja bio je ispitati neke specifičnosti u percepciji učenika srednjih škola o važnosti nastavnih predmeta iz područja likovnih umjetnosti. Napravljena je posebna analiza samo za dvije odabrane zavisne varijable: važnost nastavnih predmeta iz područja likovnih umjetnosti za razvoj pamćenja i sposobnosti za učenje ostalih nastavnih predmeta te interes i zadovoljstvo sudjelovanjem u (...) likovnim aktivnostima. Rezultati pokazuju da ne postoji statistički značajna razlika između učenika gimnazija i strukovnih škola u procjeni sudjelovanja u aktivnostima nastave likovne umjetnosti te u procjeni važnosti likovnih aktivnosti za razvoj pamćenja i sposobnosti za učenje ostalih predmeta. Postoji statistički značajna spolna razlika u procjeni sudjelovanja u aktivnostima nastave likovne umjetnosti te u procjeni važnosti likovnih aktivnosti za razvoj pamćenja i sposobnosti za učenje ostalih predmeta. Može se zaključiti da ispitanici nisu bili u mogućnosti procijeniti koliko i u koju svrhu će im u daljnjem školovanju i budućem zanimanju koristiti kompetencije stečene u nastavi likovne umjetnosti. This research was carried out on a sample of third year pupils of vocational schools and gymnasiums. Of the surveyed pupils, 253 of them attended gymnasiums, while 352 attended vocational secondary schools. The goal of this research was to examine specificities in secondary school pupils’ perceptions of the importance of subjects in the field of the fine arts. A separate analysis was undertaken for only two selected dependent variables: the importance of subjects in the field of the fine arts for developing memory and the ability to learn other subjects, and interest in and satisfaction with participation in fine arts activities. The results show that there is no statistically significant difference between the estimation of gymnasium and vocational school pupils regarding participation in fine arts activities or in their estimation of the importance of fine arts activities in developing memory and the ability to learn other subjects. There is a statistically significant gender difference in the estimation of participation in fine arts activities, as well as in the estimation of the importance of fine arts activities in developing memory and the ability to learn other subjects. It can be concluded that respondents were unable to estimate how much or why they would use competencies gained in fine arts teaching in their continued education or their future careers. (shrink)

The topic of the article is George Dickie’s institutional theory of art as one of contemporary art theories which purport to answer the “what is art?” question by defining the concept of art in terms of its necessary and sufficient conditions. Introductory part of the article brings a brief review of so-called functionalist theories, as well as of their shortcomings when compared to theories to which institutional theory belongs. Also included is a short survey of theories and arguments that significantly (...) influenced institutional theory, e.g. Danto’s “theory of meaning”. Next are presented the basics of the institutional theory. It is shown that advantages of this theory over other functionalist theories became especially visible after the appearance of art practices of the 20th century which rendered the difference between artistic and non-artistic objects extremely complex. (shrink)

This research was carried out on a sample of third year pupils of vocational schools and gymnasiums. Of the surveyed pupils, 253 of them attended gymnasiums, while 352 attended vocational secondary schools. The goal of this research was to examine specificities in secondary school pupils’ perceptions of the importance of subjects in the field of the fine arts. A separate analysis was undertaken for only two selected dependent variables: the importance of subjects in the field of the fine arts for (...) developing memory and the ability to learn other subjects, and interest in and satisfaction with participation in fine arts activities. The results show that there is no statistically significant difference between the estimation of gymnasium and vocational school pupils regarding participation in fine arts activities or in their estimation of the importance of fine arts activities in developing memory and the ability to learn other subjects. There is a statistically significant gender difference in the estimation of participation in fine arts activities, as well as in the estimation of the importance of fine arts activities in developing memory and the ability to learn other subjects. It can be concluded that respondents were unable to estimate how much or why they would use competencies gained in fine arts teaching in their continued education or their future careers. (shrink)

At the end of the nineteenth century, the main source of information about the city of Łódź were not local periodicals (as there were no such publications), but correspondence printed in Warsaw papers. Apart from regular reports, m years 1898 and 1899, in one of leading Warsaw daily papers, Kurier Warszawski, there appeared a series of articles under the title “Znasz-li ten kraj?” signed by Antoni Sygietyński. It was the aftermath of the writer’s visit in Łódź (as it was (...) noticed in Goniec Łódzki, Sygietyński arrived in the city on 3rd of December 1889). The reports concerning the life of the textile city appeared in six issues of Kurier Warszawski, dated from 5th, 6th, 15th and 17th of December 1989 and from 6th and 8th of January in the next year. The author of Na skałach Calvados underlined that the title of the series is not unintentional, because Łódź, according to him, was a fully developed city, which had vast contacts with other regions of the world (Russia, Far East, South and North America) rather than with the rest of Polish cities. The writer compares Łódź to a mushroom, which develops rapidly in favourable conditions, whereas in unfavourable circumstances it becomes a latent form of life. Sygietyński underlines also that the city’s growth and organization reminds an American model. The writer attempts to change a stereotypical opinions about the city, mainly concerning its rapid development of industry, huge number of inhabitants or a triplenational character of the textile metropolis. The author aims at acknowledging a true Lodzermensch, he scrutinizes the cultural life of the city. During his visit in Łódź Sygietyński took part in the opening night of Hauptman’s Dwór zatopiony, and in Christmas party in a catholic shelter for children. The meeting with the youngest citizens gave an opportunity for a closer examination of the conditions they lived in as well as of the financial straits their caretaker, Father Szmidel, was facing. The experience triggered an idea of a charity concert, which Sygietyński decided to organize in Łódź The income was donated for modernization of the shelter. The concert was organized on 25th of March 1899 with the participation of the most famous Warsaw artists (Kruszelnik Borcewicz, Michałowski, Wierzbiłowicz, Trenkiel). Such was the social and cultural scale of the event that it was reported in a number of newspapers. Głos underlined Sygietyński’s input into organization by describing him as „a moral impresario of the show”. The author of Wysadzony z siodla while organizing the concert had two main aims: first - to collect money for the shelter, and the second - to arouse a passion for art among the citizens of Łódź. (shrink)

U radu iznosimo shvaćanje da je novoplatonizam u Michelangelovom kiparstvu prisutan na dublji način nego li to shvaćaju oni koji u Michelangelovoj umjetnosti iznalaze tek simboličku ilustraciju određenog novoplatoničkog učenja. Novoplatonizam u Michelangelovoj skulpturi ne vidimo kao simboliku koja upućuje na određenu novoplatoničku teoriju. U tom bismo slučaju o novoplatonizmu u umjetnosti govorili kao o onome izvanjskom s obzirom na bit umjetničkog djela, budući da se samo nastajanje i jestvo umjetničkog djela ne temelji u postupku teorijskog razmatranja, već (...) u rukotvorenju. Polazimo od shvaćanja da je novoplatonizam s Michelangelom ostvaren izravno iz umjetničkog tvorenja u samom unutarnjem obliku umjetničkog djela.In the paper we propose attitude that Neoplatonism in Michelangelo’s sculpture is present in a deeper way than it is understood by those who in Michelangelo’s art find merely simbolic illustration of specific Neoplatonic learning. In Michelangelo’s sculpture we do not see Neoplatonism as a symbolism that is indicating a specific Neoplatonic theory. In that case we would be talking about Neoplatonism in the art as the external considering the proper essence of the work of art, since the proper emergence and beingness of the work of art is not founded in the act of theoretical consideration, but in handicrafting. Our starting point is the understanding that Neoplatonism with Michelangelo realizes itself directly out of artistic formation in the proper internal form of the work of art. (shrink)