From Zakład Logiki Stosowanej

Wersja z dnia 17:59, 5 cze 2022 (edytuj) Pogonowski (Dyskusja | wkład) (→Prezentacje) ← Poprzednia edycja		Aktualna wersja (20:42, 26 maj 2024) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Logika algebraiczna)
(12 intermediate revisions not shown.)
Linia 19:		Linia 19:
	Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams].		Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams].
		+
		+	Sylabus: [[Media: Sylabus_logika_algebraiczna_2021.pdf | Sylabus]].
	==Prezentacje==		==Prezentacje==
Linia 37:		Linia 39:
	* [[Media: logalg08y.pdf | Logika niefregowska]]		* [[Media: logalg08y.pdf | Logika niefregowska]]
		+
		+	* [[Media: logalg09y.pdf | W-języki]]
		+
		+	* [[Media: logalg10.pdf | Teorie w W-językach]]
		+
		+	* [[Media: scifin.pdf | Skończone SCI-modele]]
		+
		+	* [[Media: scival.pdf | SCI: wartościowania prawdziwościowe]]
		+
		+	* [[Media: sciade.pdf | Modele dla SCI (1)]]
		+
		+	* [[Media: sciunc.pdf | Modele dla SCI (2)]]
		+
		+	==English summary==
		+
		+	* [[Media: algebraiclogic01.pdf | Algebraic logic]]
		+
		+	* [[Media: fws02.pdf | Non-Fregean logic]]
		+
		+	* [[Media: fws03.pdf | Theories in W-languages]]
	==Teksty źródłowe==		==Teksty źródłowe==
		+
		+	* [[Media: univ-algebra-burris-sankappanavar.pdf | Stanley Burris, H.P. Sankappanavar ''A course in universal algebra'']]
		+
		+	* [[Media: Wojcicki-Lectures.pdf | Ryszard Wójcicki ''Lectures on propositional calculi'']]
		+
		+	* [[Media: Bloom-Suszko-1972.pdf | Stephen L. Bloom, Roman Suszko ''Investigations into the sentential calculus with identity'']]
		+
		+	* [[Media: bloom_completeness_w-theories.pdf | Stephen L. Bloom ''A completeness theorem for theories of kind W'']]
		+
		+	* [[Media: suszko1968_ontology_in_the_tractatus_of_wittgenstein.pdf | Roman Suszko ''Ontology in the Tractatus of Wittgenstein'']]
		+
		+	Dalsze teksty źródłowe znajdą słuchacze w katalogu Pliki w MSTeams.
	==Tematy esejów zaliczeniowych 2021-2022==		==Tematy esejów zaliczeniowych 2021-2022==
		+
		+	* Tworzenie narzędzi i pozyskiwanie zasobów w grze Minecraft jako struktura algebraiczna
		+
		+	* Historia psychologizmu w logice
		+
		+	* Logika a ontologia: rozważania inspirowane powieścią ''Lód''
		+
		+	* Stałe logiczne - przegląd podejść do problemu
		+
		+	* Izomorfizm pomiędzy ISCI a intuicjonistyczną teorią typów
		+
		+	* Rozumienie pojęcia stałej logicznej
		+
		+	* Geneza i zastosowania logiki wielowartościowej Łukasiewicza
	[[Category:Dydaktyka]]		[[Category:Dydaktyka]]

---

Aktualna wersja

Spis treści 1 Logika algebraiczna 1.1 Prezentacje 1.2 English summary 1.3 Teksty źródłowe 1.4 Tematy esejów zaliczeniowych 2021-2022

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line

---

[edytuj] Logika algebraiczna

Wykład fakultatywny, kognitywistyka UAM.

Semestr zimowy 2021-2022

Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams].

Sylabus: Sylabus.

[edytuj] Prezentacje

• Plan wykładów

• Algebry, morfizmy, kongruencje

• Produkty algebr

• Kraty

• Algebry Boole'a

• Operacje konsekwencji

• Matryce logiczne

• Logika niefregowska

• W-języki

• Teorie w W-językach

• Skończone SCI-modele

• SCI: wartościowania prawdziwościowe

• Modele dla SCI (1)

• Modele dla SCI (2)

[edytuj] English summary

• Algebraic logic

• Non-Fregean logic

• Theories in W-languages

[edytuj] Teksty źródłowe

• Stanley Burris, H.P. Sankappanavar A course in universal algebra

• Ryszard Wójcicki Lectures on propositional calculi

• Stephen L. Bloom, Roman Suszko Investigations into the sentential calculus with identity

• Stephen L. Bloom A completeness theorem for theories of kind W

• Roman Suszko Ontology in the Tractatus of Wittgenstein

Dalsze teksty źródłowe znajdą słuchacze w katalogu Pliki w MSTeams.

[edytuj] Tematy esejów zaliczeniowych 2021-2022

• Tworzenie narzędzi i pozyskiwanie zasobów w grze Minecraft jako struktura algebraiczna

• Historia psychologizmu w logice

• Logika a ontologia: rozważania inspirowane powieścią Lód

• Stałe logiczne - przegląd podejść do problemu

• Izomorfizm pomiędzy ISCI a intuicjonistyczną teorią typów

• Rozumienie pojęcia stałej logicznej

• Geneza i zastosowania logiki wielowartościowej Łukasiewicza