Notice: Undefined variable: title in /home/area7ru/area7.ru/docs/referat.php on line 164
Реферат: Экзаменационные билеты - Рефераты по логике - скачать рефераты, доклады, курсовые, дипломные работы, бесплатные электронные книги, энциклопедии

Notice: Undefined variable: reklama2 in /home/area7ru/area7.ru/docs/referat.php on line 312

Главная / Рефераты / Рефераты по логике

Реферат: Экзаменационные билеты



Notice: Undefined variable: ref_img in /home/area7ru/area7.ru/docs/referat.php on line 323
1. Предмет и значение логики
Логика как средство познания объективного мира изучает абстрактное мышление, исследует его формы (понятия, суждения и умозаключения) и законы, в которых происходит отражение мира в процессе мышления.
Предметом теоретической логики, то есть областью ее исследования, являются логические формы, в которых протекает теоретическое познание, - понятия, суждения и рассуждения.
Методологическое значение теоретической логики заключается в том, что в сфере ее исследования разрабатываются, анализируются методологически важные понятия – определение, классификация, доказательство, гипотеза, теория и т.д., которые являются необходимым инструментарием, конкретными операциями научно-исследовательской практики.
2. Логическая грамматика: семантические категории и функторы
Подразделение речевых оборотов на семантические категории производится в зависимости от того, что эти обороты означают. Два выражения считаются относящимися к одной и той же семантической категории рассматриваемого языка, если замена одного из них другим в произвольном осмысленном предложении не превращает это предложение в бессмысленное. Наоборот, два выражения всегда относятся к разным категориям, если подстановка одного из них вместо другого ведет к утрате осмысленности.
Согласно теории семантических категорий, каждое правильно построенное выражение языка принадлежит одной и только одной из семантических категорий. В принципе этих категорий бесконечное число, и они составляют весьма разветвленную иерархию.
В нее входят две основные категории и бесконечная совокупность так называемых функторных категорий. К основным относятся категория имен и категория предложений (высказываний).
Оставляя в стороне сложные и спорные детали теории семантических категорий, можно ограничиться выделением трех основных категорий языковых выражений: имен, предложений (высказываний) и функторов.
Именами являются языковые выражения, подстановка которых в форму “S есть P” вместо переменных S и P дает осмысленное предложение.
Предложение (высказывание) – это языковое выражение, являющееся истинным или ложным
Функтор – это языковое выражение, не являющееся ни именем, ни высказыванием и служащее для образования новых имен или высказываний из уже имеющихся.
Например, слово «есть» - это функтор, поскольку оно не представляет собой имени или высказывания, но позволяет из двух имен получить высказывание.
Функторы, позволяющие из имен или высказываний получать новые высказывания, называются пропозициональными.
3. Имена и виды имен
Имя – это слово или словосочетание, обозначающее какой-либо определенный предмет или класс однородных предметов. Хотя предметы изменчивы, текучи, в них сохраняется качественная определенность, относительно покоящаяся сущность, которую и обозначает имя данного предмета. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении “S есть P” (S – подлежащие,
P – сказуемое).
Имена различаются между собой в зависимости о того, сколько предметов они означают. Единичные имена обозначают один и только один предмет. Общие имена обозначают более чем один предмет. Единичным именем является к примеру слово «Солнце», обозначающее единственную звезду в Солнечной системе. К общим относятся имена «человек», «женщина», «школьник» и т.п.
Все эти имена связаны с множествами, или классами, предметов. При этом имя относится не к множеству как единому целому, а к каждому входящему в него предмету.
Среди общих имен особое значение имеет понятия.
Понятие представляет собой общее имя с относительно ясным и устойчивым содержанием, используемое в обычном языке или в языке науки. Отчетливой границы между теми именами, которые можно назвать понятиями, и теми, которые не относятся к понятиям, не существует.
Имена можно разделить также на пустые, или беспредметные, и непустые.
Пустое имя не обозначает ни одного реально существующего предмета. Имя, не являющееся пустым, отсылает хотя бы к одному реальному объекту. К пустым относятся, к примеру, имена «Зевс», «Пегас», «кентавр», созданные мифологией и обозначающие вымышленных, отсутствующих в реальном мире существ. Пустыми являются также имена «идеальный газ», «абсолютно черное тело», «точка», «линия», используемые в физике и математике и обозначающие не реально существующие, а идеализированные предметы.
Имена подразделяются далее на конкретные и абстрактные. Конкретное имя обозначает физические тела или живые существа. Абстрактное имя обозначает объекты, не являющиеся индивидами. К конкретным относятся, например, имена
«стол», «тетрадь», «лес», «звезда» и т. п. Абстрактными являются имена свойств, отношений, классов, чисел и т. п.: слово «черный» может рассматриваться как обозначение свойства «черноты». Абстрактными являются также имена «человечность», «справедливость», «законность» и т. п.
4. Отношения между именами
Имена относятся в различных отношениях друг к другу. Между объемами двух произвольных имен, которые есть какой-то смысл сопоставлять друг с другом, имеет место одно и только одно из следующих отношений: равнозначность, пересечение, подчинение (два варианта) и исключение.
Равнозначными являются два имени, объемы которых полностью совпадают. Иными словами, равнозначные имена отсылают к одному и тому же классу предметов, но делают это разными способами. («квадрат» и «равносторонний прямоугольник»).
Равнозначность означает совпадение объемов двух имен, но не их содержаний.
Например, объемы имен «сын» и «внук» совпадают (каждый сын есть чей-то внук и каждый внук – чей-то сын), но содержания их различны.

