Упорядкована логіка – це
Логіка відносин - розділ логіки (див. Логіка), присвячений вивченню відносин між об'єктами різної природи. У природних мовах відносини виражаються присудками пропозицій, що мають більше одного підлягає (або підлягає і одне або кілька… … Велика радянська енциклопедія
НАУКА — особливий вид пізнавальної діяльності, спрямований на вироблення об'єктивних, системно організованих та обґрунтованих знань про світ. Взаємодіє з ін. видами пізнавальної діяльності: повсякденним, художнім, релігійним, міфологічним … Філософська енциклопедія
СТОІЦИЗМ — СТОІЦИЗМ вчення однієї з найвпливовіших філософських шкіл Античності, заснованої прибл. 300 до зв. е. Зеноном зКитія; назва «Стоя» походить від назви «Розписного Портика» (Στοὰ Ποικίλη) в Афінах, де викладав Зенон.
Стереометрична семантика — трактування логіки як науки про отримання справжніх наслідків із справжніх посилок дедалі більше поступається місцем ширшої концепції,пов'язаної або з узагальненням поняття слідування, заснованого на традиційній істиннісній оцінці і на практичних проектування.
ДЕРЕВО — фундаментальний культурний символ, що репрезентує вертикальну модель світу, семантично фундовану ідеєю бінарних опозицій (як космологічно, так і аксіологічно артикульованих). У традиційній культурі виступає основним ... Історія Філософії: Енциклопедія
Множина — Цей термін має й інші значення, див. Множина (значення). Запит «Ціле» перенаправляється сюди; про тип даних у програмуванні див. Ціле (тип даних). Безліч одна з ключових понять математики, зокрема, теорії… … Вікіпедія
ДЕРЕВО - фундаментальнийкультурний символ, що репрезентує вертикальну модель світу, семантично фундовану ідеєю бінарних опозицій (як космологічно, так і аксіологічно артикульованих). У традиційній культурі виступає основним ... Історія Філософії: Енциклопедія
МОЖЛИВИХ СВІТІВ СЕМАНТИКА — МОЖЛИВИХ СВІТІВ СЕМАНТИКА метод логічного аналізу модальних та інтенсіональних понять, основу якого становить розгляд можливих станів справ (ідеальних альтернатив, описів станів, точок співвіднесення). Дунс Скот (1265 1308) ... ... Філософська енциклопедія
СТАВЛЕННЯ - в логіці те, що на відміну від властивості характеризує не окремий предмет, а пару, трійку і т.д. предметів. Традиційна логіка не розглядала О.; у сучасній логіці О. пропозиційна функція від двох або більшої кількості змінних. Бінарним … Філософська енциклопедія
Арифметика - Ганс Себальд Бехам. Арифметика. XVI століття Арифметика (ін. грец. ἀ … Вікіпедія
Драма - Д. як поетичний рід Походження Д. Східна Д. Антична Д. Середньовічна Д. Д. Ренесансу Від Відродження до класицизму Єлизаветинська Д. Іспанська Д. Класична Д. Буржуазна Д. Ро … Літературна енциклопедія