Önermeler Mantığında AnlambilimselEksiksizlik İspatları ve Meta-Mantıksal Yorumlamaları

Date

2017-06-29

Author

AKÇELİK, OĞUZ

Metadata

Show full item record

Item Usage Stats

8
views

0
downloads

Cite This

Bu çalışmada, önermeler mantığı dizgeleri ile bu dizgelerin anlambilimsel (semantik) yorumlamalarında eksiksizlik teoremlerive bu teoremlerin meta-mantıksal yorumlamaları incelenecektir.İlk bölümde, önermeler mantığı dizgesini oluşturan dil, bu dile ait yapısal kurallar ve çıkarım kurallar ortaya konulacaktır. Ardından sağlamlık ve tutarlılık teoremlerine geçilerek, türetilebilirlik vegeçerlilik arasındaki ilişkiye değinilecektir. İkinci bölümde, önermeler mantığı dizgeleri içerisinde eksiksizlik teoremleri sunulacak ve ardından bu teoremlerin meta mantıksal yorumlamalarına değinilecektir.

URI

https://hdl.handle.net/11511/81793
https://www.academia.edu/35837087/%C3%96nermeler_Mant%C4%B1%C4%9F%C4%B1nda_Anlambilimsel_Eksiksizlik_%C4%B0spatlar%C4%B1_ve_Meta_Mant%C4%B1ksal_Yorumlamalar%C4%B1

Collections

Department of Philosophy, Conference / Seminar