Реферат: Логика как наука. Определение логики - текст реферата. Скачать бесплатно.
Банк рефератов, курсовых и дипломных работ. Много и бесплатно. # | Правила оформления работ | Добавить в избранное
 
 
   
Меню Меню Меню Меню Меню
   
Napishem.com Napishem.com Napishem.com

Реферат

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

Банк рефератов / Философия

Рубрики  Рубрики реферат банка

закрыть
Категория: Реферат
Язык реферата: Русский
Дата добавления:   
 
Скачать
Microsoft Word, 96 kb, скачать бесплатно
Заказать
Узнать стоимость написания уникального реферата

Узнайте стоимость написания уникальной работы

Логика как на ука. Определение логики Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока (Ки тай, Индия). В западную культуру принципы и методы логики вошли главным об разом благодаря усилиям античных греков. Логика – наука об общезначимых формах и средствах мысли, необходимых дл я рационального познания в любой области знания. К общезначимым формам м ысли относятся понятия, суждения, умозаключения, а к общезначимым средст вам мысли – определения, правила (принципы) образования понятий, сужден ий и умозаключений, правила перехода от одних суждений или умозаключени й к другим как следствиям из первых ( правила рассуждений), законы мысли, о правдывающие такие правила, правила связи законов мысли и умозаключени й в системы, способы формализации таких систем и т.п. Логику можно определить как науку о рациональных методах рассуждений, к оторые охватывают как анализ правил дедукции (вывода заключений из посы лок), так и исследование степени подтверждения вероятностных или правдо подобных заключений (гипотез, обобщений, предположений и т.д.). Традиционная логика сформировалась на основе логического учения Арист отеля. Затем она дополнилась методами индуктивной логики. Именно эта лог ика в течение долгого времени преподавалась в школах и университетах по д именем формальной логики. Возникновение математической логики коренным образом изменило отноше ние между дедуктивной и недедуктивной логиками, которое существовало в традиционной логике. Это изменение было сделано в пользу дедукции. Благо даря символизации и применению математических методов сама дедуктивна я логика приобрела строго формальный характер. Цель данного реферата — описать основные тенденции развития современ ной математической логики, занимающейся вопросами формализации естест венного языка, выразить их основное содержание. Логические исследования язык а В «Философском энциклопедическом словаре» язык определяется как «сист ема знаков, служащая средством человеческого общения, мышления и выраже ния». Указывается, что «с помощью языка осуществляется познание мира, в я зыке объективируется самосознание личности». Язык является средством хранения и передачи информации, а также управления человеческим поведе нием. Философские проблемы языка и логики — динамично развивающееся научно е направление. Особый интерес к нему сейчас связан не только с постоянны м стремлением прояснить общие механизмы и закономерности мышления, но и понять то, как же человек способен перерабатывать, трансформировать и пр еобразовывать огромные массивы знаний в крайне ограниченные промежутк и времени. Отмеченные вопросы имеют не только чисто теоретический интер ес — от успешности их решения во многом зависит прогресс в создании нов ейших вычислительных систем, эффективного программного обеспечения. В се это, несомненно, усиливает практическую значимость и актуальность ис следований в области логики и философии языка — области, которая до пос леднего времени считалась чисто умозрительным. Логический анализ рассуждени й в естественном языке Исчисление предикатов дает возможность проводить логический анализ не сравненно большего количества рассуждений, выраженных на естественном языке, чем исчисление высказываний. С помощью нового исчисления станови тся возможным представить символические количественные характеристи ки суждений. Именно для этого вводятся кванторы общности и существовани я, выражающие универсальные (общие) суждения и частные суждения. Но самое главное преимущество исчисления предикатов перед исчислением высказы ваний состоит в том, что оно дает возможность символически представить в нутреннюю логическую структуру суждения. Такая структура выражается л ибо с помощью субъектно-предикатного отношения предмета (субъекта) и его свойства или признака (предиката), либо n-местного отношения между различ ными предметами. Повседневные и многие научные рассуждения обычно ведутся на естествен ном языке. Но такой язык развивался в интересах легкости общения, обмена мыслями в ущерб точности и ясности. Логические исчисления строятся для т ого, чтобы обеспечить необходимую точность нашим рассуждениям, вскрыва ть возникающие при этом ошибки и исправлять их. В простейших случаях так ой анализ можно провести с помощью исчислений высказываний, в котором мы отвлекаемся от логической структуры суждений и рассматриваем их как не что единое целое, как далее неразложимые атомы рассуждений. Но средств э того исчисления оказывается явно недостаточно, когда приходится анали зировать многие наиболее распространенные рассуждения не только в нау ке, но и в повседневном мышлении. Силлогистика Аристотеля охватывает неи змеримо больший класс рассуждений, но она оставляет вне рассмотрения ра ссуждения, в которых фигурируют различные типы отношений. Точный анализ именно таких отношений играет существенную роль в научном познании, в ос обенности, в математике и ее приложениях, в точном естествознании. Поэто му возникновение логики отношений значительно раздвинуло границы прим енимости логического анализа. С другой стороны, применение символическ ого языка и точных математических методов в новой символической логике, обогащенной логикой отношений, в огромной степени повысило эффективно сть, строгость и точность такого анализа. Перевод рассуждений с естественного языка на язык исчисления высказыв аний наталкивается на серьезные трудности потому, что сильно искажает р еальный процесс рассуждений, в котором интересуются не только различны ми связями суждений друг с другом, но и структурой самих суждений. Исчисл ение предикатов дает возможность более адекватно отобразить рассужден ия, ведущиеся на естественном языке. Для исчисления предикатов, прежде всего, устанавливается универсум рас суждения или предметная область объектов, о которых идет речь. Заранее у станавливать, из каких именно объектов состоит универсум рассуждения, н е требуется. Достаточно допустить, что такой универсум существует. Далее следует выбрать предикаты (или пропозициональные функции), с помощью ко торых формулируются логические отношения между переменными. Каждый из выбранных предикатов становится высказыванием, когда все его переменн ые принимают какое-либо значение из универсума рассуждений, т.е. когда пе ременные становятся объектами (элементами) универсума рассуждений. Пол ученное высказывание будет либо истинным, либо ложным, но не тем и другим одновременно. Затем выбирается соответствующая символика для окончате льного перевода естественного рассуждения на язык исчисления предикат ов. При этом приходится делать определенные упрощения, так как логика ст авит своей целью исследование связи мыслей в рассуждении, выводов из одн их суждений к другим. Анализ языка и развитие логиче ской теории Логика и лингвистика — две области знаний, имеющие общие корни и тесные взаимопереплетения в истории своего развития. Логика всегда ставила св оей основной задачей обозреть и классифицировать разнообразные способ ы рассуждений, формы выводов, которыми человек пользуется в науке и в жиз ни. Хотя традиционная логика имела дело с законами мысли и правилами их с вязи, выражались они средставми языка, поскольку непосредственной реал ьностью мысли является язык. Для логики важны общие логические закономерности мышления, реализуемы е в тех или иных языковых конструкциях. Логические компоненты — важный фактор образования высказываний и организации текста. Г. Фреге первым предложил реконструкцию логического вывода на основе ис кусственного языка (исчисления), обеспечивающего полное выявление всех элементарных шагов рассуждения. В символику логического языка были вве дены операции квантификации. Аксиоматическое построение логики предик атов в виде исчисления предикатов включают аксиомы и правила вывода, поз воляющие преобразовывать кванторные формулы и обосновывать логически й вывод. Тем самым объект исследования логики окончательно переместилс я от законов мысли и правил их связи к знакам, искусственным формализова нным языкам. В логике правильным способом рассуждения является такой, который никог да не приводит от истинных предпосылок к ложным заключениям. Это требова ние вводит в соприкосновение логику как теорию вывода с семантикой. Выво д считается корректным тогда и только тогда, когда условия истинности ег о предпосылок составляют подмножество условий истинности его заключен ий. Однако стандартный семантический подход обоснования вывода в контекст ах, выходящих за рамки классических математических теорий, сталкиваетс я с существенными трудностями. В качестве традиционных примеров рассуж дений, для которых средств стандартной семантики недостаточно, можно пр ивести контексты, содержащие пропозициональные установки («знает, что… », «полагает, что…») и логические модальности («необходимо», «возможно»). Отсюда делается вывод о том, что необходима ревизия семантического спос оба обоснования логического вывода с целью расширения сферы его примен ения. В рамках общего подхода к семантическому анализу выражений естественн ого языка в настоящее время базисной является теоретико-модельная сема нтика. Возникновение математической теории моделей было связано с появ лением в современной логике двух равноправных подходов — синтаксичес кого (теоретико-доказательственного) и семантического (теоретико-модел ьного). Особенность последнего состоит в том, что он задает интерпретаци ю формального логического языка относительно столь же формальных сущн остей, имеющих алгебраическую природу и называемых моделями данного яз ыка. Возникновение и развитие этого второго подхода оказало ни с чем не с равнимое влияние на все дальнейшее развитие логики. Основным инструментом во всех вариантах т еоретико-модельной семантики является рекурсивное определение истинн ости. Достаточно очевидно, что логические модал ьности «необходимо», «возможно» используются в рассуждениях для указа ния на различный характер истинности высказываний. Например, относител ьно одних предложений может утверждаться, что они при некоторых условия х бывают истинными, в то время как другие предназначены всегда быть исти нными и ни при каких условиях не могут оказаться ложными. Далее, если прин ять точку зрения, согласно которой различия в характере истин обусловле ны различием в природе объектов, о которых идет речь в истинных высказыв аниях, то предметная область модельной логики должна включать как объек ты реального мира, так и объекты возможных миров. Но такое различие не под разумевается стандартной семантикой. Поэтому для разрешения трудносте й квантификации модальных контекстов была предложена концепция семант ики возможных миров, имеющая во многом неформальный характер. Одна из важных проблем логическ ого анализа естественных языков — проблема единой логической структу ры предложений. Ее актуальность обусловлена прежде всего тем обстоятел ьством, что, с одной стороны, аппарат классической логики предикатов инт ерпретируется обычно на объективированных высказываниях типа «Снег бе л», «Земля вращается вокруг Солнца» и т.п. С другой стороны, встречается бо льшое количество релятивизованных к говорящему предложений, логическа я структура которых до конца не ясна и, как представляется на первый взгл яд, не согласуется со стандартными представлениями о логической структ уре. Таковы, например, предложения: «Снег бел!», «Идет дождь?», «Увы, Земля вр ащается вокруг Солнца», «Я обещаю прийти» и т.п. Иначе говоря, существует п роблема согласования релятивизованных и объективированных предложен ий в рамках некоторых единых представлений об общей логической структу ре предложений естественных языков. Логика и прагматика языка В последние десятилетия в зарубежной аналитической философии было чет ко осознано, что полноценная модель языка уже никак не может ограничитьс я только семантическим подходом. Необходимо включение в общую модель яз ыка и прагматических аспектов его функционирования. Отсюда обозначила сь задача — совместить в рамках одной теории семантические и прагматич еские «стороны» языка. В частности, предполагается, что в рамках естественного языка любое выра жение необходимо рассматривать в контексте определенного речевого акт а, поскольку связь между условиями истинности предложения и характером речевого акта, совершаемого при его высказывании, является существенно й в определении значения. Соответственно теория значения должна состоя ть из двух блоков — теории референции и теории употребления языка. След овательно, основная проблема теории значения состоит в выявлении связе й между этими «блоками», то есть между условиями истинности предложений и действительной практикой их употребления в языке. Для выявления связи между двумя «блоками» теории значения предлагаетс я рассматривать знание условий истинности как некоторую эмпирическую способность опознавания. Поскольку такой способ принятия решений об ис тинностном значении одновременно является и практической способность ю, он и образует необходимое связующее звено между знанием и использован ием языка. Таким образом, понимание значения предполагает объединение лингвистич еских и экстралингвистических знаний, явной и фоновой информации. Но так ой путь трудно поддается формализации средствами современной математи ческой логики. Тем не менее в настоящее время многим исследователям он к ажется единственно приемлемым. Заключение и выводы Таким образом, видно, что как логика, так и философия языка испытывают в по следние десятилетия сильное влияние со стороны лингвистики. Не вызываю т сомнения и результаты воздействия логики на лингвистические исследо вания. Вместе с тем существует и мощная противоположная тенденция — рас хождение в разные стороны этих двух направлений. Скажем, вопросы лингвис тической прагматики с этой точки зрения весьма далеки от проблем модаль ной логики. Утрата установившегося единства, хотя и может считаться неизбежным сле дствием специализации, все же представляет собой закономерное явление, за которым должен последовать новый этап сближения логики и лингвистик и. Это тем более реально, что база для такого сближения — решение важных п рактических задач — имеется. Оно возможно благодаря происходящей тран сформации от философии языка к философии сознания. Такая трансформация в последние десятилетия способствовала значительному обновлению трад иционной тематики, более тесной интеграции философии, психологии, логик и и теории языка. Она, безусловно, оказывает значительное влияние и на реш ение некоторых практических задач современной жизни. Список литературы Петров В.В. От философии языка к философии сознания. В сб. Философия. Логик а. Язык. М.: «Прогресс», 1987. С. 3— 17. Петров В.В. Язык и логическая теория. В сб. Новое в зарубежной лингвистике. Вып. XVIII «Логический анализ естественного языка». М.: «Прогресс», 1986. С.5— 23. Философский энциклопедический словарь. Статья «Язык». М.: «Советская энц иклопедия», 1983. С. 816. Рузавин Г.И. Логика и аргументация. М.: «Культура и спорт. Издательское объ единение ЮНИТИ», 1997.
1Архитектура и строительство
2Астрономия, авиация, космонавтика
 
