епілог

ЛОГІЧНІ ЗАКОНИ - закономірності процесу міркування, що виражають умови правильності, доказовості й адекватності мисленнєвої діяльності, її здатність одержувати істину, виходячи з існуючих істин. Порушення Л. з. призводить до виникнення логічних помилок, непослідовності в процесі міркування, прийняття хибних суджень за істинні. Л. з. визначають формальні правила переходу від одного судження до іншого в процесі міркування, забезпечують процес виведення одних суджень з інших шляхом перетворення їхньої форми при абстрагуванні від їхнього конкретного змісту. Основним Л.з. у традиційній логіці є суперечності закон, тотожності закон, виключеного третього закон та достатньої підстави закон. В математичній логіці статусу Л. з. набувають тавтології, завжди істинні вирази, кількість яких обмежується лише специфікою предметних галузей дослідження. Л. з., хоча і діють у сфері людського мислення, мають об'єктивний характер, тобто їхній зміст не залежить від волі і свідомості людей. Люди можуть відкрити Л. З., дослідити їх і свідомо користуватися ними, але не можуть створити, відкинути чи змінити їх. Підтвердженням цього є існування комп'ютерів, які функціонують згідно з відкритими логічними законами.

ЛОГІКА НАУКИ - комплекс філософських і формально-логічних досліджень структури наукового знання. Розвиток Л.н. пов'язаний з подоланням кризи в теоретичному природознавстві та основах математики, що виникла на рубежі XIX - XX ст. В теоріях, які вважалися класичними і надійними, виявилися суперечності; некритичне використання деяких понять поставило під сумнів засоби доказу, зокрема в математиці; з'ясувалося, що важливим теоретичним поняттям приписується смисл, несумісний із змістом даних теорій. Л.н. склалась як сукупність методів встановлення точного смислу термінів і тверджень наукових теорій, вивчення міри доказовості кожного з тверджень і аналізу надійності методів доказу. В сучасній науці з високою абстрактністю її побудов та зростаючою складністю логічної структури доказів Л.н. набуває дедалі більшого значення для з'ясування об'єктивної істинності теорій та перспектив їхнього розвитку Д. ля розв'язання цих важливих питань розвитку наукового знання, його теоретичних структур та емпіричного базису Л.н. використовує різні конкретно-методологічні підходи, в т.ч. метатеоретичні побудови, аналіз регулятивних принципів трансформації теорій, засоби інтерпретації, моделювання й розуміння мови науки. Оскільки важлива частина емпіричних теорій з формального боку не відрізняється по суті від математичних, на дослідження їх перенесено методи, що виправдали себе в математиці. Таким чином, істотно розширяється коло досліджуваних проблем і використовуваних методів та ідей. Фундаментальна для емпіричних теорій проблема співвідношення фактів і теоретичних узагальнень допускає формальний розгляд, але водночас порушує суто філософське питання. Аналіз змісту абстракцій, використовуваних сучасною наукою, з усією повнотою ставить питання про глибину відображення зовнішнього світу в поняттях. Нарешті, найважливіші результати метатеоретичних досліджень не можна зрозуміти без філософського осмислення. Таким чином, аналіз будови наукового знання, міри і характеру його обґрунтованості, форм зв'язку теорії з емпіричним матеріалом неминуче й органічно включає вивчення співвідношення теорії і об'єктивної дійсності. Л.н. стимулює і розвиток формальної логіки, зокрема її некласичних напрямів, і водночас потребує філософського аналізу понятійного апарату науки, узагальнення результатів метатеоретичних досліджень.

ЛОГІКА ПРЕДИКАТІВ - розділ математичної логіки, що являє собою певне розширення логіки висловлювань. На відміну від логіки висловлювань, де висловлювання розглядають як єдине ціле, в Л. п. береться до уваги їхня суб'єктнопредикативна структура.

лог; ложбина; лощина;

