Библиотека Рефераты Курсовые Дипломы Поиск
Библиотека Рефераты Курсовые Дипломы Поиск
сделать стартовой добавить в избранное
Кефирный гриб на сайте www.za4et.net.ru

Математика Математика

Математическая логика и логика здравого смысла

Горшок торфяной для цветов.
Рекомендуются для выращивания крупной рассады различных овощных и цветочных, а также для укоренения саженцев декоративных, плодовых и
7 руб
Раздел: Горшки, ящики для рассады
Ручка "Помада".
Шариковая ручка в виде тюбика помады. Расцветка корпуса в ассортименте, без возможности выбора!
25 руб
Раздел: Оригинальные ручки
Крючки с поводками Mikado SSH Fudo "SB Chinu", №4BN, поводок 0,22 мм.
Качественные Японские крючки с лопаткой. Крючки с поводками – готовы к ловле. Высшего качества, исключительно острые японские крючки,
58 руб
Раздел: Размер от №1 до №10

СОДЕРЖАНИЕ Введение 1.Математическая логика (бессмысленная логика) и логика «здравого смысла» 2. Математические суждения и умозаключения 3.Математическая логика и «Здравый смысл» в XXI веке. 4.Неестественная логика в основаниях математики Заключение Список литературы Введение Расширение области логических интересов связано с общими тенденциями развития научного знания. Так, возникновение математической логики в середине XIX века явилось итогом многовековых чаяний математиков и логиков о построении универсального символического языка, свободного от «недостатков» естественного языка (прежде всего его многозначности, т.е. полисемии). Дальнейшее развитие логики связано с совокупным использованием классической и математической логики в прикладных областях. Неклассические логики (деонтическая, релевантная, логика права, логика принятия решений и др.) часто имеют дело с неопределенностью и нечеткостью исследуемых объектов, с нелинейным характером их развития. Так, при анализе достаточно сложных задач в системах искусственного интеллекта возникает проблема синергизма различных типов рассуждения при решении одной и той же задачи. Перспективы развития логики в русле сближения с информатикой связаны с созданием определенной иерархии возможных моделей рассуждения, включающих рассуждения на естественном языке, правдоподобные рассуждения и формализованные дедуктивные выводы. Это решается средствами классической, математической и неклассической логик. Таким образом, речь идет не о разных «логиках», а о разной степени формализации мышления и «размерности» логических значений (двузначная, многозначная и др. логика). Выделение основных направлений современной логики: 1. общей, или классической логики; 2. символической, или математической логики; 3. неклассической логики. Математическая логика (бессмысленная логика) и логика «здравого смысла» Математическая логика понятие достаточно неконкретное, из-за того, что математических логик также бесконечно много. Здесь будем обсуждать некоторые из них, отдавая больше дань традиции, чем здравому смыслу. Поскольку, весьма возможно, в этом и заключен здравый смысл. Логично? Математическая логика учит логично рассуждать не больше, чем любой другой раздел математики. Это связано с тем, что &quo ;логичность&quo ; рассуждений в логике определяется самой логикой и корректно может использоваться только в самой логике. В жизни же мы, размышляя логически, как правило используем разные логики и разные методы логических рассуждений, безбожно перемешивая дедукцию с индукцией. Более того, в жизни мы строим свои рассуждения исходя из противоречивых посылок, например, &quo ;Не откладывай на завтра, что можно сделать сегодня&quo ; и &quo ;Поспешишь людей насмешишь&quo ;. Нередко бывает, что непонравившийся нам логический вывод приводит к пересмотру исходных посылок (аксиом). Пожалуй, настало время сказать про логику, возможно, самое главное: классическая логика не занимается смыслом. Ни здравым, ни каким другим! Для изучения здравого смысла, между прочим, существует психиатрия. Но в психиатрии логика скорее вредна.

