Веб-бібліотека - головна сторінка


Гелей С. Д., Пастушенко Р. Я. Теорія та історія кооперації:

Теоретичні основи кооперації. Правові засади діяльності кооперативних організацій в Україні. Кооперативні організації та системи кооперативів. Кооперативи. Природа кооперативів. Об'єднання кооперативів. Кооперативні системи. Типи та види кооперативів. Класифікація кооперативів. Кооперативи виробників. Кооперативи споживачів. Кооперативи виробників і споживачів. Кооперативні принципи. Принципи - фундамент кооперативу. Міжнародні та національні кооперативні принципи. Зміст міжнародних кооперативних принципів. Кооперативні цінності. Загальнолюдські цінності - підґрунтя кооперативних принципів. Базові цінності кооператорів. Етичні цінності кооператорів. Кооперативний рух. Кооперативна ідеологія...

Соціологія: Підручник / В.П.Андрущенко: Вступ до соціології. Що і як вивчає соціологія. Соціологія - наука про суспільство. Предмет та об'єкт соціології. З історії становлення соціології. Виникнення та становлення соціологічних знань. Джерела соціологічних знань. Розвиток соціальних знань в Стародавньому Світі. Формування соціологічної думки в Середньовіччя та епоху Відродження. Особливості розвитку соціальних знань в XVII ст. Філософія історії - новий етап в розвитку соціального пізнання. Становлення та розвиток соціології в XIX - XX ст.ст. (Класичний період). Опост Конт і Герберт Спенсер - основоположники соціології - самостійної науки. Дальший розвиток соціології в XIX ст. Психологічні школи в соціології. Емпіричні соціальні дослідження...
Подоляк Л.Г., Юрченко В.І. Психологія вищої школи: Психологія вищої школи, її предмет, завдання та методи. Криза освіти. Основні напрями реформування вищої освіти та науки у XXI столітті. Предмет і основні категорії психології вищої школи як нової галузі психологічної науки. Завдання психології вищої школи на сучасному етапі реформування вищої освіти в Україні. Зв'язок психології вищої школи з іншими науками. Методологія і принципи психологічного дослідження. Класифікація методів збору та інтерпретації емпіричних психологічних фактів. Поняття про методику психологічного дослідження. Дослідницькі вміння. Етика дослідника. Загальна психологічна характеристика студентського віку. Психологічна характеристика студентства як періоду пізньої юності або ранньої дорослості...
Геврик Є. О. Охорона праці: Соціально-економічні, правові та організаційні питання охорони праці. Основні правові та нормативні положення про охорону праці. Основні законодавчі акти. Гарантії прав громадян на працю, на відпочинок, охорону здоров'я та на охорону праці. Охорона праці жінок, неповнолітніх та інвалідів. Державний нагляд і громадський контроль за охороною праці. Державні міжгалузеві та галузеві нормативні акти про охорону праці. Організація охорони праці на підприємстві. У правління охороною праці. Основні принципи управління охороною праці. Функції управління охороною праці. Організація управління охороною праці. Організація навчання з охорони праці. Виробничий травматизм та захворюваність. Поняття про виробничий травматизм та професійні захворювання...

ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН

- один ИЗ трех главных законов традиционной логики, сформулированных Аристотелем. Его оригинальная формулировка "Оба утверждения А и US- не могут быть одновременно ложны". Но уже у самого Аристотеля в "Метафизике" встречается (не как закон, а как способ рассуждения) другая формулировка, в настоящее время более употребительная: "Одно из утверждений А или не-4 должно быть истинным" (сильный исключенного третьего закон) .
Эта формулировка получила в схоластической логике название tertium non datur.
Сам Аристотель указал и границу применимости tertium non datur, рассмотрев пример высказывания: "Завтра будет морское сражение", которое сегодня не истинно и не ложно.
На языке математической логики сильный исключенного третьего закон выражается формулой A v1 A, которая часто подменяет его в современных математизированных работах и называется математическим законом исключенного третьего. Но последний не эквивалентен ни сильному исключенного третьего закону, ни аристотелеву. В частности, в алгебраической интерпретации со значениями в булевой алгебре выполнены все законы классической логики, но как А, так и -А могут быть неистинны. Сильный исключенного третьего закон математически означает полноту используемой теории, что практически недостижимо.
Аристотелев закон (в первой формулировке) выполняется в интуиционистской логике, a tertium non datur носит в ней статус весьма нежелательного утверждения. Одним из способов показать конструктивную неприемлемость утверждения А является доказательство tertium, исходя из А. Впервые такой метод явно сформулировал В. Крейнович.
Сильный закон исключенного третьего оказался тем критическими местом, вокруг которого развивались дискуссии в течение всего времени существования логики как науки. Стоики и эпикурейцы рассматривали логики, несовместимые с законом исключенного третьего (как правило, не замечая разницы между его сильной и Аристотелевой формулировкой). Интуиционизм начинался с утверждения о недостоверности сильного исключенного третьего закона, но он опровергает его достаточно тонко, сохраняя слабый закон исключенного третьего и придавая ему точную математическую формулировку: 11C/lv14), не вводя дополнительных логических значений. Эту формулировку можно назвать брауэровым исключенного третьего законом. Первое формальное доказательство этого брауэрова закона дал Гливенко (1928). Многозначные логики в значительной степени появились как результат простейшей формулировки отрицания сильного закона исключенного третьего (может быть не два значения, а несколько).
В целом критику закона исключенного третьего (в его сильной форме) можно подытожить следующим образом. Он годится для рассмотрения терминов в фиксированной обстановке с фиксированной точки зрения. Он не подходит для меняющейся обстановки и субъективных понятий. Он не допустим даже для терминов, если нас интересует не просто доказательство, а построение.
Тем не менее во всех перечисленных случаях порою его использование корректно и весьма эффективно, но требует дополнительных обоснований. Так, в элементарной классической геометрии сильный закон исключенного третьего не влечет разрушения конструктивности доказательств.
Н. Н. Непейвода