Федеральный образовательный портал. Экономика. Социология. Менеджмент - http://ecsocman.edu.ru

10. http://ntl.narod.ru/logic/course/index.html: Учебные материалы по курсу логики (определения, задачи, примеры и т.д.).

11. http://www.logic.ru/Russian/LogStud/index.html: Электронный журнал «Логические исследования». Текущие публикации на соответствующие темы.

12. http://ntl.narod.ru/logic/index.html: Логика для всех.

13. http://golovolomka.hobby.ru/: Головоломки для умных людей.

14. http://www.logic.ru/Russian/: Логика в России.

15. http://www.logic.ru/Russian/LogStud/index.html: Электронный журнал «Логические исследования».

16. http://www.iph.ras.ru:8100/~logic/index.html: Сектор логики Института Философии РАН)

17. http://logic.radio-msu.net/Russian/depart/: Кафедра логики философского факультета МГУ им М.В. Ломоносова.

18. http://markov.math.msu.ru/rus/logic.htm: Кафедра мат. логики и теории алгорифмов (мехмат МГУ).

19. http://logic.pdmi.ras.ru/: Лаборатория логики Математического Института им. Стеклова, СПб.

20. http://www.math.nsc.ru/LBRT/logic/l1win.html: Лаборатория математической логики Математического Института им. Соболева, Новосибирск

21. http://www.csa.ru/diclirus/: Логика в России в XX веке (о тех, кто ею занимается).

22. http://www.rbjones.com/rbjpub/: Фактазия – энциклопедия по логике, эпистемологии, философии науки (на англ.яз.)

23. http://world.logic.at/: «Математическая логика по всему миру» – журналы и препринты по логике, логические группы, организации и т.п. (на англ.яз.)

24. http://ntl.narod.ru/logic/index.html: Логика для всех.

25. http://psi-logic.shadanakar.org/index.html Психологика (сайт Мирослава Войнаровского). Выложены оригинальные учебники по алгебре логики, исчислению высказываний и др. – всё с точки зрения программиста)

26. http://logic.philos.msu.ru/texts/markin.pdf – В.И. Маркин «Логика предикатов», статья из «Новой философской энциклопедии» (в формате PDF).

27. http://ntl.narod.ru/logic/course/index.html: Учебные материалы по курсу логики (определения, задачи, примеры и т.д.).

28. http://www.lewiscarroll.org/carroll.html: Сайт, посвященный Льюису Кэрроллу.

29. http://ntl.narod.ru/logic/smullyan/name/index.html: Книги Р. Смаллиана (логические головоломки и парадоксы).

30. http://www.mccme.ru/mmmf-lectures/books/books/books.php?book=20 Брошюра И.В. Ященко «Парадоксы теории множеств» из серии «Математическое просвещение».

31. http://golovolomka.hobby.ru/: Головоломки для умных людей.

32. http://golovolomka.narod.ru/ Энциклопедия головоломок.

33. http://www.geocities.com/TimesSquare/Maze/8561/truefals.htm: Логические головоломки.

34. http://www.caravan.ru/~stepler/: Логические задачи и головоломки.

35. http://forum.academ.org/index.php?showtopic=108181 Форум Новосибирского Академгородка «Логические парадоксы»

36. http://absolute.times.lv/psm/ Парадоксы, софизмы и прочее.

4.2. КРАТКИЙ ТЕРМИНОЛОГИЧЕСКИЙ СЛОВАРЬ (ГЛОССАРИЙ)

А

АКСИОЛОГИЧЕСКАЯ МОДАЛЬНОСТЬ - выражается понятиями «хорошо», «аксиологически безразлично», «плохо», «лучше», «равноценно», «хуже».

АНАЛОГИЯ НЕСТРОГАЯ - здесь связь между сходными и переносимыми признаками не является необходимой. Вывод является вероятностным.

АНАЛОГИЯ СТРОГАЯ - имеющиеся сходные признаки необходимо связаны с переносимым признаком. Вывод в этом случае является достоверным.

АРГУМЕНТЫ (ОСНОВАНИЯ ДОКАЗАТЕЛЬСТВА) - совокупность суждений, с помощью которых обосновывается некоторое положение или доказывается истинность какого-либо положения.

АТРИБУТИВНОЕ СУЖДЕНИЕ - суждение, утверждающее или отрицающее принадлежность предмету каких-либо свойств, состояний, видов активности.

