Filosofia:matemaattinen logiikka
symbolinen logiikka | matemaattinen logiikka
| symbolinen logiikka | |||
| matemaattinen logiikka |
Määritelmä
modernin logiikan muoto, jossa logiikka esitetään matemaattisten symbolien ja metodien avulla
Selite
Matemaattinen tai symbolinen logiikka käsittää klassisen lause- ja predikaattilogiikan matemaattisesti esitettynä, mutta myös modaalilogiikkaa ja tyyppiteoriaa on tehty matemaattisesti ja usein mm. joukko-opin ja laskettavuuden teorian katsotaan olevan osa matemaattista logiikkaa.
Leibnizia pidetään usein matemaattisen logiikan esimodernina edeltäjänä, mutta vasta George Boolen (1815-1864) ideaa loogisesta algebrasta (v.1847) voi pitää modernin matemaattisen logiikan syntynä. Matemaattinen logiikka olikin koko 1800-luvun pitkälti algebrallista, mutta 1900-luvun alussa sen rinnalle nousi idea esittää logiikka loogisen formaalikielen avulla. Gottlob Frege (1848-1925) esitti idean loogisesta universaalikielestä jo vuonna 1879 julkaistussa teoksessa Begriffsschrift, mutta tunnetuksi sen tekivät Bertrand Russell (1872-1970) ja Alfred Whitehead (1861-1947) teoksessaan Principia Mathematica (1910). Fregen, Russellin ja Whiteheadin filosofisena tavoitteena oli perustaa matemaattisten todistusten pätevyys logiikalle. Tähän Fregen ja Russellin logisismiin sisältyi platonistinen käsitys matematiikasta, mutta se sai rinnalleen useita vaihtohtoisia matematiikanperustafilosofisia teorioita ja käsityksiä, kuten intuitionismin, formalismin ja konstruktionismin.Erikieliset vastineet
| mathematical logic | englanti (English) | |
| symbolic logic | englanti (English) |
Lähikäsitteet
- intuitionistinen logiikka (alakäsite)
- klassinen logiikka (alakäsite)
- logisismi (funktiosuhde)
- looginen kieli (funktiosuhde)
- matematiikan filosofia (funktiosuhde)
- moderni logiikka (yläkäsite)
- symboli (funktiosuhde)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:matemaattinen logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:matemaattinen logiikka.)