- Szczegóły
- Autor: Jerzy Wawro
- Kategoria: Sztuczna inteligencja
- Odsłon: 68
Klasyczna logika powinna służyć do formułowania poprawnych formalnie argumentów i niezawodnej argumentacji. W praktyce bywa wykorzystywana jako narzędzie perswazji. Weźmy na przykład tekst „wybitnego” logika obrazujący przykład zastosowania logiki do analizy pewnego problemu prawnego (tekst zaczerpnięty ze strony https://filozofuj.eu/jan-wolenski-godel-prawo/):
Można łatwo wykazać, że zastosowanie ustawy U do niej samej może prowadzić do paradoksu. TK, badając konstytucyjność danej ustawy, ma dwie możliwości. Po pierwsze, może stwierdzić, że ustawa jest konstytucyjna, lub, po drugie, może stwierdzić, że nie jest konstytucyjna. Oba te rozwiązania muszą być prawnie zagwarantowane i zgodne z konstytucją. W szczególności TK, badając daną ustawę, stosuje określone przepisy proceduralne, które prowadzą do takich lub innych skutków prawnych, niemogących kolidować z zasadami konstytucyjnymi.
Podkategorie
Teoria obliczeń Liczba artykułów: 1
Filozofia informatyki Liczba artykułów: 2
Refleksje nad istotą obliczeń oraz generowanej przez komputery rzeczywistości.