Разумеется, размежевывая логику со смыслом, имеем в виду прежде всего классическую логику и житейское понимание здравого смысла. Нет запретных направлений в математике, поэтому исследование логикой смысла, и наоборот, в различных видах присутствует в ряде современных ответвлений логической науки. (Хорошо сложилось последнее предложение, хотя определить термин &quo ;логическая наука&quo ; не возьмусь даже приблизительно). Смыслом, если угодно - семантикой, занимается, например, теория моделей. Да и вообще, термин семантика часто заменяют термином интерпретация. И если мы согласимся с философами, что интерпретация (отображение!) об'екта есть осмысление его в некотором данном аспекте, то пограничные сферы математики, которые могут привлекаться для наступления на смысл в логике, становятся неохватными! В практическом плане семантикой вынуждено интересоваться теоретическое программирование. А в нем, кроме просто семантики, есть и операционная, и денотационная, и процедуральная и т.д. и т.п. семантики. Еще лишь упомянем апофеоз - ТЕОРИЮ КАТЕГОРИЙ, которая довела семантику до формального малопонятного синтаксиса, где смысл уже настолько простой - разложенный по полочкам, что до него простому смертному совсем невозможно докопаться. Это для избранных. Так чем же занимается логика? Хотя бы в самой классической ее части? Логика занимается только тем, чем она занимается. (А это она определяет предельно строго). Главное в логике – это строго определиться! Задать аксиоматику. А дальше логические выводы должны быть(!) в значительной степени автоматическими. Другое дело рассуждения по поводу этих выводов! Но эти рассуждения уже вне рамок логики! Поэтому в них требуется строгий математический смысл! Может показаться, что это простая словесная эквилибристика. НЕТ! В качестве примера некоторой логической (аксиоматической) системы возьмем известную игру 15. Зададим (перемешаем) начальное расположение квадратных фишек. Далее игрой (логическим выводом!), а конкретно - перемещением фишек на свободное место, может заниматься некое механическое устройство, а вы можете терпеливо смотреть и радоваться, когда в результате возможных передвижек в коробочке сложится последовательность от 1 до 15. Но никто не запрещает контролировать механическое устройство и подсказывать ему, ИСХОДЯ ИЗ здравого СМЫСЛА правильные перемещения фишек, чтобы ускорить процесс. А может быть даже доказать, используя для логических рассуждений, например, такой раздел математики, как КОМБИНАТОРИКА, что при данном начальном расположении фишек получить требуемую финальную комбинацию невозможно вообще! Не больше здравого смысла присутствует и в той части логики, которую называют ЛОГИЧЕСКОЙ АЛГЕБРОЙ. Здесь вводятся ЛОГИЧЕСКИЕ ОПЕРАЦИИ и определяются их свойства. Как показала практика, в некоторых случаях законы этой алгебры могут соответствовать логике жизни, а в некоторых нет. Из за такого непостоянства законы логики нельзя считать законами с точки зрения практики жизни. Их знание и механическое использование может не только помогать, но и вредить. Особенно психологам и юристам.

