Ne zaman Aristo insanı, kelimesiyle donatılmış hayvan olarak tanımlamıştır.logolar), fiziksel dünyanın soyutlama sürecini yalnızca bizim gerçekleştirebileceğimizi kastetti. dil. Dil, iletişim kurmamızı, soyut düşünmemizi, şeyleri ve nesneleri adlandırmamızı, bilimsel çalışmayı, sanatların yaratılmasını ve dünyamızın tüm sosyal ve politik örgütlenmesini sağlar. Ancak, düzgün çalışması için dilin de kurallara ihtiyacı vardır.
Ve dil mantığıbiçimsel dilsel organizasyona odaklanan, felsefeye özgü bir çalışma alanıdır. dilin her durumda düzgün çalışabilmesi için gerekli modu kurun özel. Sadece dil yoluyla değil, bir anlayış olarak mantık ve rasyonel organizasyon of Forms ayrıca matematikte nedensel bağlantılar kurmaya da adanmıştır. Yani bir matematiksel hesaplamanın sonucunun doğru olması için matematikçi veya işlemi yapan makine operasyon, rasyonel kurallara saygı duyan resmi bir standarda uygun olmalı, böylece kapsamına girmelidir. matematiksel mantık.
AristoPlaton'un bir öğrencisi olan Eflatun, tarihteki ilk felsefeyi anlamaya ve açıkça ortaya koymaya çalışan ilk filozoftur.
dil mantığının temelleriolarak bilinen bir dizi yazı bırakıyor. aristo mantığı ya da klasik mantık. Bu yazılarda, onu anlamanın yollarını bulabiliriz. akıl yürütmeler dilde tümdengelim ve endüktif kıyaslar, ayrıca bulduğumuz gibi aristoteles meydanıbelirli şekillerde bir araya geldiğinde, örneğin konuşmada anlaşmaya veya anlaşmazlığa neden olan dilsel öğelerin açıklanması ve nitelendirilmesi için bir çerçeve olan .Şimdi durma... Reklamdan sonra devamı var ;)
bu mantık, geçerli ve doğru dil biçimlerinin incelenmesi ve tanımlanması olarak, aynı zamanda, dilin geçerli ve doğru biçimlerinin tanımlanmasına ve nitelenmesine de adanmıştır biçimsel geçerlilik uyumlu ve doğru. Dil tarafından ifade edilenin biçiminin bu düzeltilememe durumlarını adlandıran sözcük, yanılgı. Yanlışlar, genel olarak, ifade edilen olgular arasında mantıksal bir bağ bulunmayan ya da Cümlelerin ifadelerinde ortaya çıkan etkileri tam ve doğru bir şekilde açıklayan nedensel bağlantılar analiz edildi.
19. yüzyılda Alman filozof Gottlob Frege mantık çalışmalarının daha büyük bir matematiksel anlayışına duyulan ihtiyacı ele alarak mevcut mantıkta devrim yarattı. adlı bir yöntem geliştirdi. yüklem hesaplamamatematiksel tümdengelim süreçleri aracılığıyla dilsel önermeleri analiz eder.
Frege'nin mantık ve dil felsefesine yaptığı katkılar günümüze kadar önemli kabul edilmiştir. bugün ve onlar olmasaydı, çeviri yapabilen bilgisayar programlama kodunun oluşturulması mümkün olmazdı. Zar şifreli diğer makineler tarafından. Bu, İngiliz matematikçi Frege'nin bıraktığı mantıksal teorik aygıt olmadan, Alan Turingbilişimin ve bilgisayarın “babası” olarak kabul edilen, ilkini inşa edemezdi. bilgisayar tarihin.
* Resim kredisi: Lens kapağı fotoğrafçılığı / Shutterstock.com
tarafından Francisco Porfirio
Felsefe mezunu
Bu metne bir okulda veya akademik bir çalışmada atıfta bulunmak ister misiniz? Bak:
PORPHYRIO, Francisco. "Mantık nedir?"; Brezilya Okulu. Uygun: https://brasilescola.uol.com.br/filosofia/o-que-logica.htm. 27 Haziran 2021'de erişildi.
Bilgi işlem
Kriptografi, kriptografi nedir, kriptografinin kullanımı, kriptografik anahtarlar, simetrik kriptografik anahtarlar, asimetrik kriptografik anahtarlar, kriptografik fonksiyonlar.
Matematiksel Mantık, matematiksel mantıkla ilgili eski kavram, matematiksel mantıkla ilgili yeni kavram, matematiksel mantığın gelişimi, matematiksel mantığın temel özellikleri.
