Project information
Praktická aplikace logických softwarů při výuce formální logiky

Cílem projektu je určit a na konkrétních příkladech uplatnit softwarové nástroje pro logickou analýzu úsudků v rámci klasické (zčásti pak neklasické) logiky. Tyto nástroje jsou dvojího druhu: klasické programy (někdy v online verzi) jako např. automatický theorem prover s názvem Prover, někdy využívaný zejm. americkými filosofy, a současné známé AI nástroje, dle doporučení MU např. Copilot. Jde tedy o zařazení prvků informatiky, přesněji o tzv. computational philosophy, jež nyní zažívá vzestup, což je celospolečensky žádoucí i u humanitních oborů vč. filosofie. V minulosti pro výuku logiky v rámci filosofie nebyly dostupné a populárni AI nástroje a práce s tradičními programy byla i ve světě zcela vzácná a zpravidla z důvodu různých technických obtíží pro výuku nepoužitelná. Obecným cílem je připravit výuku nového typu dovedností, jež jsou vhodné pro současnou počítačovou éru.