В отношении пересечения находятся два имени, объемы которых частично совпадают. Пересекаются, в частности, объемы имен «летчик» и «космонавт»: некоторые летчики являются космонавтами, есть летчики, не являющиеся космонавтами, и есть космонавты, не являющиеся летчиками.
В отношении подчинения находятся имена, объем одного из которых полностью входит в объем другого. В отношении подчинения находятся, к примеру, имена
«треугольник» и «прямоугольный треугольник»: каждый прямоугольный треугольник является треугольником, но не каждый реугольник прямоугольный.
Если в отношении подчинения находятся общие имена, то подчиняющее имя называется родом, а подчиненное – видом. Имя «треугольник» есть род для вида «прямоугольный треугольник».
В отношении исключения находятся имена, объемы которых полностью исключают друг друга. Исключают друг друга имена «трапеция» и «пятиугольник»,
«человек» и «планета» и т. п.
Можно выделить два вида исключения:
1. Исключающие объемы дополняют друг друга так, что в сумме дают весь ообъем рода, видами которого они являются.
Имена, объемы которых исключают друг друга, исчерпывая объем родового понятия, называют противоречащими («умелый» и «неумелый», «стойкий» и
«нестойкий» и т. п.).
2. Исключающие имена составляют в сумме только часть объема того рода, видами которого они являются. Имена, объемы которых исключают друг друга, не исчерпывая объем родового имени, называются противоположными («простое число» и «четное число», «красный» и «белый»).

