İlksavlı kuram nedir, İlksavlı kuram ne demek

İlksavlı kuram; Mantık alanında kullanılan bir kelimedir.

Teknik terim anlamı:

bir kuram, kuramdaki mantıkça kapalı önerme kümesinin bir altkümesi olarak seçilen özel ilksavlar kümesi, özel ilksavlar kümesinden türetilebilen kanıtsavlar kümesi'nden oluşan dizge; başka bir deyişle geçerli bir biçimsel dizge ile özel ilksavlar kümesinin mantıksal kapanışından oluşan dizge. yorumsal eksikli ilksavlı kuram, yorumsal eksiksiz ilksavlı kuram, dizimsel eksikli ilksavlı kuram, dizimsel eksiksiz ilksavlı kuram, tutarlı ilksavlı kuram.

İlksavlı kuram anlamı, tanımı

İlksav : [Bakınız: belit]. Mantıksal ilksav ya da özel ilksav. bk. belit

Kura : İki veya daha çok aday arasında bir sıralama, bir ayırma yapılacağı zaman her birinde bir tek ad yazılı kâğıtları bir araya getirip karıştırdıktan sonra birini çekerek veya özel bir bilgisayar yazılımıyla adları belirleme, ad çekme. Kime veya neye isabet edeceği önceden belli olmayan bir çekimle sonucu belirleme.

Kuram : Uygulamalardan bağımsız olarak ele alınan soyut bilgi. Sistemli bir biçimde düzenlenmiş birçok olayı açıklayan ve bir bilime temel olan kurallar, yasalar bütünü, nazariye, teori. Belirli bir konudaki düşüncelerin, görüşlerin bütünü.

Tutarlı ilksavlı kuram : Her önermesi kanıtlanamayan ilksavlı kuram. Temel mantıklı tutarlı ilksavlı bir kuramın kanıtsavlar kümesinin doğrulayıcı yorumu vardır.

 

Yorumsal eksikli ilksavlı kuram : Olağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavlı kuram. Örnek: İlksavlı kümeler kuramı.

Yorumsal eksiksiz ilksavlı kuram : Olağan yorumda doğru olan her önermesi kanıtlanabilen tutarlı ilksavlı kuram. Örn. yalınç öbekler kuramı.

Dizimsel eksiksiz ilksavlı kuram : Her önermesi belirlenir olan tutarlı ilksavlı kuram; kanıtlanamayan herhangi bir önermenin ilksavlar kümesine katılmasıyla dizimsel tutarsız duruma dönüşen dizimsel tutarlı ilksavlı kuram.

Özel ilksavlar kümesi : Bir biçimsel dizgenin geçersiz önermeleri arasından seçilmiş, saptanır önerme kümesi.

Mantıksal kapanış : K gibi bir önerme kümesinin mantıksal kapanışı, K kümesinin mantıksal sonucu olan bütün önermelerin kümesi demektir. Böyle bir küme mantıkça kapalı bir önerme kümesidir.

Biçimsel dizge : Bir mantıksal dizge, özel ilksavlar kümesi, kanıtsavlar kümesi'nden oluşan dizge. bk. dizimsel dizge, tümdengelimli dizge, ilksavlı dizge. mantıksal dizge, kuram, ilksavlı kuram.

Kapalı önerme : İçinde hiç biri bağsız değişken geçmeyen düzgün tamdeyim. bk. önerme,kapalı tamdeyim, bildirsel tümce.

Özel ilksav : Özel ilksavlar kümesinin öğesi olan tamdeyim. bk. mantıksal olmayan ilksav. özel ilksavlar kümesi.

Mantıksal : Mantıklı.

Eksiksiz : Eksiği olmayan, tam, tamam. Tam olarak. İyi, namuslu, temiz.

Kanıtsav : [Bakınız: sav]. İlksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle ilksavlardan çıkarım kuralları yardımıyla türetilebilen tamdeyim. Temel mantıklı bir biçimsel dizgenin kanıtsavları yinelgen sayılabilir olan bir küme oluşturur. Tümdengelimci bir dizgede önsayıtlardan çıkarım kalıpları ya da kuralları aracılığıyla türetilen ya da kanıtlanabilen önerme.

 

Mantıkça : Mantık bakımından, mantığa göre, mantıken.

Biçimsel : Biçime dayanan, biçimle ilgili, şekle ait, şeklî, formel.

Diğer dillerde İlksavlı kuram anlamı nedir?

İngilizce'de İlksavlı kuram ne demek ? : axiomatic theorie, axiomatic formal theory, postulate theory