3Безопасность жизнедеятельности
4Биология
 
5Военная кафедра, гражданская оборона
 
6География, экономическая география
7Геология и геодезия
8Государственное регулирование и налоги
 
9Естествознание
 
10Журналистика
 
11Законодательство и право
12Адвокатура
13Административное право
14Арбитражное процессуальное право
15Банковское право
16Государство и право
17Гражданское право и процесс
18Жилищное право
19Законодательство зарубежных стран
20Земельное право
21Конституционное право
22Конституционное право зарубежных стран
23Международное право
24Муниципальное право
25Налоговое право
26Римское право
27Семейное право
28Таможенное право
29Трудовое право
30Уголовное право и процесс
31Финансовое право
32Хозяйственное право
33Экологическое право
34Юриспруденция
 
35Иностранные языки
36Информатика, информационные технологии
37Базы данных
38Компьютерные сети
39Программирование
40Искусство и культура
41Краеведение
42Культурология
43Музыка
44История
45Биографии
46Историческая личность
47Литература
 
48Маркетинг и реклама
49Математика
50Медицина и здоровье
51Менеджмент
52Антикризисное управление
53Делопроизводство и документооборот
54Логистика
 
55Педагогика
56Политология
57Правоохранительные органы
58Криминалистика и криминология
59Прочее
60Психология
61Юридическая психология
 