Абстрагирование – процесс мысленного выделения, вычленения отдельных или общих свойств и отношений конкретного предмета.

Аксиома – истинное суждение, которое при дедуктивном построении некоторой теории принимается без доказательств.

Анализ – логический метод, связанный с мысленным расчленением предмета на составляющие части или элементы и исследованием их в отдельности друг от друга.

Аналогия – подобие, сходство предметов в каких-либо свойствах или признаках, на основании которого делается вывод об их тождественности.

Антитезис – суждение, противопоставляемое тезису в процессе спора или полемики.

Аподиктический – безусловный, достоверный, основанный на принципе логической достоверности.

Апория – термин, обозначающий неразрешимую логическую проблему.

Аргумент – основание логического доказательства, тезиса.

Алгоритмическая неразрешимость - в математической логике - свойство математической задачи, заключающееся в отсутствии алгоритма ее решения.

Антиномия - противоречие между положениями, каждое из которых признается логически доказуемым.

Б

Безусловная аналогия - аналогия, которая применяется тогда, когда точно и определенно установлена связь между общими признаками, имеющимися у обоих сопоставляемых предметов.

Безусловное суждение – суждение, в котором что-либо утверждается (отрицается) вне зависимости от какого-либо условия.

Больший термин – термин, который является предикатом заключения простого категорического силлогизма.

В

ВЕРСИЯ - гипотеза, выдвигаемая в ходе следственной или судебной деятельности.

ВИД - понятие, полученное в результате ограничения.

ВРЕМЕННАЯ МОДАЛЬНОСТЬ - выражается понятиями «всегда», «только иногда», «никогда», «было», «есть», «будет», «раньше», «одновременно», «позже».

Верификация - принцип установления осмысленности, т.е. возможности какого-либо высказывания оказаться истинным или ложным.

Вероятность - степень возможности какого-либо определенного события.

Видовое отличие - признак, отличающий предмет одного вида от предмета других видов, входящих в один и тот же род.

Вывод - последовательность высказываний или формул, состоящих из аксиом, посылок и ранее доказанных высказываний (теорем). Последняя из формул данной последовательности, выведенная как непосредственное следствие предыдущих формул по одному из правил вывода, представляет собою доказываемую формулу.

Высказывание – термин в логике, которым обозначается логический смысл какого-либо простого повествовательного предложения естественного языка.

Г

ГИПОТЕЗА - предположение, являющееся предварительным, достаточно условным объяснением некоторой совокупности явлений, событий, а также их взаимоотношений и связей. Гипотеза может быть также и предположением о существовании некоторого объекта. Различают общие, частные и единичные гипотезы.

ГИПОТЕЗА ЕДИНИЧНАЯ - обоснованное предположение о причинах, происхождении и взаимосвязях единичных фактов, единичных объектов действительности.

ГИПОТЕЗА ОБЩАЯ - предположение, являющееся достаточно обоснованным и характеризующее широкую область естественных или общественных явлений.

ГИПОТЕЗА ЧАСТНАЯ обоснованное предположение о причинах, происхождении или закономерностях некоторой части объектов, выделенных из всего класса, всей области естественных или общественных явлений.

Герменевтика - раздел эпистемологии и методологии науки, связанный с истолкованием текстов, их пониманием, смыслом.

Гипотеза - вероятное предположение о причине какого-либо явления , достоверность чего еще не доказана ни наукой, ни практикой.

Гипотеко-дедуктивный метод - способ научного исследования, согласно которому вначале выдвигаются несколько гипотез о причинах изучаемых явлений, а затем дедуктивным путем из гипотез выводятся следствия

Д

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, в котором выводное суждение следует из посылок с необходимостью, т.е. если посылки такого умозаключения истинны, то вывод будет обязательно истинным.

ДЕЛЕНИЕ ДИХОТОМИЧЕСКОЕ - деление, при котором объем делимого понятия распределяется на два противоречащих друг другу класса.

ДЕЛЕНИЕ ПОНЯТИЯ - логическая операция, раскрывающая объем понятия посредством разбиения его на виды.

ДЕМОНСТРАЦИЯ (ФОРМА) ДОКАЗАТЕЛЬСТВА - способ логической связи тезиса и аргументов, структура аргументации.

ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ - относится к нормативному знанию и находит свое выражение с помощью понятий «обязательно», «нормативно безразлично», «запрещено», «разрешено».