Ситуация осложняется тем, что наряду с законами алгебры логики, которые то соответствуют, то не соответствуют жизненным рассуждениям, есть логические законы, которые часть логиков категорически не признают. Это относится прежде всего к так называемым законам ИСКЛЮЧЕННОГО ТРЕТЬЕГО и ПРОТИВОРЕЧИЯ. 2. Математические суждения и умозаключения В мышлении понятия не выступают разрозненно, они определенным способом связываются между собой. Формой связи понятий друг с другом является суждение. В каждом суждении устанавливается некоторая связь или некоторое взаимоотношение между понятиями, и этим самым утверждается наличие связи или взаимоотношений между объектами, охватываемыми соответствующими понятиями. Если суждения правильно отображают эти объективно существующие зависимости между вещами, то мы такие суждения называем истинными, в противном случае суждения будут ложными. Так, например, суждение &quo ;всякий ромб является параллелограммом&quo ; - истинное суждение; суждение &quo ;всякий параллелограмм является ромбом&quo ; - ложное суждение. Таким образом, суждение - это такая форма мышления, в которой отображается наличие или отсутствие самого объекта (наличие или отсутствие каких-либо его признаков и связей). Мыслить - значит высказывать суждения. С помощью суждений мысль, понятие получают свое дальнейшее развитие. Так как во всяком понятии отображается определенный класс объектов, явлений или взаимоотношений между ними, то всякое суждение можно рассматривать как включение или невключение (частичное или полное) одного понятия в класс другого понятия. Например, суждение &quo ;всякий квадрат есть ромб&quo ; указывает, что понятие &quo ;квадрат&quo ; включается в понятие &quo ;ромб&quo ;; суждение &quo ;пересекающиеся прямые не являются параллельными&quo ; указывает, что пересекающиеся прямые не принадлежат множеству прямых, называемых параллельными. Суждение имеет свою языковую оболочку - предложение, однако не всякое предложение является суждением. Характерным признаком суждения является обязательное наличие истинности или ложности в выражающем его предложении. Например, предложение &quo ;треугольник АВС равнобедренный&quo ; выражает некоторое суждение; предложение &quo ;Будет ли АВС равнобедренным?&quo ; не выражает суждения. Каждая наука по существу представляет собой определенную систему суждений об объектах, являющихся предметом ее изучения. Каждое из суждений оформляется в виде некоторого предложения, выраженного в терминах и символах, присущих этой науке. Математика также представляет собой определенную систему суждений, выраженных в математических предложениях посредством математических или логических терминов или соответствующих им символов. Математические термины (или символы) обозначают те понятия, которые составляют содержание математической теории, логические термины (или символы) обозначают логические операции, с помощью которых из одних математических предложений строятся другие математические предложения, из одних суждений образуются другие суждения, вся совокупность которых и составляет математику как науку.

Прослеживая истоки творческих исканий, закрепленных этими произведениями, писатель закономерно назвал имя Гоголя. _______________ * Павло З а г р е б е л ь н и й. Неложними устами, с. 373. "Львиное сердце" по-своему продолжает ту же самобытную традицию "химерного", "озорного" романа, воедино сплавляющего реальность и фантастику, патетику и пародию, неразрывно соединяющего лирику и публицистику с сатирическим шаржем и гротеском. Искусно сочетая правдоподобное с невероятным, П. Загребельный охотно допускает в фантасмагорическую стихию повествования бытовой анекдот, комический случай, просто казус, открывает широкий простор для "раскованного смеха иронии, остроты, шутки". Ведь смех, предупреждает он, начиная роман, "испокон веков рождался в этих степях так же щедро и обильно, как пшеница и вишни. Он жил тут свободно и независимо, упорно отрицая господство суровой логики и здравого смысла". Географические координаты Карпова Яра - колхозного села, обжившегося после затопления на новом месте и названного в ознаменование этой новизны Светлоярском, а затем переименованного в Веселоярск, обозначены в романе более чем общо: приднепровские степи Украины

1. Парадоксы современного сэйлза: здравый смысл или отчетность?

2. Здравый смысл и реальный кодекс норм PR-специалиста

3. Научное знание и здравый смысл

4. Математическая Логика

5. Математическая логика в младших классах

6. Математическая логика
7. Математическая логика и теория алгоритмов
8. Математическая логика

9. Алгебра логики

10. «Нечеткая логика в системах управления»

11. Алгебра логики

12. Предмет и значение логики

13. Логика (Контрольная)

14. Расчёт элементов эмиттерно-связанной логике

15. Логико-методологические аспекты технического знания

16. ЛОГИКА

Конструктор "Зоопарк" (39 деталей).
Конструктор «Зоопарк» относится к тематическим наборам для конструирования, так как включает в себя не только детали для конструирования
561 руб
Раздел: Деревянные конструкторы
Бумага "Снегурочка", для ксерокса, А3.
Формат - А3. 80 грамм, 97%, 500 листов.
533 руб
Раздел: Формата А3 и больше
Карандаши двухсторонние, 12 штук, 24 цвета.
Когда дети занимаются творчеством, это всегда чудесно. Ведь подобное занятие дает возможность ребенку проявить свою фантазию и логическое
401 руб
Раздел: 13-24 цвета