62Радиоэлектроника
63Религия
 
64Сельское хозяйство и землепользование
65Социология
66Страхование
 
67Технологии
68Материаловедение
69Машиностроение
70Металлургия
71Транспорт
72Туризм
 
73Физика
74Физкультура и спорт
75Философия
 
76Химия
 
77Экология, охрана природы
78Экономика и финансы
79Анализ хозяйственной деятельности
80Банковское дело и кредитование
81Биржевое дело
82Бухгалтерский учет и аудит
83История экономических учений
84Международные отношения
85Предпринимательство, бизнес, микроэкономика
86Финансы
87Ценные бумаги и фондовый рынок
88Экономика предприятия
89Экономико-математическое моделирование
90Экономическая теория

 Анекдоты - это почти как рефераты, только короткие и смешные Следующий
Начни первое свидание с легких и незамысловатых вопросов: «почему именно я? зачем тебе все это?»
Anekdot.ru

Узнайте стоимость курсовой, диплома, реферата на заказ.

Обратите внимание, реферат по философии "Логика как наука. Определение логики", также как и все другие рефераты, курсовые, дипломные и другие работы вы можете скачать бесплатно.

Смотрите также:


Банк рефератов - РефератБанк.ру
© РефератБанк, 2002 - 2016
Рейтинг@Mail.ru