ДОКАЗАТЕЛЬСТВО - логическая операция обоснования истинности какого-либо положения с помощью других, истинных и связанных с ним положений.

Дедуктивное доказательство - одна из форм доказательства, являющийся частным суждением, подводится под общее правило.
Дедуктивное умозаключение - умозаключение, которое обеспечивает при истинности посылок и соблюдении правил логического вывода истинность заключения, следующего из этих посылок.

Дедукция – в широком смысле такая форма мышления, когда новая мысль выводится логическим образом. В узком смысле, принятом в традиционной логике, это дедуктивное умозаключение. В целом в логике, дедукция – это последовательность мыслей или суждений, каждый компонент которой логически вытекает из предыдущих мыслей или суждений.

Дедуцировать - выводить какие-либо заключения из данных посылок по правилам логики.

Демонстрация – логическое рассуждение, в процессе которого из аргументов выводится истинность или ложность тезиса.

Дефиниция - логическая операция определения.

Дискурсивный – обоснованный предыдущими рассуждениями.

Доказательство – в широком смысле логическое действие, в процессе которого устанавливается истинность какой-либо мысли. В логике под доказательством понимается последовательность формул, в которой каждая формула является либо аксиомой, либо следует из предшествующих формул по правилам вывода.

Достаточного основания (закон) – один из четырех законов формальной логики, согласно которому всякая истина должна быть обоснована другими мыслями, истинность которых доказана.

Диалектическая логика - наука, изучающая формы, содержание, закономерности исторического развития мышления, его взаимосвязи с объективной реальностью и с практической деятельностью человека.

Е

ЕДИНИЧНОЕ ПОНЯТИЕ - содержит в своем объеме лишь один элемент.

ЕДИНИЧНОЕ СУЖДЕНИЕ - суждение, предметом мысли которого является единичный объект, в объем субъекта которого входит лишь один элемент: «Данное S есть (не есть) Р».

Единичное суждение – такое суждение, в котором что-то утверждается или отрицается об отдельном предмете.

З

ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ - каждая истинная мысль должна быть достаточно обоснована другими истинными же суждениями.

ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО - из двух противоречащих друг другу суждений одно истинно, а второе - ложно. Третьего не дано. Формула этого закона: av-,a.

ЗАКОН НЕПРОТИВОРЕЧИЯ (ПРОТИВОРЕЧИВОСТИ) - два противоположных суждения не могут быть одновременно истинными - по крайней мере одно из них необходимо ложно. Он выражается формулой -ЧаА^а).

ЗАКОН ОБРАТНОГО СООТНОШЕНИЯ МЕЖДУ ОБЪЕМОМ И СОДЕРЖАНИЕМ ПОНЯТИЯ - расширение содержания понятия ведет к уменьшению его объема, а расширение объема понятия ведет к уменьшению его содержания.

ЗАКОН ТОЖДЕСТВА - всякая мысль в процессе рассуждения должна оставаться тождественной самой себе. То есть в процессе рассуждения нельзя произвольно изменять содержание некоторого понятия, того или иного термина или смысл некоторого суждения. В современной логике закон тождества трактуется так: всякое высказывание влечет само себя. Каждое суждение является необходимым и достаточным условием своей истинности. Закон тождества имеет формулу а=а, или а—>а.

Закон мышления - термин традиционной, формальной логики, обозначающий требование к логически совершенному мышлению, имеющее формальный характер, т.е. не зависящее от конкретного содержания мыслей.

Знак – материально-чувственный воспринимаемый объект, который символически отсылает нас к реальному объекту, обозначает его.

Значение – характеристика именования предметов, которая характеризует то, чем данный объект является для людей.

И

ИНДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, в котором заключение о свойствах каждого элемента некоторого множества делается на основании изучения свойств его отдельных элементов

ИМЯ – языковое выражение, непосредственно обозначающее какой-либо предмет.

Индуктивная логика – раздел логики, исследующая умозаключения, в которых мысль развивается от частного к общему, по принципу обобщения.
Индукция - в широком смысле это форма мышления, посредством которой мысль наводится на какое-либо общее правило, присущее всем единичным предметам какого-либо класса.

Исключенного третьего (закон) – один из основных законов формальной логики, согласно которому из двух противоречащих высказываний в одно и то же время в одном и том же отношении одно непременно истинно.

Дата добавления: 2015-06-30; просмотров: 246; Нарушение авторских прав

Мы поможем в написании ваших работ!