Банк рефератов содержит более 364 тысяч рефератов, курсовых и дипломных работ, шпаргалок и докладов по различным дисциплинам: истории, психологии, экономике, менеджменту, философии, праву, экологии. А также изложения, сочинения по литературе, отчеты по практике, топики по английскому.
Полнотекстовый поиск
Всего работ:
364150
Теги названий
Разделы
Авиация и космонавтика (304)
Административное право (123)
Арбитражный процесс (23)
Архитектура (113)
Астрология (4)
Астрономия (4814)
Банковское дело (5227)
Безопасность жизнедеятельности (2616)
Биографии (3423)
Биология (4214)
Биология и химия (1518)
Биржевое дело (68)
Ботаника и сельское хоз-во (2836)
Бухгалтерский учет и аудит (8269)
Валютные отношения (50)
Ветеринария (50)
Военная кафедра (762)
ГДЗ (2)
География (5275)
Геодезия (30)
Геология (1222)
Геополитика (43)
Государство и право (20403)
Гражданское право и процесс (465)
Делопроизводство (19)
Деньги и кредит (108)
ЕГЭ (173)
Естествознание (96)
Журналистика (899)
ЗНО (54)
Зоология (34)
Издательское дело и полиграфия (476)
Инвестиции (106)
Иностранный язык (62792)
Информатика (3562)
Информатика, программирование (6444)
Исторические личности (2165)
История (21320)
История техники (766)
Кибернетика (64)
Коммуникации и связь (3145)
Компьютерные науки (60)
Косметология (17)
Краеведение и этнография (588)
Краткое содержание произведений (1000)
Криминалистика (106)
Криминология (48)
Криптология (3)
Кулинария (1167)
Культура и искусство (8485)
Культурология (537)
Литература : зарубежная (2044)
Литература и русский язык (11657)
Логика (532)
Логистика (21)
Маркетинг (7985)
Математика (3721)
Медицина, здоровье (10549)
Медицинские науки (88)
Международное публичное право (58)
Международное частное право (36)
Международные отношения (2257)
Менеджмент (12491)
Металлургия (91)
Москвоведение (797)
Музыка (1338)
Муниципальное право (24)
Налоги, налогообложение (214)
Наука и техника (1141)
Начертательная геометрия (3)
Оккультизм и уфология (8)
Остальные рефераты (21697)
Педагогика (7850)
Политология (3801)
Право (682)
Право, юриспруденция (2881)
Предпринимательство (475)
Прикладные науки (1)
Промышленность, производство (7100)
Психология (8694)
психология, педагогика (4121)
Радиоэлектроника (443)
Реклама (952)
Религия и мифология (2967)
Риторика (23)
Сексология (748)
Социология (4876)
Статистика (95)
Страхование (107)
Строительные науки (7)
Строительство (2004)
Схемотехника (15)
Таможенная система (663)
Теория государства и права (240)
Теория организации (39)
Теплотехника (25)
Технология (624)
Товароведение (16)
Транспорт (2652)
Трудовое право (136)
Туризм (90)
Уголовное право и процесс (406)
Управление (95)
Управленческие науки (24)
Физика (3463)
Физкультура и спорт (4482)
Философия (7216)
Финансовые науки (4592)
Финансы (5386)
Фотография (3)
Химия (2244)
Хозяйственное право (23)
Цифровые устройства (29)
Экологическое право (35)
Экология (4517)
Экономика (20645)
Экономико-математическое моделирование (666)
Экономическая география (119)
Экономическая теория (2573)
Этика (889)
Юриспруденция (288)
Языковедение (148)
Языкознание, филология (1140)

Реферат: Логика как наука. Определение логики

Название: Логика как наука. Определение логики
Раздел: Рефераты по философии
Тип: реферат Добавлен 16:57:15 08 апреля 2005 Похожие работы
Просмотров: 7182 Комментариев: 3 Оценило: 3 человек Средний балл: 4 Оценка: неизвестно     Скачать

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

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

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

Традиционная логика сформировалась на основе логического учения Аристотеля. Затем она дополнилась методами индуктивной логики. Именно эта логика в течение долгого времени преподавалась в школах и университетах под именем формальной логики.

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

Цель данного реферата — описать основные тенденции развития современной математической логики, занимающейся вопросами формализации естественного языка, выразить их основное содержание.

Логические исследования языка

В «Философском энциклопедическом словаре» язык определяется как «система знаков, служащая средством человеческого общения, мышления и выражения». Указывается, что «с помощью языка осуществляется познание мира, в языке объективируется самосознание личности». Язык является средством хранения и передачи информации, а также управления человеческим поведением.

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

Логический анализ рассуждений в естественном языке

Исчисление предикатов дает возможность проводить логический анализ несравненно большего количества рассуждений, выраженных на естественном языке, чем исчисление высказываний. С помощью нового исчисления становится возможным представить символические количественные характеристики суждений. Именно для этого вводятся кванторы общности и существования, выражающие универсальные (общие) суждения и частные суждения. Но самое главное преимущество исчисления предикатов перед исчислением высказываний состоит в том, что оно дает возможность символически представить внутреннюю логическую структуру суждения. Такая структура выражается либо с помощью субъектно-предикатного отношения предмета (субъекта) и его свойства или признака (предиката), либо n-местного отношения между различными предметами.

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

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

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

Анализ языка и развитие логической теории

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

Для логики важны общие логические закономерности мышления, реализуемые в тех или иных языковых конструкциях. Логические компоненты — важный фактор образования высказываний и организации текста.

Г. Фреге первым предложил реконструкцию логического вывода на основе искусственного языка (исчисления), обеспечивающего полное выявление всех элементарных шагов рассуждения. В символику логического языка были введены операции квантификации. Аксиоматическое построение логики предикатов в виде исчисления предикатов включают аксиомы и правила вывода, позволяющие преобразовывать кванторные формулы и обосновывать логический вывод. Тем самым объект исследования логики окончательно переместился от законов мысли и правил их связи к знакам, искусственным формализованным языкам.

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

Однако стандартный семантический подход обоснования вывода в контекстах, выходящих за рамки классических математических теорий, сталкивается с существенными трудностями. В качестве традиционных примеров рассуждений, для которых средств стандартной семантики недостаточно, можно привести контексты, содержащие пропозициональные установки («знает, что…», «полагает, что…») и логические модальности («необходимо», «возможно»).

Отсюда делается вывод о том, что необходима ревизия семантического способа обоснования логического вывода с целью расширения сферы его применения.

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

Основным инструментом во всех вариантах теоретико-модельной семантики является рекурсивное определение истинности.

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

Одна из важных проблем логического анализа естественных языков — проблема единой логической структуры предложений. Ее актуальность обусловлена прежде всего тем обстоятельством, что, с одной стороны, аппарат классической логики предикатов интерпретируется обычно на объективированных высказываниях типа «Снег бел», «Земля вращается вокруг Солнца» и т.п. С другой стороны, встречается большое количество релятивизованных к говорящему предложений, логическая структура которых до конца не ясна и, как представляется на первый взгляд, не согласуется со стандартными представлениями о логической структуре. Таковы, например, предложения: «Снег бел!», «Идет дождь?», «Увы, Земля вращается вокруг Солнца», «Я обещаю прийти» и т.п. Иначе говоря, существует проблема согласования релятивизованных и объективированных предложений в рамках некоторых единых представлений об общей логической структуре предложений естественных языков.

Логика и прагматика языка

В последние десятилетия в зарубежной аналитической философии было четко осознано, что полноценная модель языка уже никак не может ограничиться только семантическим подходом. Необходимо включение в общую модель языка и прагматических аспектов его функционирования. Отсюда обозначилась задача — совместить в рамках одной теории семантические и прагматические «стороны» языка.

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

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

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

Заключение и выводы

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

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

Список литературы

Петров В.В. От философии языка к философии сознания. В сб. Философия. Логика. Язык. М.: «Прогресс», 1987. С. 3—17.

