Lista przedmiotów z materiałami udostępnionymi dla studentów

Dla_studentów
  • Increase font size
  • Default font size
  • Decrease font size

Piotr Szymański

Wybrane zagadnienia logiki kwantytatywnej dla inżynierów


Chosen issues of quantitative logic for engineers


Opiekun pracy dyplomowej: dr inż. Tomasz Lesz
Praca dyplomowa magisterska obroniona 2010-11-22
Streszczenie pracy dyplomowej:
Celem pracy było omówienie wybranych zagadnień logiki kwantytatywnej, przydatnych w działalności inżynierskiej, w tym klasycznego rachunku logicznego, czyli rachunku zdań i predykatów, oraz wybranych logik wielowartościowych i modalnych. W pierwszej części opisano system logiki kwantytatywnej, dokonano podziału dyskursów ze względu na zawartość ich dziedzin i przeciwdziedzin z uwzględnieniem równoważności epistemologicznej, a także przedyskutowano wybrane sposoby istnienia przedmiotów uwzglęniając równoważność ontologiczną. W drugiej części omówiono elementy logiki tradycyjnej, w tym sylogistykę Arystotelesa, a także podstawy rachunku logicznego wykorzystującego funktory zdaniotwórcze od argumentów nazwowych w dwóch interpretacjach: słabej i mocnej. Sformułowano dyrektywy poprawnych wnioskowań, zawierających po sześć reguł, dla schematów sylogistycznych w interpretacji mocnej i słabej. W ostatniej części zamieszczono program komputerowy wyprowadzający wnioski z przesłanek sylogistycznych dla 16 funktorów zdaniotwórczych od argumentów nazwowych. Przedstawiono jego kod, schemat blokowy, opisano interfejs graficzny oraz dokonano porównania wyników działania programu z rezultatami uzyskanymi z diagramów Eulera-Venna.
Abstract:
The purpose of this thesis is describing different aspects of quantitative logic, useful for engineering work, including classic logic, multiple-valued logic and modal logic. The first part of the thesis describes the system of quantitative logic, presents division of discourses with regard to the content of their domains and ranges, taking into consideration epistemological equivalence. Additionally, different ways of objects’ existence are discussed, taking into consideration ontological equivalence. The second part of the thesis describes elements of classic logic, Aristotle’s syllogism and basics of logical calculus. Directives of proper deduction, containing 6 rules, for syllogistic schemas in strong and week interpretation, are formulated. The last part of the thesis contains the printout of the computer program, the flowchart, description of the graphic interface and comparison of its results with results obtained from Euler-Venn diagrams.