Mantık nedir?

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 .

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

Kaynak: Brezilya Okulu - https://brasilescola.uol.com.br/filosofia/o-que-logica.htm

Adam Asmaca: Eğlenin ve Yunan mitolojisi bilginizi sınayın

Adam Asmaca: Eğlenin ve Yunan mitolojisi bilginizi sınayın

Mitoloji, her zaman evren, doğa ve insan yaşamındaki bazı olayları açıklamaya çalışır, bilimin ko...

read more

Dikkat Mart doğumlu: hükümet hediyesi var

Mart ayında doğanların kutlamak için harika nedenleri var. Bir başka yaşam yılına ek olarak, Fede...

read more
Güney Kore mahkemesi evlat edinme kurumuna tazminat ödeme emri verdi!

Güney Kore mahkemesi evlat edinme kurumuna tazminat ödeme emri verdi!

48 yaşındaki Güney Koreli bir adam, hükümeti çocukları ailelerinden ayırma konusunda ihmalkarlıkl...

read more