Формальна логіка: відмінності між версіями
Перейти до навігації
Перейти до пошуку
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м робот додав: ky:Формалдык логика, ar:منطق صوري |
Addbot (обговорення | внесок) м Вилучення 10 інтервікі, відтепер доступних на Вікіданих: d:q1437423 |
||
Рядок 14: | Рядок 14: | ||
[[Категорія:Філософська логіка]] |
[[Категорія:Філософська логіка]] |
||
[[Категорія:Математична логіка]] |
[[Категорія:Математична логіка]] |
||
[[ar:منطق صوري]] |
|||
[[az:Formal məntiq]] |
|||
[[bg:Формална логика]] |
|||
[[de:Formale Logik]] |
|||
[[et:Formaalloogika]] |
|||
[[ja:形式論理学]] |
|||
[[ko:형식논리학]] |
|||
[[ky:Формалдык логика]] |
|||
[[ru:Формальная логика]] |
|||
[[tr:Formel mantık]] |
Версія за 17:22, 25 березня 2013
Форма́льна ло́гіка — конструювання і дослідження правил перетворення висловів, що зберігають своє істинне значення безвідносно до змісту вхідних в ці вислови понять. У історії філософії — окремий розділ або напрям логіки кінця XIX — початку XX ст. У сучасному вжитку — синонім символічної, або математичної логіки.
Література
- J. M. Bocheński. Formale Logik. 5. unveränderte Auflage. Alber, Freiburg (Breisgau) u. a. 1996, ISBN 3-495-44115-8, (Orbis academicus 3, 2).
- Walter Bröcker. Formale, transzendentale und spekulative Logik. Klostermann, Frankfurt am Main 1962.
- Paul Hoyningen-Huene. Formale Logik. Eine philosophische Einführung. Reclam, Stuttgart 1998, ISBN 3-15-009692-8.
- Edmund Husserl. Formale und transzendentale Logik. Versuch einer Kritik der logischen Vernunft. 2. Auflage. Unveränderter Nachdruck der 1. Auflage 1929. Niemeyer, Tübingen 1981, ISBN 3-484-70129-3.
- Richaed Jeffrey. Formal Logic. Its Scope and Limits. 2. Auflage. McGraw-Hill, New York NY 1981, ISBN 0-07-032321-6.
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |