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

Философия Философия

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

Брелок LED "Лампочка" классическая.
Брелок работает в двух автоматических режимах и горит в разных цветовых гаммах. Материал: металл, акрил. Для работы нужны 3 батарейки
131 руб
Раздел: Металлические брелоки
Ручка "Помада".
Шариковая ручка в виде тюбика помады. Расцветка корпуса в ассортименте, без возможности выбора!
25 руб
Раздел: Оригинальные ручки
Фонарь садовый «Тюльпан».
Дачные фонари на солнечных батареях были сделаны с использованием технологии аккумулирования солнечной энергии. Уличные светильники для
106 руб
Раздел: Уличное освещение

Логика как наука. Определение логики Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока (Китай, Индия). В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков. Логика – наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли – определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых ( правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений  в системы, способы формализации таких систем и т.п. Логику можно определить как науку о рациональных методах рассуждений, которые охватывают как анализ правил дедукции (вывода заключений из посылок), так и исследование степени подтверждения вероятностных или правдоподобных заключений (гипотез, обобщений, предположений и т.д.). Традиционная логика сформировалась на основе логического учения Аристотеля. Затем она дополнилась методами индуктивной логики. Именно эта логика в течение долгого времени преподавалась в школах и университетах под именем формальной логики. Возникновение математической логики коренным образом изменило отношение между дедуктивной и недедуктивной логиками, которое существовало в традиционной логике. Это изменение было сделано в пользу дедукции. Благодаря символизации и применению математических методов сама дедуктивная логика приобрела строго формальный характер. Цель данного реферата — описать основные тенденции развития современной математической логики, занимающейся вопросами формализации естественного языка, выразить их основное содержание. Логические исследования языка В «Философском энциклопедическом словаре» язык определяется как «система знаков, служащая средством человеческого общения, мышления и выражения». Указывается, что «с помощью языка осуществляется познание мира, в языке объективируется самосознание личности». Язык является средством хранения и передачи информации, а также управления человеческим поведением. Философские проблемы языка и логики — динамично развивающееся научное направление. Особый интерес к нему сейчас связан не только с постоянным стремлением прояснить общие механизмы и закономерности мышления, но и понять то, как же человек способен перерабатывать, трансформировать и преобразовывать огромные массивы знаний в крайне ограниченные промежутки времени. Отмеченные вопросы имеют не только чисто теоретический интерес — от успешности их решения во многом зависит прогресс в создании новейших вычислительных систем, эффективного программного обеспечения. Все это, несомненно, усиливает практическую значимость и актуальность исследований в области логики и философии языка — области, которая до последнего времени считалась чисто умозрительным. Логический анализ рассуждений в естественном языке Исчисление предикатов дает возможность проводить логический анализ несравненно большего количества рассуждений, выраженных на естественном языке, чем исчисление высказываний.

С помощью нового исчисления становится возможным представить символические количественные характеристики суждений. Именно для этого вводятся кванторы общности и существования, выражающие универсальные (общие) суждения и частные суждения. Но самое главное преимущество исчисления предикатов перед исчислением высказываний состоит в том, что оно дает возможность символически представить внутреннюю логическую структуру суждения. Такая структура выражается либо с помощью субъектно-предикатного отношения предмета (субъекта) и его свойства или признака (предиката), либо -местного отношения между различными предметами. Повседневные и многие научные рассуждения обычно ведутся на естественном языке. Но такой язык развивался в интересах легкости общения, обмена мыслями в ущерб точности и ясности. Логические исчисления строятся для того, чтобы обеспечить необходимую точность нашим рассуждениям, вскрывать возникающие при этом ошибки и исправлять их. В простейших случаях такой анализ можно провести с помощью исчислений высказываний, в котором мы отвлекаемся от логической структуры суждений и рассматриваем их как нечто единое целое, как далее неразложимые атомы рассуждений. Но средств этого исчисления оказывается явно недостаточно, когда приходится анализировать многие наиболее распространенные рассуждения не только в науке, но и в повседневном мышлении. Силлогистика Аристотеля охватывает неизмеримо больший класс рассуждений, но она оставляет вне рассмотрения рассуждения, в которых фигурируют различные типы отношений. Точный анализ именно таких отношений играет существенную роль в научном познании, в особенности, в математике и ее приложениях, в точном естествознании. Поэтому возникновение логики отношений значительно раздвинуло границы применимости логического анализа. С другой стороны, применение символического языка и точных математических методов в новой символической логике, обогащенной логикой отношений, в огромной степени повысило эффективность, строгость и точность такого анализа. Перевод рассуждений с естественного языка на язык исчисления высказываний наталкивается на серьезные трудности потому, что сильно искажает реальный процесс рассуждений, в котором интересуются не только различными связями суждений друг с другом, но и структурой самих суждений. Исчисление предикатов дает возможность более адекватно отобразить рассуждения, ведущиеся на естественном языке. Для исчисления предикатов, прежде всего, устанавливается универсум рассуждения или предметная область объектов, о которых идет речь. Заранее устанавливать, из каких именно объектов состоит универсум рассуждения, не требуется. Достаточно допустить, что такой универсум существует. Далее следует выбрать предикаты (или пропозициональные функции), с помощью которых формулируются логические отношения между переменными. Каждый из выбранных предикатов становится высказыванием, когда все его переменные принимают какое-либо значение из универсума рассуждений, т.е. когда переменные становятся объектами (элементами) универсума рассуждений. Полученное высказывание будет либо истинным, либо ложным, но не тем и другим одновременно.

Затем выбирается соответствующая символика для окончательного перевода естественного рассуждения на язык исчисления предикатов. При этом приходится делать определенные упрощения, так как логика ставит своей целью исследование связи мыслей в рассуждении, выводов из одних суждений к другим. Анализ языка и развитие логической теории Логика и лингвистика — две области знаний, имеющие общие корни и тесные взаимопереплетения в истории своего развития. Логика всегда ставила своей основной задачей обозреть и классифицировать разнообразные способы рассуждений, формы выводов, которыми человек пользуется в науке и в жизни. Хотя традиционная логика имела дело с законами мысли и правилами их связи, выражались они средставми языка, поскольку непосредственной реальностью мысли является язык. Для логики важны общие логические закономерности мышления, реализуемые в тех или иных языковых конструкциях. Логические компоненты — важный фактор образования высказываний и организации текста. Г. Фреге первым предложил реконструкцию логического вывода на основе искусственного языка (исчисления), обеспечивающего полное выявление всех элементарных шагов рассуждения. В символику логического языка были введены операции квантификации. Аксиоматическое построение логики предикатов в виде исчисления предикатов включают аксиомы и правила вывода, позволяющие преобразовывать кванторные формулы и обосновывать логический вывод. Тем самым объект исследования логики окончательно переместился от законов мысли и правил их связи к знакам, искусственным формализованным языкам. В логике правильным способом рассуждения является такой, который никогда не приводит от истинных предпосылок к ложным заключениям. Это требование вводит в соприкосновение логику как теорию вывода с семантикой. Вывод считается корректным тогда и только тогда, когда условия истинности его предпосылок составляют подмножество условий истинности его заключений. Однако стандартный семантический подход обоснования вывода в контекстах, выходящих за рамки классических математических теорий, сталкивается с существенными трудностями. В качестве традиционных примеров рассуждений, для которых средств стандартной семантики недостаточно, можно привести контексты, содержащие пропозициональные установки («знает, что », «полагает, что ») и логические модальности («необходимо», «возможно»). Отсюда делается вывод о том, что необходима ревизия семантического способа обоснования логического вывода с целью расширения сферы его применения. В рамках общего подхода к семантическому анализу выражений естественного языка в настоящее время базисной является теоретико-модельная семантика. Возникновение математической теории моделей было связано с появлением в современной логике двух равноправных подходов — синтаксического (теоретико-доказательственного) и семантического (теоретико-модельного). Особенность последнего состоит в том, что он задает интерпретацию формального логического языка относительно столь же формальных сущностей, имеющих алгебраическую природу и называемых моделями данного языка. Возникновение и развитие этого второго подхода оказало ни с чем не сравнимое влияние на все дальнейшее развитие логики.

Здесь уже область моновалентной логики. Однако моновалентная логика не может иметь физической интерпретации. Понятие трансмутации теряет физический смысл, если нет макроскопически непрерывных линий. Исходный образ современной картины мира соединяет ультрамикроскопический аспект с макроскопическим; друг без друга они теряют физический смысл. Поэтому физической интерпретацией в квантово-релятивистской физике может обладать логика, переходящая от моновалентных суждений к поливалентным, к суждениям с переменной валентностью. Пока речь шла о соотношении Гейзенберга, между физической теорией и логикой существовала относительно неявная связь; новая логическая структура науки могла оставаться в тени, и логические коллизии разрешались частными, «подручными» средствами физики. Во второй половине века начался систематический перенос некоторых физических понятий в другие области. Это сказывается и на взаимосвязи науки с логикой, прежде всего с определенными отраслями математической логики. Быстрое развитие последней позволяет точнее и конкретнее описывать сложные объекты, изучаемые современным естествознанием

1. Критерии научного познания. Отличие науки от вненаучных форм знаний

2. Научное познание

3. Особенности научного познания окружающего мира

4. Научное познание и его специфические признаки. Методы научного познания

5. Определение своего стиля познания

6. Научное познание, его специфика и строение
7. Этапы процесса научного познания
8. Методы и формы научного познания

9. Эксперимент как метод научного познания

10. Интуиция в процессе научного познания

11. Моделирование как метод научного познания

12. Методы научного познания

13. Методы научного познания. Научные революции в естествознании

14. Критерии естественно-научного познания

15. Естествознание как отрасль научного познания

16. Использование методов научного познания

Домик игровой.
Игрушка из пластмассы. Предназначена для игры на свежем воздухе. Замечательный домик высокого качества, будет радовать ваших детей и вас
9084 руб
Раздел: Домики и комплексы
Шар магический "Счастливая восьмерка", 10 см.
Магический шар - шар ответов, шар предсказаний — это игрушка, с помощью которой можно узнать ответ на любой вопрос. Магический шар 8
501 руб
Раздел: Прочее
Брелок аварийный, для автомобилиста (арт. TD 0395l).
Аварийный брелок для автомобилиста повысит уровень Вашей безопасности на дороге. Он не поможет избежать столкновения и не уберет с дороги
310 руб
Раздел: Металлические брелоки

17. Методология научного познания

18. Методы научного познания

19. Методы эмпирического и теоретического уровней научного познания

20. Рационализм в философии Р. Декарта. Методы научного познания

21. Научное познание

22. Познание природы и логика
23. Гегель - наука логика
24. Логика как наука

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

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

27. Логики как наука, ее предмет и задачи

28. Формальная логика как наука о мышлении

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

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

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

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

Настольная игра "Обманщик".
Не верь обманщикам! Если будешь лукавить, твой нос будет расти! Эта карточная игра рассчитана на 3-4 игроков, которым предстоит
436 руб
Раздел: Игры на ассоциации, воображение
Стиральный порошок "Burti Color" для цветных вещей, 1,5 килограмм.
Стиральный порошок "Burti Color" предназначен для стирки цветных вещей. Благодаря современным комбинациям поверхностно-активных
377 руб
Раздел: Стиральные порошки
Средство дезинфицирующее "Блокатор вирусов", 1 штука.
Жизнь современного человека полна неожиданных сюрпризов, порой не самых приятных. Проживание в больших городах значительно увеличивает
596 руб
Раздел: Для поверхностей

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

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

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

36. ЛОГИКА

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

38. Логика Аристотеля
39. Контрольная работа по логике
40. Влияние математики на философию и логику

41. Содержание и логика развития управления

42. Ф.Ф. Сидоренко. Логика (пособие с задачами и упражнениями)

43. Логика в судебной практике

44. "Метель" А. С. Пушкина: тайна смысла и логика сюжета

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

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

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

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

Гибкий трек "Большое путешествие", 317 деталей.
Гибкий трек "Большое путешествие" от бренда 1Toy состоит из 317 деталей, в том числе лифта, 2 машинок, пещеры и перекрестка.
2695 руб
Раздел: Треки без запуска
Контейнер универсальный, 4 выдвижные секции, большой.
Может использоваться как бокс для канцелярских или любых иных офисных принадлежностей, а также строительных мелочей и пр. Легко
1084 руб
Раздел: Полки напольные, стеллажи
Шарики, 100 шт.
Наборы выдувных шариков для сухих бассейнов. Шарики имеют диаметр 6 см, в один набор пакуются шарики четырех красочных цветов. Технология
733 руб
Раздел: Шары для бассейна

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

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

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

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

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

54. Шпаргалка по логике
55. Логика
56. Математическая Логика

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

58. Логика Космоса (физика античной Греции)

59. Логика странно летающих объектов

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

61. Инновационная война как способ оптимизации эволюции логико - математических систем

62. Нечеткая логика при решении криминологических задач

63. Критика логико-позитивистского анализа

64. Логико-семантические идеи Г.Фреге

Компрессор для подкачки шин С-12.
Автокомпрессор — это электрическое устройство, предназначенное для накачивания шин на колесах. В отличие от механического насоса, при
732 руб
Раздел: Насосы, компрессоры автомобильные
Карандаши цветные "Jumbo", трехгранные, 20 цветов + точилка.
Мягкие, но при этом очень прочные карандаши, легко затачиваются и не крошатся. Насыщенные штрихи на бумаге. Не токсичны! В комплекте: 20
514 руб
Раздел: 13-24 цвета
Сито-кружка для муки BE-014/1 "Webber", 800 мл.
Объем: 800 мл. Размеры: Ø10х9,5 см. Материал: высококачественная нержавеющая сталь. Идеально подойдет для просеивания без комочков
318 руб
Раздел: Дуршлаги, сита

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

66. Начала содержательной логики

67. Диалектика - логика творчества

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

69. Логика

70. Гносеология и логика
71. Предмет и значение логики
72. Логика в судебном исследовании

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

74. Многозначные логики

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

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

77. Деонтическая логика

78. Логика речи

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

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

Держатель автомобильный универсальный "Car holder 101+".
Держатель подходит для мобильных устройств: планшета, телефона, смартфона, КПК, навигатора, электронной книги, плеера и других устройств.
374 руб
Раздел: Держатели и подставки
Подвесные качели "Тарзанка".
Данные подвесные качели от торговой марки ZebraToys представляют собой не традиционное изделие для катания, а яркую тарзанку. Небольшая
317 руб
Раздел: Качели
Велосипед трехколесный.
Велосипед трехколесный (пластмассовые колеса, с широкой шинкой, без кузова, без передней панели, без гудка). Велосипед рассчитан для детей
935 руб
Раздел: Трехколесные

81. Логика прорыва

82. Логико-гносеологические и социальные аспекты компьютерной информатизации

83. Логика

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

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

86. Логика текста
87. Принцип резолюции в исчислении высказываний и логике предикатов и его модификации
88. Конструктивно-технологические варианты исполнения биполярного и полевого транзисторов в одном кристалле. Инжекционно-полевая логика

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

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

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

92. Логика как канва диагностического мышления

93. Логико-интуитивные методы исследования систем управления. Метод тестирования

94. Этапы и логика управления рисками

95. Логика

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

Детское подвесное кресло Polini "Кокон" (цвет: оранжевый).
Подвесные детские качели яркого цвета создадут ощущение собственного укромного уголка. Надежные крепления кресла обеспечат безопасность
1225 руб
Раздел: Качели, кресла-качалки, шезлонги
Клей для дерева "Момент Столяр. ПВА Универсальный", 750 грамм.
Клей используется для склеивания, ремонта и изготовления изделий из различных видов дерева, а также ДСП, фанеры, картона и т.п. Клей
388 руб
Раздел: Для дерева
Крем для младенцев "Bubchen", 150 мл.
Эффективно защищает кожу в местах, закрытых подгузником. Подходит для профилактики опрелостей. Прекрасно снимает раздражение и воспаление,
322 руб
Раздел: Крем под подгузник

97. Методика преподавания темы "Элементы логики" в курсе математики 5-6 классов

98. Модальные логики. Положительные логики

99. Суждение как логико-структурная форма мышления


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