Петров В.В. Язык и логическая теория. В сб. Новое в зарубежной лингвистике. Вып. XVIII «Логический анализ естественного языка». М.: «Прогресс», 1986. С.5—23.

Философский энциклопедический словарь. Статья «Язык». М.: «Советская энциклопедия», 1983. С. 816.

Рузавин Г.И. Логика и аргументация. М.: «Культура и спорт. Издательское объединение ЮНИТИ», 1997.

Оценить/Добавить комментарий
Имя
Оценка
Комментарии:
Где скачать еще рефератов? Здесь: letsdoit777.blogspot.com
Евгений21:35:29 18 марта 2016
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
08:44:42 24 ноября 2015
Логика
bestfan@mail.ru13:49:25 12 сентября 2008

Работы, похожие на Реферат: Логика как наука. Определение логики
Вперёд, к Платону! Все пороки антисубстанциализма
Семёнов В.В. Вперёд, к Платону! Все пороки антисубстанциализма. Пущино, 2008. ОГЛАВЛЕНИЕ ВВЕДЕНИЕ . 3 Глава I. ВСЕ ПУТИ ВЕДУТ В СУБСТАНЦИАЛИЗМ . 8 § 1 ...
Логика - это законы мышления, а не содержание суждений или предикатов, которыми она оперирует.
Может ли логическая форма быть предметно зависимой, то есть определяется ли многообразие логических форм правильного рассуждения специфическим предметом той области знания, которой ...
Раздел: Рефераты по философии
Тип: реферат Просмотров: 571 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Общее языкознание - учебник
ОБЩЕЕ ЯЗЫКОЗНАНИЕ ФОРМЫ СУЩЕСТВОВАНИЯ, ФУНКЦИИ, ИСТОРИЯ ЯЗЫКА В книге рассматриваются проблемы взаимосвязи языка и общества, языка и мышления; формы ...
Суждение состоит из двух основных элементов - субъекта суждения, или логического подлежащего, и предиката суждения, или логического сказуемого.
Областью крайнего неразграничения двух наук - лингвистики и философии - является анализ логики языка, особенностей логического синтаксиса и семантики, проводимого с позиций ...
Раздел: Рефераты по языковедению
Тип: реферат Просмотров: 9103 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Ответы на вопросы госэкзамена по философии философского факультета ...
Учение Сократа и его место в античной философии. 4 Учение Платона об идеях. 5 Аристотель о материи и форме. 5 Эпикурейская философия. 6 Античный ...
Как бытие, не способное пребывать ни в чем ином, субстанция никогда не может выступать в суждении как его предикат или атрибут, а может выступать только как его субъект.
Требование к мысли реализовать себя предъявляются, так как бессознательно мысль предполагает истинность реальности, чувстенности, от мысли независимой.
Раздел: Рефераты по философии
Тип: реферат Просмотров: 5489 Комментариев: 2 Похожие работы
Оценило: 2 человек Средний балл: 5 Оценка: неизвестно     Скачать
Философия Востока и Европы
ПУТИ ФИЛОСОФИИ ВОСТОКА И ЗАПАДА: ПОЗНАНИЕ ЗАПРЕДЕЛЬНОГО Введение Несмотря на то, что настоящая книга содержит значительный востоковедный материал ...
Тем не менее семантическое поле слова шуньята значительно шире такового у слова "относительность", причем данная коннотация отнюдь не является определяющей для его семантики.
Что же касается рассуждений о сне и бодрствовании Н.Малкольма, то, при всей их изощренности, они все же остаются лишь некоей логико-семантической игрой, основанной на смысловом ...
Раздел: Рефераты по философии
Тип: книга Просмотров: 1269 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Логика
СЛОВАРЬ Логика - наука о законах и формах правильного мышления. Выясним, что понимается под логической формой и логическим законом. Закон есть ...
Выясним, что понимается под логической формой и логическим законом.
При этом в математической логике для выявления структуры вывода строятся различные логические исчисления, прежде всего исчисления высказываний и исчисления предикатов.
Совместимые суждения, находящиеся в отношении логического подчинения, имеют общий предикат; понятия, выражающие субъекты 2-х таких суждений, так же находятся в отношении ...
Раздел: Рефераты по философии
Тип: изложение Просмотров: 1800 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Теоретико-методологические основы и практика педагогической ...
Содержание Введение 1. Герменевтическое учение: его сущность, содержание и роль в гуманитарном познании 1.1 Мировоззренческие основы проблемы ...
Такая замена позволяет трансформировать понятие "замысел" в понятие "тема", делая понятие "мысль" более операциональным и более соответствующим логико-семантическому ...
В той мере, в какой логика движения мысли есть не только логика движения в предмет и "по предмету", но есть логика движения "в человека", есть логика спора, как раз в этой мере ...
Раздел: Рефераты по педагогике
Тип: дипломная работа Просмотров: 8563 Комментариев: 2 Похожие работы
Оценило: 1 человек Средний балл: 4 Оценка: неизвестно     Скачать
Структура исчисления предикатов - построение логического вывода
Реферат по математической логике и теории алгоритмов выполнили студенты I-го курса Факультета ИВТ: Зубарев А., Столяров А., Докукин А., Китирисов Г ...
Однако предикаты могут трактоваться и трактуются в процессах выводов и доказательств, а также в определении отношения логическою следования и законов логики как специфические ...
Аксиоматическую систему исчисления предикатов мы получим, добавив к перечисленным выше схемам аксиоматического исчисления высказываний (имея в виду, конечно, переход к языку логики ...
Раздел: Рефераты по математике
Тип: курсовая работа Просмотров: 1435 Комментариев: 4 Похожие работы
Оценило: 5 человек Средний балл: 3.6 Оценка: неизвестно     Скачать
Основные положения физикализма в Венском кружке
... исходят из верификационного критерия значения, проводят резкое различие между эмпирическими синтетическими и априорными аналитическими высказываниями, ...
Что же касается основных правил, на которые опирается логика, то переход от синтаксиса к семантике привел к существенным изменениям в них, поскольку логическая истинность теперь ...
В основе семантического понятия истинности лежит абсолютное понятие истинности, которое применимо не к предложениям, а к суждениям, а суждения связаны не с несемантическими ...
Раздел: Рефераты по философии
Тип: курсовая работа Просмотров: 228 Комментариев: 1 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Теория искусственного интеллекта
Создание высокоавтоматизированных производств предполагает автоматизацию не только физического, но и умственного труда человека. В последние ...
Логика предикатов (исчислений) основана на логике (исчислении) высказываний.
В нечёткой логике степень истинности или степень ложности каждого нечеткого высказывания (или ЛП) принимает значения из отрезка от 0 до 1, причем 0 и 1 совпадают с понятиями ложь и ...
Раздел: Рефераты по информатике, программированию
Тип: учебное пособие Просмотров: 4428 Комментариев: 2 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать
Логико-семантические идеи Г.Фреге
Аналитическая философия возникла на волне интереса к формальной логике, которая, обогатившись новыми методами, с середины XIX века начинает бурно ...
Это стало возможным только потому, что им была осуществлена одна из первых аксиоматизаций логики высказываний и логики предикатов, причем последняя фактически впервые появилась в ...
В отечественной логической литературе для этой цели используется термин суждение, который, как было показано раньше, играет принципиально иную роль в логико-семантической системе ...
Раздел: Рефераты по философии
Тип: курсовая работа Просмотров: 683 Комментариев: 1 Похожие работы
Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать

Все работы, похожие на Реферат: Логика как наука. Определение логики (12873)

Назад
Меню
Главная
Рефераты
Благодарности
Опрос
Станете ли вы заказывать работу за деньги, если не найдете ее в Интернете?

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



Результаты(149932)
Комментарии (1829)
Copyright © 2005-2016 BestReferat.ru bestreferat@mail.ru       реклама на сайте

Рейтинг@Mail.ru