5. Определения имен и его правила
Определение – логическая операция, раскрывающая содержание имени.
Определить имя – значит указать, какие признаки входят в его содержание.
Явные определения имеют форму равенства – совпадения двух имен (понятий).
Общая схема таких определений: «S есть (по определению) P». Здесь S и P – два имени, причем не имеет значения, выражается каждое из них одним словом или сочетанием слов.
Неявные определения не имеют формы равенства двух имен. Особый интерес среди неявных определений имеют контекстуальные и остенсивные определения.
Всякий отрывок текста, всякий контекст, в котором встречается интересующее нас имя, является в некотором смысле неявным его определением. Остенсивные определения – это определения путем показа. Определения такого типа напоминают обычные контекстуальные определения. Но контекстом здесь является не отрывок какого-то текста, а ситуация, в которой встречается объект, обозначаемый интересующим нас понятием.
В явных определениях отождествляются, приравниваются друг к другу два имени. Одно – определяемое имя, содержание которого требуется раскрыть, другое – определяющее имя, решающее эту задачу.
Классическими определениями называют явные определения через род и видовое отличие. Общая схема классических определений: «S есть P иM». Здесь S – определяемое имя, P – имя, более общее по отношению к S (род), M – такие признаки, которые выделяют предметы, обозначаемые именем S среди всех предметов, обозначаемых именем (P).
К явным определениям предъявляется ряд достаточно простых и очевидных требований. Их называют обычно правилами определения.
1. Определяемое и определяющее понятия должны быть взаимозаменяемы. Для определений через род и видовое отличие это правило формулируется как правило соразмерности определяемого и определяющего понятий: совокупности предметов, охватываемые ими, должны быть одними и теми же. («голкипер» и
«вратарь», «нонсенс» и «бессмыслица»).
Если объем определяющего понятия шире, чем объем определяемого, говорят об ошибке слишком широкого определения («ромб – плоский четырехугольник»).
Если объем определяющего понятия уже объема определяемого, имеет место ошибка слишком узкого определения («ромб – плоский четырехугольник, у которого все стороны и все углы равны»).
2. Нельзя определять имя через само себя или определять его через такое другое имя, которое, в свою очередь, определяется через него. Это правило запрещает порочный круг.
3. Определение должно быть ясным. Это означает, что в определяющей части могут использоваться только имена, известные и понятные тем, на кого рассчитано определение. Желательно также, чтобы в ней не встречались образы, метафоры, сравнения, т. е. Все то, что не предполагает однозначного и ясного истолкования.
6. Деление имен и его правила.
Деление – это операция распределения на группы тех предметов, которые мыслятся в исходном имени. Получаемые в результате деления группы называются членами деления. Признак, по которому производится деление, именуется основанием деления. В каждом делении имеются, таким образом, делимое понятие, основание деления и члены деления.
Посредством операции деления раскрывается объем того или иного имени, выясняется, из каких подклассов состоит класс, соответствующий делимому имени.
Требования, предъявляемые к делению, достаточно просты.
1. Деление должно вестись только по одному основанию.
Это требование означает, что избранный вначале в качестве основания признак или совокупность признаков не следует в ходе деления подменять другими признаками. Правильно, например, делить климат на холодный, умеренный, жаркий, морской и континентальный будет уже неверным: вначале деление производилось по среднегодовой температуре, а затем – по новому основанию.
2. Деление должно быть соразмерным, или исчерпывающим, т. е. Сумма объемов членов деления должна равняться объему делимого понятия. Это требование предостерегает против пропуска отдельных членов деления.
Ошибочными, неисчерпывающими будут, в частности, деление треугольников на остроугольные и прямоугольные.
3. Члены деления должны взаимно исключать друг друга.
Согласно этому правилу, каждый отдельный предмет должен находиться в объеме только одного видового понятия и не входить в объемы других видовых понятий.
4. Деление должно быть непрерывным.
Это правило требует не делать скачков в делении, переходить от исходного понятия к однопорядковым видам, но не к подвидам одного из таких видов.
Частным случаем деления является дихотомия. Дихотомическое деление опирается на крайний случай варьирования признака, являющегося основанием деления: с одной стороны, выделяются предметы, имеющие этот признак, с другой – не имеющие его. В случае обычного деления люди могут подразделяться, к примеру, на мужчин и женщин, на детей и взрослых и т. п.
При дихотомии множество людей разбивается на мужчин и «немужчин», детей и
«недетей» и т. п.
Классификация – это многоступенчатое, разветвленное деление.
7. Простые и сложные высказывания. Логические союзы.
Высказывание – грамматически правильное предложение, взятое вместе с выражаемым им смыслом (содержанием) и являющееся истинным или ложным.
Высказывание называется простым, если оно не включает других высказываний в качестве своих частей.
Высказывание является сложным, если оно получено с помощью логических связок из нескольких более простых высказываний.
Из отдельных высказываний разными способами можно строить новые высказывания. Слова «и», «либо, либо», «если, то» и т. п., служащие для образования сложных высказываний, называются логическими связками.
8. Отрицание, конъюнкция, дизъюнкция: таблицы значений.
Наиболее важные способы построения сложных высказываний.
Отрицание – логическая связка, с помощью которой из данного высказывания получается новое, причем, если исходное высказывание истинно, его отрицание будет ложным, и наоборот. Отрицательное высказывание состоит из исходного высказывания и отрицания, выражаемого обычно словами «не», «неверно, что».
Будем обозначать высказывания буквами A, B. C,…, отрицание высказывания – символом ~. Полный смысл понятия отрицания высказывания задается условием: если высказывание A истинно, его отрицание A ложно, его отрицание, ~A, истинно.
A ~A
и л
л и

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

