Dil, Kanıt ve Mantık - Language, Proof and Logic
 | Bu makalenin birden çok sorunu var. Lütfen yardım et onu geliştir veya bu konuları konuşma sayfası. (Bu şablon mesajların nasıl ve ne zaman kaldırılacağını öğrenin) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)
|
Dil, Kanıt ve Mantık tarafından tasarlanmış ve yazılmış bir eğitim yazılım paketidir Jon Barwise ve John Etchemendy, öğretmeye yönelik biçimsel mantık Bir ders kitabı (paket ile aynı isim) ve üçünün mantıkla ilgili olduğu (Boole, Fitch ve Tarski's World) ve diğerinin (Gönder) internet tabanlı bir not verme hizmeti olduğu dört yazılım programı arasında sıkı bir entegrasyonun kullanılması yoluyla . Adı bir cinas elde edilen Dil, Gerçek ve Mantık felsefe kitabı A. J. Ayer.
2 Eylül 2014'te bir devasa açık çevrimiçi kurs (MOOC) aynı adı taşıyan ve bu eğitim yazılım paketini kullanan.
Açıklama
Programların kısa bir açıklaması:
- Boole (adını George Boole ) - doğruluk tablolarının ve ilgili kavramların oluşturulmasını ve kontrol edilmesini kolaylaştıran bir program (totoloji, totolojik sonuç, vb.);
- Fitch (adını Frederic Brenton Fitch ) - doğal bir kesintiye dayanıklı ortam Fitch tarzı analiz birinci dereceden kanıtları vermek ve kontrol etmek için;
- Tarski'nin Dünyası (adını Alfred Tarski ) - temel birinci dereceden dili ve anlambilimini teorik benzeri bir yaklaşım kullanarak öğreten, "dünya" nın küçük bir ızgaradan ve bazı basit nesnelerden oluştuğu bir program;
- Gönder - öğrencilerin yukarıdaki programlarla yaptıkları alıştırmaları çevrimiçi not verme hizmeti olan Grade Grinder'a göndermelerine olanak sağlayan bir program.[1]
Referanslar
- ^ Grim, P. (2001). "Dil, Kanıt ve Mantık". Sembolik Mantık Bülteni. 7 (3): 377–379. doi:10.2307/2687756. JSTOR 2687756.