Zastosowania logiki formalnej do j\u0119zyk\u00f3w i teorii filozoficznych, w szczeg\u00f3lno\u015bci do system\u00f3w filozofii klasycznej. Prowadzone analizy umo\u017cliwi\u0142y dot\u0105d konstrukcj\u0119 sformalizowanych teorii kategorii ontycznych, teorii de modis essendi, teorii zmian substancjalnych oraz sformalizowanej wersji ontologii klasycznej. W ramach tego rodzaju zada\u0144 badawczych dokonuje si\u0119 tak\u017ce analiz i formalizacji fragment\u00f3w teodycei zar\u00f3wno w jej sformu\u0142owaniach klasycznych (w tym: argument\u00f3w na istnienie Boga autorstwa \u015bw. Anzelma, \u015bw. Tomasza, G. W. Leibniza), jak i wsp\u00f3\u0142czesnych (m. in. dowod\u00f3w ontologicznych Ch. Hartshorne\u2019a, K. G\u00f6dla, argument\u00f3w kosmologicznych w sformu\u0142owaniu o. J. M. Boche\u0144skiego). Przedmiotem bada\u0144 s\u0105 tak\u017ce pr\u00f3by sformalizowanego opisu teorii atrybut\u00f3w Boskich.<\/p>\n\n\n\n
Analizy wsp\u00f3\u0142czesnych uj\u0119\u0107 tradycyjnej logiki Arystotelesowskiej.<\/p>\n\n\n\n
Konstrukcje rachunk\u00f3w logicznych inspirowanych za\u0142o\u017ceniami filozofii klasycznej. W tym zakresie formu\u0142uje si\u0119 wybrane rozszerzenia logiki klasycznej do modalnych rachunk\u00f3w zmiany oraz rachunk\u00f3w epistemicznych.<\/p>\n\n\n\n
Metodologiczne podstawy i narz\u0119dzia nauk filozoficznych. Przeprowadza si\u0119 m. in. pr\u00f3by zastosowania wybranych teorii definicji, rozumowa\u0144 oraz podzia\u0142\u00f3w mnogo\u015bciowych i atrybutywnych do analizy dyskursu filozoficznego.<\/p>\n\n\n\n
Analizy paradoks\u00f3w zmienno\u015bci oraz warunki niesprzecznego u\u017cycia wybranych poj\u0119\u0107 teodycealnych (np. poj\u0119cia wszechmocy).<\/p>\n\n\n\n
Historia i wybrane wsp\u00f3\u0142czesne zastosowania klasycznej retoryki Arystotelesowskiej.<\/p>\n","protected":false},"excerpt":{"rendered":"
Zastosowania logiki formalnej do j\u0119zyk\u00f3w i teorii filozoficznych, w szczeg\u00f3lno\u015bci do system\u00f3w filozofii klasycznej. Prowadzone analizy umo\u017cliwi\u0142y dot\u0105d konstrukcj\u0119 sformalizowanych teorii kategorii ontycznych, teorii de modis essendi, teorii zmian substancjalnych oraz sformalizowanej wersji ontologii klasycznej. W ramach tego rodzaju zada\u0144 badawczych dokonuje si\u0119 tak\u017ce analiz i formalizacji fragment\u00f3w teodycei zar\u00f3wno w jej sformu\u0142owaniach klasycznych (w […]<\/p>\n","protected":false},"author":12,"featured_media":0,"parent":18027,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"page-templates\/template-sub-page.php","meta":{"inline_featured_image":false,"footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-18026","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/pages\/18026","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/comments?post=18026"}],"version-history":[{"count":2,"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/pages\/18026\/revisions"}],"predecessor-version":[{"id":18034,"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/pages\/18026\/revisions\/18034"}],"up":[{"embeddable":true,"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/pages\/18027"}],"wp:attachment":[{"href":"https:\/\/wfch.uksw.edu.pl\/wp-json\/wp\/v2\/media?parent=18026"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}