В результате соединения двух высказываний при помощи слова «и», мы получаем сложное высказывание, называемое конъюнкцией. Высказывания, соединяемы таким способом, называются членами конъюнкции. Например, если высказывания
«Сегодня жарко» и «Вчера было холодно» соединить связкой «и» получится конъюнкция «Сегодня жарко и вчера было холодно».
Конъюнкция истинна только в случае, когда оба входящих в нее высказывания являются истинными; если хотя бы один из ее членов ложен, то и вся конъюнкция ложна. Высказывание A
A B A&B
и и и
и л л
л и л
л л л
может быть либо истинным, либо ложным, и то же самое можно сказать о высказывании B. Следовательно, возможны четыре пары значений истинности для этих высказываний. Обозначим конъюнкцию символом &. Таблица истинности для конъюнкции приведена слева. Определение конъюнкции, как и определения других логических связок, служащих для образования сложных высказываний, основывается на следующих двух предположениях:
1) каждое высказывание (как простое, так и сложное) имеет одно и только одно из двух значений истинности: оно является либо истинным, либо ложным;
2) истинностное значение сложного высказывания зависит только от истинностных значений входящих в него высказываний и способа их логической связи между собой.
Соединяя два высказывания с помощью слова «или», мы получаем дизъюнкцию этих высказываний. Высказывания, образующие дизъюнкцию, называются членами диъюнкции. Слово «или» в повседневном языке имеет два разных смыслах.
Иногда оно означает «одно или другое или оба», а иногда «одно или другое, но не оба вместе». Первый смысл «или» называется неисключающим. Взятая в этом смысле дизъюнкция двух высказываний означает только, что по крайней мере одно из этих высказываний истинно, независимо от того, истинны они оба или нет. Взятая во втором, исключающем, смысле дизъюнкция двух высказываний утверждает, что одно из них истинно, а второе – ложно.
A B AvB Av`B
и и и л
и л и и
л и и и
л л л л

Символ v будет обозначать дизъюнкцию в неисключающем смысле, для дизъюнкции в исключающем смысле будет использоваться v`. Таблицы для двух видов дизъюнкции показывают, что неисключающая дизъюнкция истинна, когда хотя бы одно из входящих в нее высказываний истинно, и ложна, только когда оба ее члена ложны; исключающая дизъюнкция истинна, когда истинным является только один из ее членов, и она ложна, когда оба ее члена истинны или оба ложны. В логике и математике слово «или» всегда употребляется в неисключающем значении.
9. Импликация и эквивалентность: таблицы значений
Условное высказывание – сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т.п. является в том или ином смысле основанием или условием для другого. Условное высказывание слагается из двух простых высказываний. То, которому предписано слово «если», называется основанием, или антецедентом
(предыдущим); высказывание, идущее после слова «то», называется следствием, или консеквентом (последующим).
A B A>B
и и и
и л л
л и и
л л и

Условное высказывание находит очень широкое применение во всех сферах рассуждения. В логике оно представляется, как правило, посредством импликативного высказывания, или и пликации.
Утверждая импликацию, мы утверждаем, что не может случиться, чтобы ее основание (антецедент) было истинным, а следствие (консеквент) – ложным.
Для установления истинности импликации «если A, то B» достаточно, таким образом, выяснить истинностные значения высказываний A и B. Из четырех возможных случаев импликация истинна в следующих трех:
(1) и ее основание, и ее следствие истинны;
(2) основание ложно, а следствие истинно;
(3) и основание, и следствие ложны.
Только в четвертом случае, когда основание истинно, а следствие ложно, вся импликация ложна. Будем обозначать импликацию символом >. Таблица истинности для импликации приводится. Смысл импликации, как одной из логических связок, полностью определен этой таблицей и ничего другого импликация не подразумевает. Импликация, в частности, не предполагает, что высказывания A и B как-то связаны между собой по содержанию. В случае истинности B высказывание «если A, то B» истинно независимо от того является A истинным или ложными связано оно по смыслу с B или нет. Условное высказывание истнно также тогда, когда A ложно, и при этом опять-таки безразлично, истинно B или нет и связано оно по содержанию с A или нет.
С имплткацией тесно связана эквивалентность, называемая иногда «двойной импликацией».
Эквивалентность – сложное высказывание «A, если и только если B», образованное из высказываний A и B и разлагающееся на две импликации:
«если A, то B» и «если B, то A».
A B A?B
и и и
и л л
л и л
л л и

