Hrvatsko logičko udruženje

Dragi članovi i prijatelji,
pozivamo vas na seriju izlaganja povodom Svjetskoga dana logike

Poštovani članovi i prijatelji Hrvatskoga logičkoga udruženja,

povodom Svjetskog dana logike, 16. siječnja 2024., na Institutu za filozofiju u Zagrebu emer. dr. sc. Srećko Kovač održao je predavanje "Početci moderne logike u hrvatskih autora".

Ovim putem vas obavještavamo da je snimka predavanja dostupna na YouTube kanalu Hrvatskoga logičkoga udruženja:

prof. emer. dr. sc. Srećko Kovač - Početci moderne logike u hrvatskih autora Povodom Svjetskoga dana logike prof. emer. dr. sc. Srećko Kovač održao je predavanje "Početci moderne logike u hrvatskih autora". Sažetak predavanja: "Od sre...

Dragi članovi i prijatelji,
povodom Svjetskoga dana logike Hrvatsko logičko udruženje i Institut za filozofiju organiziraju predavanje dr. sc. Srećka Kovača "Početci moderne logike u hrvatskih autora", koje će se održati u utorak 16. siječnja 2024. u 18.00 u Velikoj dvorani Instituta za filozofiju (Ulica grada Vukovara 54, Zagreb, 5. kat).

Predavanje će se također moći pratiti online preko sljedeće poveznice:

https://teams.microsoft.com/l/meetup-join/19%3a6_7FOvUnguXeiLRI2lbHN6e54ws52CZz5Y8ndAXJRzE1%40thread.tacv2/1705071171780?context=%7b%22Tid%22%3a%224e776b27-f9db-4ecf-a040-79bdd4a9b97c%22%2c%22Oid%22%3a%2207f65ad7-b6dd-4b9c-b6a0-5e82044af284%22%7d

Meeting ID: 341 556 088 756
Passcode: NiBgaK

Dragi članovi i prijatelji,
u časopisu Distinctio, kojega je izvršni urednik naš član Mate Penava, možete pročitati izuzetno zanimljiv razgovor prof. Jure Zovka s proslavljenim nizozemskim logičarom Johanom van Benthemom, "Logic as the immune system of the mind":

