Фармальная лёгіка
Фармальная лёгіка[1] — лёгіка[2], стварае і дасьледуе правілы пераўтварэньня выказваньняў[3], якія захоўваюць сваё сапраўднае значэньне безадносна да зьместу, уваходныя ў гэтыя выказваньні паняцьцяў. У гісторыі філясофіі — асобны разьдзел або кірунак лёгікі канца XIX — пачатку XX стагодзьдзя. У сучасным ужываньні — сынонім сымбалічнай або матэматычнай лёгікі. Арыстоцель — стваральнік фармальнай лёгікі. Пазьней, у сярэднія стагодзьдзі, фармальна-лягічная частка вучэньня Арыстоцеля была адарваная ад зьмястоўнай і кананізаваная, выкарыстоўвалася як мэтадалягічная аснова сярэднявечнай схалястыкі.
Глядзіце таксама
[рэдагаваць | рэдагаваць крыніцу]Крыніцы
[рэдагаваць | рэдагаваць крыніцу]- ^ Фармальная логіка на Слоўнікорг
- ^ Фармальная логіка
- ^ Азначэньне словазлучэньня фармальная логіка(недаступная спасылка)
Літаратура
[рэдагаваць | рэдагаваць крыніцу]- Логіка выказванняў: вучэбны дапаможнік / Гарбузаў, Віктар Мікалаевіч; Немец, Уладзімер Сьцяпанавіч; ГрДУ імя Я. Купалы. — Гродна: ГрДУ, 1997. — 44 с.
- Матэматыка: вучэб.-мэтад. дапам. У 2 ч. Ч. 1 — 2-е выд., перапрац. / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., БДПУ, 2005. — 176 с.
- Матэматыка: вучэб.-мэтад. дапам. У 2 ч. Ч. 1. / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., 1996.
- Кантрольная праца па матэматыцы / Баранцэвіч, Канстанцін Зянонавіч; Пакала, Аляксандар Анатольевіч. — Мн., 1993.
- Геаметрыя 7 — 11. / Пагарэлаў А. — Мн., 1991.
- Задачнік-практыкум па матэматыцы / Пакала А. А. — Мн., 1994.
- Асновы пачатковага курса матэматыкі / Стойлава Л. П., Пышкала А. М. — Мн., 1990.
Вонкавыя спасылкі
[рэдагаваць | рэдагаваць крыніцу]
Фармальная лёгіка — сховішча мультымэдыйных матэрыялаў