Термином «эквивалентность» обозначается и связка «... если и только если...», с помощью которой из двух высказываний образуется данное сложное высказывание. Вместо «..., если и только если» для этой цели могут использоваться «.. в том и только в том случае, когда...», «... тогда и только тогда, когда...» и т. п.
Если логические связки определяются в терминах истины и лжи, эквивалентность истинна тогдаи только тогда, когда оба составляющие ее высказывания имеют одно и то же истинностное значение, т. е. когда они оба истинны или оба ложны. Соответственно, эквивалентность является ложной, когда одно из входящих в нее высказываний истинно, а другое ложно.
Обозначим эквивалентность символом ?, формула A?B может быть прочитана так:
«A, если и только если B». Таблица истинности для эквивалентности приводится.
С использованием введенной логической символики связь эквивалентности и импликации можно представить так: «A?B» означает «(A>B)&(A>B)».
Эквивалентность является отношением типа равенства. Как и всякое отношение, эквивалентность высказываний является рефлексивной (всякое высказывание эквивалентно самому себе), симметричной (если одно высказывание эквивалентно другому, то второе эквивалентно первому) и транзитивной (если одно высказывание эквивалентно другому, а другое – третьему, то превое высказывание эквивалентно третьему).
10. Логические законы тождества, противоречия и исключенного третьего
Закон тождества говорит: если каждое высказывание истинно, то оно истинно.
Иначе говоря, каждое высказывание вытекает из самого себя и является необходимым и достаточным условием своей истинности. Символически: A>A, если A, то A. Например, если дом высокий, то он высокий» и т. п.
Идея, выражаемая законом противоречия, проста: высказывание и его отрицание не могут быть вместе истинными. Закон противоречия выражается формулой:
~(A&~ A), неверно, что A и не-A. Если применять понятия истины и лжи, закон противоречия можно сформулировать так: никакое высказыание не является вместе истинным и ложным. Иногда закон противоречия формулируют следующим образом: из двух противоречащих друг другу высказываний одно является ложным.
Закон исключенного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. Он утверждает: из двух противоречащих высказываний одно является истинным. Символически: A v~ A, A или не-A. Например: «Личинки мух имеют голову или не имеют ее». Само название закона выражает его смысл: дело обстоит так, как говорится в рассматриваемом высказывании, или так, как говорится в его отрицании, и никакой третьей возможности нет.
11. Законы двойного отрицания, контрапозиции, приведения к абсурду и косвенного доказательства
Законом двойного отрицания называется закон логики, позволяющий отбрасывать двойное отрицание. Этот закон можно сформулироватьтак: отрицание отрицания дает утверждение, или: повторенное дважды отрицание дает утверждение.
Например: «Если неверно, что Вселенная не являтся бесконечной, то она бесконечна». В символической форме закон записывается так: ~ ~ A>A, если неверно, что не-A, то верно A.
Законы контрапозиции говорят о перемене позиций высказываний с помощью отрицания: из условного высказывания «если есть первое, то есть второе» вытекает «если нет второго, то нет и первого», и наоборот. Символически:
(A>B)>(~B>~ A), если дело обстоит так, что если A, то B, то если не-B, то не-A;
(~B>~A)>(A>B), если дело обстоит так, что если не-B, то не-A, то если A, то
B.
К примеру: из высказывания «Если есть следствие, то есть и причина» следует высказывание «Если нет причины, нет и следствия», и из второго высказывания вытекает первое.
К законам контрапозиции обычно относят также законы:
(A>~ B) >(B>~A), если дело обстоит так, что если A, то не-B, то если B, то не-A. Например, «Если квадрат не является треугольником, то треугольник не квадрат»;
(~ A >B) > (~B> A), если верно, что если не-A, то B, то если не-B, то A. К примеру: «Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно».
Редукция к абсурду (приведение к нелепости) – это рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсу...

ВНИМАНИЕ!
Текст просматриваемого вами реферата (доклада, курсовой) урезан на треть (33%)!

Чтобы просматривать этот и другие рефераты полностью, авторизуйтесь  на сайте:

Ваш id: Пароль:

РЕГИСТРАЦИЯ НА САЙТЕ
Простая ссылка на эту работу:
Ссылка для размещения на форуме:
HTML-гиперссылка:



Добавлено: 2010.10.21
Просмотров: 2068

Notice: Undefined offset: 1 in /home/area7ru/area7.ru/docs/linkmanager/links.php on line 21

При использовании материалов сайта, активная ссылка на AREA7.RU обязательная!

Notice: Undefined variable: r_script in /home/area7ru/area7.ru/docs/referat.php on line 434