ЛОГІКА КЛАСІВ - розділ математичної логіки, в якому елементарні висловлювання (див. логіка висловлювань) розглядаються з боку їхньої суб'єктно-предикативної структури. Кожні суб'єкт і предикат, що входять до елементарного висловлювання, ототожнюються з їхнім обсягом, тобто класом (звідси - назва об'єктів, яким вони відповідають).

ЛОГІКА (грецьк. λογική - наука про умовивід, від λόγοξ - слово, поняття, судження) - дослідження міркувань (філософських, математичних та ін.) з метою створення теорії їх правильності. Необхідність цих досліджень виникає у зв'язку з потребами обґрунтування знання. В цьому аспекті Л. розглядалась багатьма філософами як частина теорії пізнання (органон). Предмет Л. уточнюється як дослідження не змісту міркування ("про що"), а його форми ("як"). У цьому аспекті Л. характеризується як формальна, на відміну від "змістовної", якою вважається діалектична Л. В сучасній Л. з появою таких розділів, як модальна Л., Л. дії, Л. запитань і відповідей та ін. її "формальність" вважається відносною і пов'язується із ступенем схематизації міркування, що робить відносним розподіл Л. на теоретичну і прикладну. Головні напрями досліджень у сучасній Л.: 1) теоретична Л.: теорія доведень, теорія аналізу, формальна семантика; 2) практична Л.: Л. дій, Л. рішень, евристика, праксеологія, конфліктологія; 3) філософська Л.: часова Л., динамічна Л., епістемічна Л., когнітивна Л., Л. тропів (метафор, аналогій), деонтична Л., Л. оцінок, Л. норм, Л. імперативів; 4) логічний аналіз мови: теорія комунікації, теорія аргументації, теорія мовленнєвих актів, аналіз дискурсу, дискусій, риторика, семіотика; 5) Л. інформаційних технологій: логіко-когнітивний аналіз, комп'ютерна Л., Л. програмування, Л. ''штучного інтелекту". Метапроблеми Л.: історія Л., соціологія Л., філософія Л., викладання Л.

ЛОГІЧНА СИМВОЛІКА - сукупність знаків, якими позначають логічні операції, структуру форм мислення тощо. За допомогою Л.с. досягають більш точного, однозначного тлумачення змісту висловлювання, характеру логічної дії.

ЛОГІЧНІ ЧИСЛЕННЯ - формалізовані дедуктивні системи, подані разом з їх інтерпретацією. Традиція використовувати числення для представлення знань і вирішення задач певного виду має походження з геометрії Евкліда. Прикладами числень є диференціальне й інтегральне числення, що розроблені в працях Ньютона та Ляйбніца і становлять основу математичного аналізу. Уточнення цього поняття здійснене в логіці математичній. Загальна теорія числень побудована Гільбертом, який, до того ж, дав аксіоматичне представлення геометрії Евкліда. Першими власне Л.ч. є алгебра логіки Буля, а також числення висловлювань та поширене числення предикатів Фреге, які частково втілюють ідею Ляйбніда про універсальну мову, що формалізує будь-які міркування. Базовими Л. ч. є числення висловлювань і числення предикатів.

ЛОГІКА КАТЕГОРНА - новий розділ математичної логіки, що базується на такій математичній дисципліні, як алгебраїчна теорія категорій, яка, поряд із теорією множин, застосовується як основа для розбудови усієї математики. Для конструювання Л.к. використовують спеціальні алгебраїчні категорії, які називаються топосами.

ЛОГІКА КОМБІНАТОРНА ( від лат. combino - з'єдную) - спосіб побудови логічної системи з термами як послідовностями комбінаторів (аналогами функцій) і формулами як твердженнями про їх рівність.

ЛОГІКА КОНСТРУКТИВНА - напрям математичної логіки, в якому досліджуються міркування про об'єкти та їхні властивості, для яких існують способи побудови чи перевірки їх існування.

ЛОГІКА НОРМ - див. Деонтична логіка.

ЛОГІЧНА СЕМАНТИКА - моделювання на логічній мові змісту висловлювань і основних семантичних понять.

ЛОГІЧНЕ ПРОТИРІЧЧЯ - наявність двох висловлювань, з яких одне є запереченням іншого. Те, що стверджується в одному з них, заперечується в іншому. Л.п. має місце тільки за тих умов, коли твердження і заперечення є здійсненними стосовно одного й того ж об'єкта, у той же самий час і в одному й тому ж відношенні (Аристотель, "Метафізика"). У формальних системах формула вважається Л.п., коли в системі породжується її заперечення. З семантичної точки зору, Л.п. є формула певної логічної системи, яка хибна у всіх моделях цієї системи. Щодо множини висловлювань кажуть, що вона є суперечливою, якщо принаймні одне з її висловлювань має значення ''хибне". Суперечливість множини висловлювань є запереченням її несуперечності (див. несуперечність).

ҷар, оббурда, сой

лог м. Becken n; Erosionsrinne f; геол. Hohlweg m; Runse f

ЛОГІКА РІШЕНЬ - напрям, головною метою якого є аксіоматизація теорії прийняття рішень.

ЛОГІЧНИЙ ПОЗИТИВІЗМ - див. Неопозитивізм.