17. Сравнение основных законов мышления в формальной логике

18. Логика Аристотеля

19. Контрольная работа по логике

20. Аристотель - основатель науки Логики

21. Модальная логика

22. Логика составления бизнес-плана
23. Логика сталинизма
24. Логика русского языка

25. Две контрольные работы по логике

26. Контрольная по логике - 22 упражнения (вариант №3)

27. Контрольная работа по логике

28. Логика - контрольная работа МАЭП

29. Логика Эммануила Канта

30. Логика контрольная 3 и 4

31. Логика контрольная 6

32. Логика предикатов с одним переменным

Зеркало, 27x9x30 см, арт. 22368.
Зеркало станет идеальным подарком представительнице прекрасного пола. Размер: 27x9x30 см. Товар не подлежит обязательной сертификации.
1983 руб
Раздел: Зеркала, расчески, заколки
Термомозаика "В мире животных".
Ваш ребенок любит изучать животных, а еще — играть и придумывать что-то новое? С термомозаикой "В мире животных" все это можно
383 руб
Раздел: Термомозаика
Кувшин "Бистро", 1,8 л.
Кувшин прозрачный, с крышкой. Материал: стекло. Объем: 1,8 л.
314 руб
Раздел: Кувшины, графины

33. Логика. Формальная или диалектическая?

34. Шпаргалка по логике

35. Логика

36. Познание природы и логика

37. Формирование логико-информационных и речевых коммуникативных умений студента в процессе изучения математики

38. Сознание и формальная логика
39. ЛОГИКА
40. Законы логики

41. Эпистемическая логика

42. Многозначные логики Я. Лукасевича

43. Философия языка "Трактата": логика языка versus логика мышления

44. Происхождение человека (Логика антропогенеза)

45. Коммунизм — «неотвратимая судьба России». Историософская логика Н. А. Бердяева

46. Логика как наука. Определение логики

47. Предпосылки, своеобразие и логика развития социальной философии: исторический аспект

48. Логика

Тортница с защелками.
Колпак тортовницы крепится к дну защелками. Сверху полиэтиленовая ручка, которая при необходимости вытягивается. Все это позволяет
333 руб
Раздел: Хлебницы
Планшетик "Умная сказочка".
Говорящий планшет "Умная сказочка" от бренда "Азбукварик" представляет собой интересный девайс, который поможет малышу
445 руб
Раздел: Планшеты и компьютеры
Магнитная самоклеящаяся лента в диспенсере, 1,9x500 см.
Используется для быстрой и невидимой фиксации на металлической поверхности любых документов, плакатов, фотографий, напоминаний. Клеевой
799 руб
Раздел: Аксессуары для досок

49. Гносеология и логика

50. Предмет и значение логики

51. Гегель - наука логика

52. Логика в судебном исследовании

53. Логика и методология Аристотеля

54. Многозначные логики
55. Встреча с логикой как встреча с культурой
56. С чем идет современная логика в XXI век?

57. Основные законы логики

58. Логика и аналогии в теории эволюции

59. Понятие эластичного спроса — математический и экономический смысл

60. Логико-структурный анализ понятий и признаков преступлений в действующем уголовном кодексе РФ

61. Логика

62. Понятие парадигмы и логика научных революций в концепции Т.Куна

63. Бухгалтерская (финансовая) отчетность на примере ЗАО "ЛОГИКА"

64. Логика и язык

