Begriffsschrift
From Wikipedia, the free encyclopedia
Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (”Käsitekirjoitus: aritmetiikan mukaan rakennettu puhtaan ajattelun formaalinen kieli”) on Gottlob Fregen vuonna 1879 julkaisema lyhyt logiikan alan teos. Begriffsschrift, joka käännetään yleensä ”käsitekirjoitukseksi”, on kirjassa esitetyn formaalin logiikan järjestelmän nimi.
Pikafaktoja Begriffsschrift Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Löydä lisää kirjojaKirjallisuuden teemasivulta ...
Begriffsschrift Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens |
|
---|---|
Kirjailija | Gottlob Frege |
Kieli | saksa |
Genre | logiikka |
Julkaistu | 1879 |
Löydä lisää kirjojaKirjallisuuden teemasivulta |
|
Infobox OK |
Sulje
Begriffsschriftin voi hyvin katsoa olleen logiikan alan merkittävin teos sen jälkeen kun Aristoteles perusti alan. Fregen motivaatio kehittää oma formaalinen lähestymistapansa logiikkaan muistutti Gottfried Leibnizin motivaatiota kehittää omaa calculus ratiocinatoriaan. Frege hyödynsi loogista kalkyyliään tutkiessaan matematiikan perustaa seuranneen neljännesvuosisadan aikana.