Logic as the immune system of the mind | Distinctio: Journal of Intersubjective Studies Logic as the immune system of the mind A conversation with Johan van Benthem Authors Jure Zovko Hegel Society Croatia Johan van Benthem University of Amsterdam; Stanford University; Tsinghua University Beijing Keywords: Logic, monism, pluralism Downloads Pdf Published 2023-09-19 Issue Vol. 2 No. 1 (...

Poštovani članovi i prijatelji,
obavještavamo vas da snimku online predavanja Tina Adlešića (Učiteljski fakultet Sveučilišta u Zagrebu) "Teorija skupova u 19. i ranom 20. stoljeću", održanoga 25. svibnja 2023. u sklopu naših "Logičkih lekcija" (LOLE), možete pogledati na YouTube-kanalu Udruženja:

https://youtu.be/Da4kqKnN3xU.

Tin Adlešić – Teorija skupova u 19. i ranom 20. stoljeću Predavanje Tina Adlešića (Sveučilište u Zagrebu, Učiteljski fakultet), 11. u seriji "Logičke lekcije" (LOLE), održano 25. svibnja 2023.Sažetak predavanja:"Po...

Dragi članovi i prijatelji Hrvatskoga logičkoga udruženja,
podsjećamo vas na online predavanje Tina Adlešića (Učiteljski fakultet Sveučilišta u Zagrebu) "Teorija skupova u 19. i ranom 20. stoljeću", koje će se, u sklopu naših "Logičkih lekcija", održati u četvrtak 25. svibnja 2023. u 17.00 pomoću aplikacije Zoom. Predavanju će se moći pristupiti pomoću sljedeće poveznice:

https://us06web.zoom.us/j/81273973733?pwd=aVZSek1lQzZHeCttU1Qyb3V1THZQZz09

Meeting ID: 812 7397 3733
Passcode: 463462

Join our Cloud HD Video Meeting Zoom is the leader in modern enterprise video communications, with an easy, reliable cloud platform for video and audio conferencing, chat, and webinars across mobile, desktop, and room systems. Zoom Rooms is the original software-based conference room solution used around the world in board, confer...

Poštovani članovi i prijatelji Hrvatskoga logičkoga udruženja,
pozivamo vas na online predavanje Tina Adlešića (Učiteljski fakultet Sveučilišta u Zagrebu) "Teorija skupova u 19. i ranom 20. stoljeću", koje će se, u sklopu naših "Logičkih lekcija", održati u četvrtak 25. svibnja 2023. u 17.00 pomoću aplikacije Zoom.

Kako je uobičajeno, poveznicu za Zoom poslat ćemo vam početkom idućega tjedna u podsjetniku na predavanje.

Sažetak predavanja:
"Povijest teorije skupova možemo pratiti od sredine 19. stoljeća, a ideje i okolnosti iz kojih je nastala pojavljuju se već u 18. stoljeću. Poput većine modernih matematičkih disciplina, teorija skupova je dobrim dijelom oblikovana od nekolicine matematičara, ali to nipošto ne znači da nije bilo važnih doprinosa drugih matematičara. U ovom predavanju pokazat ćemo okolnosti koje su dovele do nastanka teorije skupova te njezin daljnji razvoj preko naivne teorije skupova do aksiomatizacije. Posebnu pažnju posvetit ćemo doprinosima najznačajnijih matematičara zaslužnih za njen razvoj."

Dragi članovi i prijatelji Hrvatskoga logičkoga udruženja,
ako ste propustili "Dijagonalni argument u teoriji skupova, izračunljivosti i logici", deseto predavanje u sklopu naših "Logičkih lekcija", koje je 20. travnja 2023. održao prof. dr. sc. Zvonimir Šikić, savjetnik u Centru za logiku i teoriju odlučivanja Sveučilišta u Rijeci i negdašnji predsjednik Udruženja (2011. – 2020.), predavanje možete pogledati na našem YouTube kanalu:

Zvonimir Šikić – Dijagonalni argument u teoriji skupova, izračunljivosti i logici Predavanje prof. dr. sc. Zvonimira Šikića (savjetnik u Centru za logiku i teoriju odlučivanja Sveučilišta u Rijeci), deseto u seriji "Logičke lekcije" (LOLE)...

Dragi članovi i prijatelji,
podsjećamo vas da u četvrtak 20. travnja 2023. u 17.00, u sklopu naših "Logičkih lekcija" [LOLE], prof. dr. sc. Zvonimir Šikić (Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci) drži predavanje "Dijagonalni argument u teoriji skupova, izračunljivosti i logici". Predavanje se održava pomoću aplikacije Zoom, a moći ćete mu pristupiti preko sljedeće poveznice:

https://us06web.zoom.us/j/84249724100?pwd=L0UyUUxMVGdUVGN0ZzNWaFlQQldwdz09

Meeting ID: 842 4972 4100
Passcode: 469697

Join our Cloud HD Video Meeting Zoom is the leader in modern enterprise video communications, with an easy, reliable cloud platform for video and audio conferencing, chat, and webinars across mobile, desktop, and room systems. Zoom Rooms is the original software-based conference room solution used around the world in board, confer...

Poštovani članovi i prijatelji Hrvatskoga logičkoga udruženja,
pozivamo vas na online predavanje prof. dr. sc. Zvonimira Šikića (Centar za logiku i teoriju odlučivanja Sveučilišta u Rijeci) "Dijagonalni argument u teoriji skupova, izračunljivosti i logici", koje će se, u sklopu naših "Logičkih lekcija", održati u četvrtak 20. travnja 2023. u 17.00 pomoću aplikacije Zoom.

Kao i obično, poveznicu za Zoom stavit ćemo za nekoliko dana u podsjetniku na predavanje.

Sažetak predavanja:
"Objasnit ćemo ulogu i povijest dijagonalnog argumenta u teoriji skupova, izračunljivosti i logici. Pokazat ćemo kako su primjene dijagonalnog argumenta u dokazima neograničenog rasta kardinala, neizračunljivosti svega što nije trivijalno izračunljivo i nepotpunosti formalnih sustava danas lako razumljive, zahvaljujući široko rasprostranjenom intuitivnom razumijevanju računalnih pojmova."

Dragi članovi i prijatelji,
podsjećamo vas da u četvrtak 30. ožujka 2023. u 17.00, u sklopu naših "Logičkih lekcija" [LOLE], dr. sc. Hrvoje Potlimbrzović (Odsjek za filozofiju Filozofskoga fakulteta Josipa Jurja Strossmayera u Osijeku) drži predavanje "Hrvatski sveučilišni udžbenici i skripte iz logike". Predavanje se održava pomoću aplikacije Zoom, a moći ćete mu pristupiti preko sljedeće poveznice:

Join our Cloud HD Video Meeting Zoom is the leader in modern enterprise video communications, with an easy, reliable cloud platform for video and audio conferencing, chat, and webinars across mobile, desktop, and room systems. Zoom Rooms is the original software-based conference room solution used around the world in board, confer...

Dragi članovi i prijatelji Hrvatskoga logičkoga udruženja,
pozivamo vas na predavanje dr. sc. Hrvoja Potlimbrzovića (Odsjek za filozofiju Filozofskoga fakulteta Josipa Jurja Strossmayera u Osijeku) "Hrvatski sveučilišni udžbenici i skripte iz logike", koje će se, u sklopu naših "Logičkih lekcija", održati u četvrtak 30. ožujka 2023. u 17.00 pomoću aplikacije Zoom. Niže u poruci možete pročitati sažetak predavanja, a poveznicu za Zoom postavit ćemo za nekoliko dana.

Sažetak:

Baš kao i srednjoškolska, hrvatska sveučilišna literatura iz logike ima dugu tradiciju. Njezine početke možemo pratiti od 1875. godine, kada je Franjo Marković na Mudroslovnom fakultetu Sveučilišta u Zagrebu predavao logiku prema skriptama koje je počeo sastavljati vjerojatno iste te godine. Prema dosad poznatim podacima, sadržaj tih obimnih skripti, čiji se litografirani rukopisni primjerci danas čuvaju u Arhivu Hrvatske akademije znanosti i umjetnosti, Marković je nadopunjavao sve do 1907. godine. U međuvremenu, nastale su i skripte iz logike Gavre Manojlovića. One su proizašle kao rezultat stenograma koji je 1899. godine, a prema Manojlovićevim predavanjima na Mudroslovnom fakultetu, načinio Milan Rosenberg. Oko pola stoljeća trebalo je strpjeti se do sljedeće logičke lektire za studente hrvatskih sveučilišta. Dočekali su je studenti Teološkog fakulteta Sveučilišta u Zagrebu 1951. godine, kada je Vilim Keilbach objavio dvojezičnu skriptu naslovljenu 'Ontologia: cui preaemittitur logica formalis', čiji je prvi dio posvećen logici napisan na latinskom, a drugi dio usmjeren na ontologiju napisan na hrvatskom jeziku. Iste godine objavljen je još jedan udžbenik, ovog p**a za studente matematike Prirodoslovno-matematičkog fakulteta Sveučilišta u Zagrebu. Napisao ju je Đuro Kurepa, a naslovio ju je 'Teorija skupova'.

Tek od 1996. godine možemo govoriti o kvantitativnom rasplamsavanju te vrste literature na hrvatskim sveučilištima. Te je godine Branko Ćirović objavio udžbenik za studente Filozofskog fakulteta Družbe Isusove Sveučilišta u Zagrebu pod naslovom 'Uvod u matematičku logiku i teoriju rekurzivnih funkcija'. Nakon njega, skripta ili udžbenike objavljivali su i, primjerice, sljedeći logičari: Pavle Papić, Mladen Vuković, Ivan Macan, Srećko Kovač i Mirko Jakić. Među njima, brojnošću se svakako ističu skripta i udžbenici koje je tijekom gotovo dvaju desetljeća dorađivao i objavljivao Vuković za studente zagrebačkog Prirodoslovno-matematičkog fakulteta.

Unatoč diskontinuitetu u pojavljivanju, tradicija visokoškolske logičke literature u Hrvatskoj prisutna je gotovo punih stotinu i pedeset godina. Ona svjedoči o prisutnosti tradicionalne i moderne logike u okviru hrvatske logičke baštine. Tijekom tih stoljeća i pol, njima su se služili studenti filozofije, teologije i matematike. S obzirom na razvoj logike tijekom druge polovice 20. stoljeća, danas je sve izraženija matematička komponenta njihova sadržaja.