Мешок для обуви "Мерцающие звезды", 33х40 см.
Мешок для обуви. Размер: 33х40 см.
315 руб
Раздел: Сумки для обуви
Доска магнитно-маркерная, 120х90 см.
Доска имеет магнитную поверхность. Алюминиевая рамка соединяется пластиковыми уголками, имеет регулируемые элементы крепления,
3010 руб
Раздел: Доски магнитно-маркерные
Фигурка декоративная, музыкальная "Лошадка", 22x7x21 см.
Лошадка-качалка декоративная, музыкальная, с функцией движения и раскачивания, с механическим заводом. Размер: 22x7x21 см. Материал: полистоун.
857 руб
Раздел: Миниатюры

65. Логика текста

66. Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

67. Конструктивно-технологические варианты исполнения биполярного и полевого транзисторов в одном кристалле. Инжекционно-полевая логика

68. Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций

69. Логика высказываний

70. Логика как канва диагностического мышления
71. Логико-интуитивные методы исследования систем управления. Метод тестирования
72. Этапы и логика управления рисками

73. Логика

74. Движущие силы и логика воспитательного процесса

75. Логика как инструмент риторического воздействия

76. Логика как наука о мышлении

77. Основы логики: понятия по объему и умозаключения

78. Формальная логика

79. Аристотель – создатель науки логики

80. Законы логики

Тетрадь общая с магнитной закладкой "ONE COLOR. Черный", А4, 120 листов, клетка.
Формат - А4. Внутренний блок - офсет, клетка. Обложка - ламинированный картон. Скрепление - книжный переплет. Отделка -
527 руб
Раздел: Прочие
Трехколесный велосипед Funny Jaguar Lexus Racer Trike (цвет каркаса: графит).
Детский трехколесный велосипед с колясочной крышей на колесах ПВХ – настоящее спасение для мам с маленькими детьми. Главное место для
3600 руб
Раздел: Трехколесные
Сортер-матрешка "Волшебный куб".
Деревянный сортер-матрешка представляет собой развивающий комплекс для детишек возрастом от 3 лет. Игра состоит из 5 кубов различной
568 руб
Раздел: Сортеры, логические игрушки

81. Интуиция и логика в науке

82. Логика

83. Логика

84. Логика

85. Логика

86. Логика
87. Логика в искусстве
88. Логика высказываний

89. Логика как наука

90. Логика. Суждение. Умозаключение

91. Предмет и значение логики

92. Роль логики в формировании культуры рассудочной деятельности

93. Суждение как категория логики

94. Формальная и диалектическая логика

95. Мышление как предмет изучения логики

96. Неклассические логики

Музыкальный центр "Парк развлечений".
Это детское пианино с диапазоном в одну октаву предназначено для малышей. Над клавиатурой пианино расположены кнопки с изображением
1575 руб
Раздел: Сортеры, логические игрушки
Датчик обнаружения угарного газа.
Ежегодно сотни людей по всему миру погибают от отравления угарным газом. Именно поэтому в каждом доме, где используется любая
783 руб
Раздел: Детекторы, датчики движения
Таблетки для посудомоечных машин "Paclan Brileo. Classic", 80 штук.
Таблетки обладают отличным моющим действием за счет входящих в состав "умных" энзимов (амилазы и протеазы). Отлично моют посуду,
592 руб
Раздел: Для посудомоечных машин

97. О логике и со-бытии

98. Определение логики

99. Логика: закон противоречия


Поиск Рефератов на сайте za4eti.ru Вы студент, и у Вас нет времени на выполнение письменных работ (рефератов, курсовых и дипломов)? Мы сможем Вам в этом помочь. Возможно, Вам подойдет что-то из ПЕРЕЧНЯ ПРЕДМЕТОВ И ДИСЦИПЛИН, ПО КОТОРЫМ ВЫПОЛНЯЮТСЯ РЕФЕРАТЫ, КУРСОВЫЕ И ДИПЛОМНЫЕ РАБОТЫ. 
Вы можете поискать нужную Вам работу в КОЛЛЕКЦИИ ГОТОВЫХ РЕФЕРАТОВ, КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ, выполненных преподавателями московских ВУЗов за период более чем 10-летней работы. Эти работы Вы можете бесплатно СКАЧАТЬ.