Уикипедия

Импликация: Разлика между версии

Интерактивен преглед на историята
← По-стара редакцияПо-нова редакция →
Изтрито е съдържание Добавено е съдържание
ВизуаленУикитекст
Редакция без резюме
мРедакция без резюме
Ред 1:
[[File:Venn1011.svg|220px|thumb|Импликацията {{nowrap|<math>A \rightarrow B</math>}}, представена чрез диаграмите на Вен, доколкото е налице следната еквивалентност: <math>A \rightarrow B \Leftrightarrow \neg A \or B</math><br><br>[[File:Venn1011.svg|40px|A → B]] <math>\Leftrightarrow</math> [[File:Venn1010.svg|40px|¬A]] <math>\or</math> [[File:Venn0011.svg|40px|B]]]]
 
'''Импликация''' (също „кондиционал“ или „субюнкция“) или, по-точно, '''материална импликация''' се нарича в [[логика]]та както едно сложно изречение, възникнало от свързването на две изречения чрез съюзната връзка „ако – то“, при което въведеното с „ако“ условно подизречение се нарича „антецедент“, а следващото частицата „то“ подизречение – „консеквент“, така и самата съюзна връзка „ако – то“, разбирана в смисъла на логическа частица или логически оператор, който създава следната истинностно-функционална зависимост: едно импликативно изречение е ''неистинно'' (има стойност по истинност Н), когато антецедентът е истинен, а консеквентът – неистинен, и истинно (има стойност по истинност И) във всички останали случаи.<ref>Терминът 'кондиционал' е въведен от Куайн в англоезичната логическа литература, а терминът 'субюнкция' от Лоренцен в немскоезичната, защото и двамата смятат Ръселовия термин 'импликация' за подвеждащ, тъй като той създава впечатление, че тук става дума за 'следване', т.е. за 'логическо имплициране' (срв. рубриката логическа импликация). Ето защо и двама се връщат към Фреге, като Куайн се ориентира към неговия термин 'Bedingtheit' ('обусловеност'), а Лоренцен към символното изображение, с което Фреге предава условните твърдения, а именно към своеобразието, че във Фрегевата двуизмерна логическа нотация условието (основанието) В за едно твърдение А се записва 'под' него: [[File:Begriffsschrift connective2.svg|40x27px]] (оттук и 'суб-юнкция').</ref> За да се различават ипликацията в смисъла на специфичен вид сложно изречение и импликацията в смисъла на логически оператор, някои автори, които използват думата „субюнкция“, запазват тази дума само за сложното изречение и наричат оператора „субюнктор“.
 
Символният израз на субюнктора е знакът <math>\rightarrow</math>. В по-старите книги по логика се използва и Пеано-Ръселовият символ <math>\supset</math>.<ref>Знакът <math>\supset</math> има произхода си най-вероятно в буквите, които Жосеф Жергон (1771–1859) въвежда за обозначаване на своите кръгови логически диаграми, където, след като „C“ в <math>a</math>C<math>b</math>, с което се казва, че че класът <math>a</math> е съдържан в класа <math>b</math> („C“ от „contenue“ [съдържан]), символизира релацията „е подмножество на“, обърнатото „C“ в <math>a</math>Ɔ<math>b</math>, с което се казва, че класът <math>a</math> съдържа класа <math>b</math> („Ɔ“ от „contenante“ [съдържащ]), символизира конверзната релация „включва (като подмножество)“. На свой ред, знакът <math>\rightarrow</math> е въведен от [[Давид Хилберт|Хилберт]] и Акерман през 1928 г. в книгата им ''Grundzüge der theoretischen Logik''.</ref>
Ред 39:
'''Смисълът''' на импликацията може да се предаде по следния начин. Който твърди <math>p\rightarrow q</math>, се ангажира с истинността на <math> q</math> при условие, че <math>p</math> е истинно. Той прави едно условно твърдение: <math> q</math> при условие, че <math>p</math>. Той твърди, че описаното от <math> q</math> положение на нещата ще бъде факт, ако е изпълнено условието, формулирано от <math>p</math>. Ето защо, ако това условие не е изпълнено, импликативното твърдение <math>p\rightarrow q</math> ще оставя открит въпроса как стоят нещата с <math> q</math>, т.е. ако антецедентът <math>p</math> е неистинен, за истинността на цялата импликация няма да има значение каква би била стойността по истинност на консеквента <math> q</math>, а това означава: тя няма да бъде неистинниа. Ние можем да кажем това така:
 
(А) ''импликацията <math>p\rightarrow q</math> ще бъде истинна, стига антецедентът да бъде неистинен''.
 
От друга страна, тъй като описаното от антецедента <math>p</math> положение на нещата се полага чрез импликацията <math>p\rightarrow q</math> само като достатъчно, но не и като необходимо условие за наличността на описаното от консеквента <math>q</math> положение на нещата, т.е. който твърди <math>p\rightarrow q</math>, не представя <math>p</math> като единственото възможно условие за <math> q</math> (за да постигне това, той трябва да употреби не думите „ако <math>p</math>“, а „само ако <math>p</math>“ (вж. по-долу за [[Импликация#.D0.94.D0.BE.D1.81.D1.82.D0.B0.D1.82.D1.8A.D1.87.D0.BD.D0.BE_.D0.B8_.D0.BD.D0.B5.D0.BE.D0.B1.D1.85.D0.BE.D0.B4.D0.B8.D0.BC.D0.BE_.D1.83.D1.81.D0.BB.D0.BE.D0.B2.D0.B8.D0.B5|достатъчното и необходимото условие]]), и съотв. <math>p\rightarrow q</math> оставя открит въпроса дали би могло да има и други причини за съществуването на описаното от <math> q</math> положение на нещата, то ако подизречението <math> q</math> е истинно, няма да има значение как стоят нещата с истинността на подизречението <math>p</math> (в този случай, ако <math>p</math> е истинно, това ще потвърждава твърдението, че <math>p</math> не и без <math>q</math>; ако <math>p</math> е неистинно, тази ситуация няма да е несъвместима с претенцията за истинност на цялото <math>p\rightarrow q</math>, че истинността на <math>p</math> e достатъчо условие за истинността на <math>q</math>). Ние можем да кажем това така:
 
(В) ''импликацията <math>p\rightarrow q</math> ще бъде истинна, стига консеквентът да бъде истинен''.
 
(А) и (В) показват, както се вижда и от таблицата за истинност на <math>\rightarrow</math>, че една импликация е неистинна в един-единствен случай (от четирите възможни случаи на комбинации на стойностите по истинност на нейните подизречения), а именно когато консеквентът е истинен (условието е изпълнено), а антецедентът – неистинен (това, което твърдим по условен начин, не е факт). Ние можем да предадем този смисъл и като кажем така: импликативното твърдение ''<math>p\rightarrow q</math>'' изключва случая, в който антецедентът <math>p</math> е истинен, а консеквентът <math> q</math> – неистинен. Със символи бихме могли да изразим това като еквивалентност на импликацията и следното изречение, образувано с помощта на конюнкция и отрицание:
Ред 66:
Всичко казано дотук показва, че примери за ''истинни'' – от 'логическа гледна точка' – ''импликации'' от типа на
 
(α) Ако Земята е футболна топка, то София е на Луната,<ref>Е. Латинов, ''Символна логика със задачи''. София: Изток-Запад, 2010, с. 18</ref>
 
които имат неистинни антецеденти, не държат сметка за ''смисъла'' на импликацията в ролята ѝ на кондиционално твърдение. Който твърди (α) в смисъла на <math>\rightarrow</math>, казва: аз се ангажирам с (това да дам основания за) истинноста на консеквента на (α), ''ако'' условието, което бива формулирано от антецедента на (α), е изпълнено. Следователно, за да оспори (α), един опонент трябва да докаже първо, че антецедентът на (α) е истинен. Едва тогава твърдящият (α) ще е длъжен да докаже консеквента на (α). Ако не е в състояние да направи това, той ще е казал с (α) една неистина. Има ли следи от подобна езикова игра при твърденето на (α)? Кой би твърдял (α)? Някой, който смята, че истината на антецедента на (α) е достатъчно условие за истината на консеквента на (α). Такъв ли е случаят? Можем ли да допуснем, че някой би искал да твърди сериозно, че София е на Луната, ако е изпълнено условието, че Земята е футболна топка? Колкото и да е абсурдно това, нека го приемем. Ако сега опонентът не може да докаже, че Земята е футболна топка, диалогът ще прекъсне, защото тук ще става дума за едно неизпълнено условие и от този момент нататък повече няма да има значение как стоят нещата с описаното от консеквента положение на нещата. Хора, които не разбират от логика, отиват обаче една крачка по-нататък и казват: това, че логиците твърдят, че импликацията (α) изразява една истина, означава, че според формалната логика конкеквентът на (α) 'следва' от антецедента на (α) и, по-общо, че от една неистина 'следа всичко', както в случая напр. това, че София е на Луната. Който казва нещо подобно, не прави разлика между импликацията в смисъла на едно кондиционално твърдение и импликацията в смисъла на [[Импликация#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B0 .D0.B8.D0.BC.D0.BF.D0.BB.D0.B8.D0.BA.D0.B0.D1.86.D0.B8.D1.8F|логическо следване]]. ''Истинността'' на (α) не трябва да се обърква с ''валидността'' на един 'преход' от антецедента на (α) към консеквента на (α), т.е. с едно заключение. Дори формалният логик, който смята (α) за истинно, не смята, че оттук следва, че София е на луната. Според него (α) е истинно тъкмо защото това, че София е на Луната, не е факт. (α) е едно кондиционално твърдение. В този случая ние знамем: ако опонентът не може да докаже неговия антецедент (ако антецедентът е неистинен), то по-нататък изобщо няма да има смисъл да се води дебат относно това дали консеквентът е истинен, или не. Но именно това подсказва, че (α) не е адекватен пример за кондиционал. Нека, за да видим това, разгледаме и
 
(β) Ако Земята е кръгла, то София е столица на България.<ref>Пак там.</ref>
 
Има ли смисъл да се твърди това? След като опонентът докаже, че е истинно, че Земята е кръгла, този, който твърди (β), ще трябва да докаже, че е истина, че София е столица на България. Има ли обаче смисъл да се прави това? Тъй като положенията на нещата, които биват описвани от двете подизречения в (β), са напълно независими едно от друго, не е ясно какъв е смисълът първото да се представя като условие за наличността на второто. В този случай, вместо да се използва кондиционалът <math>\rightarrow</math>, много по-адекватно би било да се употреби [[Конюнкция|конюнкторът]] и да се каже:
 
(γ) Земята е кръгла и София е столица на България.
 
(γ) също е едно истинно комплексно изречение. Фактите в света правят истинни както (β), така и (γ). Това обаче не означава, че технят смисъл е еднакъв. От това, че определени факти правят една импликация, напр. (β), истинна, не следва, че тя е подходящият израз, за да се опише дадена ситуация. Знакът <math>\rightarrow</math> (и съотв. изразното средство „ако – то“) е един инструмент, с чиято помощ може да се направи едно кондиционално твърдение. По същия начин [[Дизюнкция|дизюнкторът]] <math>\or</math> (и съотв. изразното средство „или“) е един инструмент, с чиято помощ може да се утвърди една алтернатива (в смисъла на „поне едно от ... е факт“). Следва ли оттук, че има смисъл да използваме <math>\rightarrow</math> за свързването на произволни изречения само затова, защото получаващите се от това свързване комплексни изречения са истинни?
 
(δ) Земята е кръгла или София е столица на България
 
също е една истинно изречение, но има ли смисъл да го твърдим? Отговорът е: има смисъл да използваме <math>\rightarrow</math>, когато искаме да утвърдим нещо при дадено условие; има смисъл да използваме <math>\or</math>, когато искаме да изразим една алтернатива; има смисъл да използваме <math>\and</math>, когато искаме да утвърдим всички от даден клас изречения. Този смисъл, както показват (β), (γ) и (δ), не се свежда до това дали дадено импликативно, конюнктивно или дизюнктивно изречение е истинно в реалния свят, а зависи от целия спектър на неговите условия за истинност (който се описва от възможностите в таблиците за истинност). От това, че (β) е истинно, не следва, че кръглостта на Земята е достатъчно условие за това, че София е столица на България. След като това не е така, значи, че (β) не е смислен кондиционал.
Ред 87:
За да разберем какво в логиката се разбира под „формална импликация“, нека започнем с разглеждането на следното изречение:
 
(1) Всички мравки са отровни.
 
Чрез (1) се изразява 'подчинението' ('субординацията') на понятието за мравка под понятието за нещо отровно. В традиционната логика се приема, че в (1) изразът „всички мравки“ е субект, думата „отровни“ е предикат, а частицата „са“ е копула (връзка между субекта и предиката). Фреге настоява обаче, че тук „всички мравки“ е субект само в граматически, но не и в логически смисъл (т.е. не е израз, който служи за назоваването на един предмет като предмета, за който искаме да изкажем предиката). При подчинението на понятия ние не приписваме подчиняващото понятие като свойство на подчиненото понятие: с (1) ние не казваме, че понятието за мравка е отровно. Не понятието, а предметите, които попадат под него, са отровни. Това може да се изрази и така:
 
(1*) Всяко нещо, което е мравка, е отровно,
 
където думата „мравка“ повече не се създава впечатление, че играе ролята на (част от) логическия субект. На свой ред, думите „всяко нещо“ служат за образуването на едно универсално изказване. Подчиненото определителното изречение „което е мравка“, което ги пояснява, ограничава валидността на универсалното изказване до областта на мравките. То въвежда едно условие: „За всяко нещо важи, че ''ако'' е мравка, то ще бъде ...“. Следователно (1) и (1*) изразяват същата мисъл като (имат същия смисъл като):
 
(1**) Ако нещо е мравка, то то е отровно.
 
В (1**) вече имаме изречение с формата „ако – то“, каквито ни интересуват тук. Фреге предлага вербалните фрази „... е мравка“ и „... е отровно“ да се интерпретират като изрази за функции, които за предмети като аргументи дават стойности по истинност като стойности за тези аргументи. Напр. ако допълним вербалната фраза (отвореното изречение) „... е мравка“ последователно с имената „Зет“ и „Кант“, ние ще получим за „Зет“ едно истинно изречение („Зет е мравка“), а за „Кант“ – едно неистинно („Кант е мравка“). В този смисъл ние можем да разглеждаме тези две изречения, които са изрази на една истина И и една неистина Н, като стойности на „... е мравка“ за „Зет“ и „Кант“. Ако сега запишем „... е мравка“ – както е обичайно в предикатната логика – с функционалния израз <math>F(x)</math> (където буквата <math>x</math> просто държи отворено едно място в смисъла на <math>F(\ldots)</math>), а „Зет“ и „Кант“ с малките латински букви <math>a</math> и <math>b</math> (така както в предикатната логика се символизират сингуларни термини), то от отвореното изречение <math>F(x)</math> чрез последователно заместване на (променливата) <math>x</math> с (константните изрази) <math>a</math> и <math>b</math> можем да получим следните изречения <math>F(a)</math> и <math>F(b)</math>. Сега, ако символизираме „... е мравка“ и „... е отровно“ от (1**) с <math>F(x)</math> и <math>G(x)</math> и използваме кондиционала <math>\rightarrow</math>, който ни е познат вече от пропозиционалната логика (вж. по-горе за материалната импликация), ще получим израза <math>F(x)</math> <math>\rightarrow</math> <math>G(x)</math>. Този израз обаче е все още отворено изречение. Ние можем да образуваме от него едно изречение, ако напр. заместим <math>x</math> с някакъв сингуларен термин, да кажем, с <math>a</math>: <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math> („Ако Зет е мравка, то Зет е отровен“). Но ние можем да генерализираме и да кажем, че при всяко заместване на <math>x</math> в <math>F(x)</math> <math>\rightarrow</math> <math>G(x)</math> със сингуларни термини ще получаваме истинно изречение: „Което и нещо да вземем: ако то е мравка, то то ще е отровно“. Това може да се каже и така: „Всяко нещо: ако то е мравка, то то ще бъде отровно“. Фреге предлага да интерпретираме думите „всяко нещо“ като израз за една специална функция (от втора степен), чиито стойности са стойности по истинност и чиито аргументи са такива функции (от първа степен), чиито стойности са също стойности по иснинност и чиито аргументи са произволни предмети. Символът, който се използва в съвременната логика като израз за тази функция, е [[Логика#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B8 .D0.BE.D0.BF.D0.B5.D1.80.D0.B0.D1.82.D0.BE.D1.80.D0.B8|операторът <math>\forall x</math>]] (знакът <math>\forall x</math> може да се прочете напр. като „за всяко нещо важи, че ...“ или „всяко нещо: ...“). <math>\forall x</math> се нарича универсален квантор и е логическа частица (константа) на предикатната логика. С <math>\forall x</math> можем да символизираме (1), (1*) и (1**) по следния начин:
Ред 105:
Когато говорим за формална импликация, трябва да имаме предвид и следната възможност за ''преод'' от <math>\forall x[F(x) \rightarrow G(x)]</math> към <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math>, който е частен случай на инференциалното правило на т.нар. универсална инстанциация: ако един предикат може да се изкаже истинно за всички предметеи, то той ще може да се изкаже истинно и за даден определен предмет, със символи <math>\forall xF(x)</math> <math>\Rightarrow</math><math>F(a)</math> (за символа <math>\Rightarrow</math> срв. по-долу рубриката за 'логическата импликация'). В нашия пример това би бил преходът от „Ако нещо е мраква, то то е отровно“ към „Ако Зет е мравка, то Зет е отровен“ или, ако вземем традиционния пример за подчинение на понятия „Всички хора са смъртни“, ние бихме могли да извършим прехода от
 
(2) Ако нещо е човек, то то е смъртно
 
към
 
(3) Ако Наполеон е човек, то Наполеон е смъртен.
 
(2) има структурата на <math>\forall x[F(x) \rightarrow G(x)]</math>, а (3) – структурата на <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math> (с <math>a</math> за „Наполеон“, а <math>F(x)</math> и <math>G(x)</math> за „... е човек“ и „... е смъртен“). Тук е важно да се прави разликата, че докато <math>F(x)</math> и <math>G(x)</math> в (2), разгледани извън връзката им с квантора, са отворени изречеения, то <math>F(a)</math> и <math>G(a)</math>в (3) са вече изречения, които са истинни или неистинни. Това означава, че <math>\rightarrow</math>, с която „ако – то“ от (2) следва да се интерпретира, е типичната формална имликация, чрез която се дава израз на подчинение на понятия, но <math>\rightarrow</math>, с която „ако – то“ от (3) следва да се интерпретира, свърза самостоятелни изречения. В този пункт „ако – то“ от (3) съзвава впечатление, че тук става въпрос за материална импликация от типа на ''<math>p\rightarrow q</math>''. Това обаче е вярно само отчасти. Марериалната импликация в ''<math>p\rightarrow q</math>'' не изисква никаква съдържателна връзка между изреченията <math>p</math> и <math> q</math>. Ако оставим настрана факта, че <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math> частен случай на подчинението на понятия <math>\forall x[F(x) \rightarrow G(x)]</math> (с което вече се иказа съдържателна връзка между генералните термини <math>F</math> и <math>G</math>), и разгледаме <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math> само по себе си, ще видим, че между <math>F(a)</math> и <math>G(a)</math> все още има съдържателна връзка, която се получава от фкта, че и в двете от тях се появява един и същ сингуларен термин: <math>a</math>, т.е. в тях се говори за един и същ предмет (в нашия случай – за Наполеон). Следователно в съдържателно отношение <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math> е нещо повече от гола материална имликация. Въпреки това <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math> може да се третира и пропозиционално логически, както когато напр. от предпоставките <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math> и <math>F(a)</math> се заключи за <math>G(a)</math>: <math>F(a)</math> <math>\rightarrow</math> <math>G(a)</math>, <math>F(a)</math> <math>\Rightarrow</math> <math>G(a)</math> (това заключение е частен случай на 'модус поненс': ''<math>p\rightarrow q</math>'', <math>p</math> <math>\Rightarrow</math> <math> q</math>, където обстоятелството, че в изреченията <math>F(a)</math> и <math>G(a)</math> се говори за един и същ предмет, не играе никаква роля за валидността на заключението).
Ред 115:
Когато се казва, че за истинността на една материална импликация ''<math>p\rightarrow q</math>'' не е нужно да има никаква съдържателна връзка между нейните подизречен <math>p</math> и <math> q</math>, но като пример за материална импликация се дава изречението
 
(4) Ако Петър е болен от малария, то той трябва да приема хинин,
 
за да се покаже, че с (4) ние не твърдим само по себе си това, че Петър трябва да пие хинин, а настояваме за него само при условие, че Петър е болен от малария, то тук се дава един пример, който всъщност е инстанция на една формална импликация. Това означава: тук има съдържателна връзка между двете подизречения.
 
== Логическа импликация ==
Когато правим заключение от някакво множество предпоставки <math>p_1</math>, ..., <math>p_n</math> за един извод <math>q</math>, ние казваме: предпоставките <math>p_1</math>, ..., <math>p_n</math> 'имплицират' извода <math>q</math>. Още Аристотел, когато обяснява какво разбира под 'силогизъм', изразява това по следния начин: един силогизъм (дедуктивен аргумент) е налице, когато ''ако'' дадени предпоставки са ''истинни'', един извод се получава с ''необходимост''. Това означава: ние имаме едно формално-валидно заключение, когато е невъзможно неговите предпоставки да са истинни, а изводът – неистинен (когато, с други думи, истината на предпоставките е несъвместима с неистината на извода). Това отношение между предпоставки и извод се описва често със съюзната връзка „ако – то“:
 
(σ) ако <math>p_1</math>, ..., <math>p_n</math>, то (с необходимост) <math>q</math>.
 
(σ) може да се интерпретира като израз на едно ''правило'' за преход от предпоставките <math>p_1</math>, ..., <math>p_n</math>към извода <math>q</math>. Когато подобен преход е формално-валиден, ние говорим за '''логическо следване''' или за '''логическа импликация'''.
 
Каква е връзката на логическата импликация с кондиционалното твърдение? Най-напред е налице следната разлика. Докато (σ) следва да се разбира метаезиково, т.е. с (σ) се споменават изречения и се казва: ние имаме право да направим преход от изреченията <math>p_1</math>, ..., <math>p_n</math> (и за тази цел дори можем да поставим изреченията <math>p_1</math>, ..., <math>p_n</math> в кавички) към изречението <math>q</math>, то кондиционалното твърдение ''<math>p\rightarrow q</math>'' е едно обектно езиково изречение, т.е. с него се говори не за езика (за изречения и т.н.), а за нещата в света; с ''<math>p\rightarrow q</math>'' се твърди: <math>q</math> при условие, че <math>p</math> (или: <math>p</math> не и без <math>q</math>). За метаезиковото „ако «...», то «...»“, което съдържа и един модален момент: „ако «...», то с необходимост «...»“, можем да въведем символа <math>\Rightarrow</math>. ''<math>p\Rightarrow q</math>'' казва: изречението <math>p</math> имплицира логически изречението <math>q</math>; или: <math>p</math> следва логически от <math>p</math>; или, формулирано като правило: от изречението <math>p</math> имаме право да направим преход към изречението <math>q</math>. Знакът <math>\Rightarrow</math> може да се чете като „следователно“. Връзката с ''<math>p\rightarrow q</math>'' е следната:
 
(D<sub>1</sub>) правилото ''<math>A\Rightarrow B</math>'' е формално-валидно <math>\overset{\underset{\mathrm{def}}{}}{=}</math> изречението ''<math>A\rightarrow B</math>'' е логически истинно.
 
''<math>A</math>'' и ''<math>B</math>'' в (D<sub>1</sub>) не са изречения, а променливи за изречения, при чието заместване поне едното от изреченията трябва да бъде комплексно, защото от едно елементарно изречение не може да следва ''логически'' друго елементарно изречение (защото, ако <math>p</math> и <math>q</math> са елементарни изречения, ''<math>p\rightarrow q</math>'' не може да бъде ''логически'' истинно изречение). Тук обясняваме понятието за логическо следване с понятието за логически истинно кондиционално изречение.
 
Какво означава 'логическа истина'? За да обясним това, се нуждаем от две дистинкции. Първата е тази между аналитични и синтетични изречения. Едно изречение е синтетично, когато неговата истина не следва от неговия смисъл. Това означава: за да установим дали изречението е истинно, или не, не е достатъчно да разбираме изречението (да схващаме неговия смисъл), а е нужно да видим как стоят нещата в света. С други думи, за да установим стойността по истинност на едно синтетично изречение, ние трябва да сравним описаното от това изречение положение на нещата с действителността, за да видим дали то съществува в света. Напр. за да установим дали изречението „Навън вали дъжд“ е истинно, ние трябва да проверим дали навън в момента действително вали дъжд. Това означава, че смисълът на едно синтетично изречение оставя открит въпроса дали изречението е истинно, или не. Едно синтетично изречение може да бъде както истинно, така и неистинно. Точно тази възможност е изключена при аналитичните изречения. Истината на едно аналитично изречение се основава в неговия смисъл (в неговото значение). За да установим дали едно аналитично изречение е истинно, не е нужно да проверяваме дали нещата в света се съгласуват с него(вия смисъл), или не. Напр. изречението
 
(i) Навън вали дъжд или навън не вали дъжд
 
е истинно независимо от това как стоят нещата в света. Същото важи и за изречението
 
(ii) Ако един мъж е ерген, то той е неженен.
 
Ние можем да изразим това и по следния начин: аналитичните изречения са истинни при всички възможни положения на нещата в света, т.е. във всички възможни светове. В този смисъл, докато синтетичните изречения са контингентно истинни или неистинни, аналитичните изречения са необходимо истинни, а техните отрицания (необходимите неистини) са противоречия.
 
При аналитичните изречения трябва да се прави разлика между такива, които са истинни въз основа на значенията на, така да се каже, съдържателните думи в тях, каквито са напр „ерген“ и „неженен мъж“ в (ii), и такива, чиято истинност се получава от значението на формообразуващите частици в тях, каквито са напр. на „не“ и „или“ в (i). Ние наричаме втория вид аналитичност формална, а първия материална.<ref>Срв. E. Tugendhat & U. Wolf, ''Logisch-semantische Propädeutik''. Stuttgart: Reclam, 1984, гл. 4. (Подготвя се бълг. пр. в издателство Изток-Запад.)</ref> Формалната аналитичност на (i) се вижда по факта, че ако 'формализираме' (i), като заместим в него изречението „Навън вали дъжд“ с ''променливата'' <math>p</math> и получим така схемата
 
(σ<sub>1</sub>) <math>p</math> или не-<math>p</math>,
 
то което и произволно изречение да вземем и го поставим на мястото на <math>p</math> в (σ<sub>1</sub>), ще получаваме едно аналитично истинно изречения (напр. ако вземем „Цезар е умрял в 44 г. пр. Хр.“, ще получим „Цезар е умрял в 44 г. пр. Хр. или Цезар не е умрял в 44 г. пр. Хр.“). Ако заместим по същия начин „ерген“ (или „ерген“ и „неженен“, или „ерген“ и „неженен“, и „мъж“) в (ii) с променливата <math>F</math> (или <math>F</math> и <math>G</math>, или <math>F</math> и <math>G</math>, и <math>H</math>), ние ще получим една схема, която не е валидна, т.е. чиито инстанции (изреченията, които се получават при заместването на променливите с генерални термини) ще бъдат ту истинни, ту неистинни (а не винаги истинни както е в случая на схемата „<math>p</math> или не-<math>p</math>“). Напр., ако вземем за повече простота схемата с една променлива „Ако един мъж е <math>F</math>, то той е неженен“, и заместим <math>F</math>, да кажем, с „интелигентен“, ще получим твърдението „Ако един мъж е интелигентен, то той е неженен“, което е неистинно, защото не всички интелигентни мъже са неженени, т.е. защото има интелигентни женени мъже.
 
Ако ни се струва, че разликата между формалната и материалната се дължи само на това, че в (i) заместваме с променливи цели изречения, а в (ii) само генерални термини, нека видим изречението
 
(iii) Ако всички хора са смъртни, а всички гърци са хора, то всички гърци са смъртни.
 
Ако сега заместим „хора“, „смъртни“ и „гърци“ в (iii) с променливите <math>F</math>, <math>G</math> и <math>H</math>, ще получим
 
(σ<sub>2</sub>) Ако всички <math>F</math> са <math>G</math> и всички <math>H</math> са <math>F</math>, то всички <math>H</math> са <math>G</math>.
 
(σ<sub>2</sub>) е схема, всички инстанции на която – получаващи се чрез заместването на променливите <math>F</math>, <math>G</math> и <math>H</math> с генерални термини – ще бъдат истинни изречения. Това означава, че (σ<sub>1</sub>) е валидна схема. Инстанциите на една валидна схема са формално-аналитични изречения. Ако заместим в (iii) целите (под)изречения (и съотв. в (σ<sub>2</sub>) – схемите на (под)изреченията) със сентенциални променливи, както направихме в (i), за да получим (σ<sub>1</sub>), ще получим „Ако <math>p</math> и <math>q</math>, то <math>r</math>“. Това не е валидна схема. Истината на изреченията, които ще получаваме от нея чрез заместването на сентенциалните променливи с изречения, ще зависи от съдържанието на тези изречения. Така някои от инстанциите на схемата ще са истинни, други неистинни. Ние можем да опишем тази ситуация по следния начин: докато (σ<sub>1</sub>) е пропозиционално-логически валидна схема (тук променливите са променливи за цели изречения), то (σ<sub>2</sub>) е предикатно-логически валидна схема (тук променливите са променливи за генерални термини). Инстанциите както на (σ<sub>1</sub>), така и на (σ<sub>2</sub>) са формално-аналитични изречения. Истината на инстанциите на (σ<sub>1</sub>) почива на значението на пропозиционално-логическите константи (отрицание „не“, [[конюнкция]] „и“, [[дизюнкция]] „или“, [[Импликация#.D0.9E.D0.B1.D1.8F.D1.81.D0.BD.D0.B5.D0.BD.D0.B8.D0.B5|импликация]] „ако“ и др.). Истината на инстанциите на (σ<sub>1</sub>) почива на значението на предикатно-логическите константи („[[Импликация#.D0.A4.D0.BE.D1.80.D0.BC.D0.B0.D0.BB.D0.BD.D0.B0 .D0.B8.D0.BC.D0.BF.D0.BB.D0.B8.D0.BA.D0.B0.D1.86.D0.B8.D1.8F|всички]]“, „някои“, „има“).
 
Сред като вече разполагаме с понятието за формално-аналитично истинно изречение, ние можем да дефинираме понятието за логическа истина:
 
(D<sub>2</sub>) едно изречение <math>p</math> е логически истинно <math>\overset{\underset{\mathrm{def}}{}}{=}</math> <math>p</math> е формално-аналитично.
 
Логическите истини (логически истинните изречения) са тавтологии. Докато целта на обичайните изречения е да служат за описания на факти в света, а тяхната информативност се получава от изключването на определени случаи (в контраста на „това е така“ срещу „това не е така“), т.е. те са информативни, тъй като изтъкват една от две взаимоизключващи се възможности, то логически истинните изречения са необходимо истинни – истинни независимо от тока как стоят нещата в света. С други думи, изреченията, които говорят за света, съдържат в своя смисъл възможността да бъдат истинни и възможността да бъдат неистинни, то при логическите истини тази възможността за неистинност не съществува. По тази причина те не могат да говорят за действителността – за актуалния свят. От (i) ние не можем да разберем дали навън вали дъжд, или не. В този смисъл това, че са тавтологии, означава за логическите истини, че те нямат информативна стойност. Те съдържат определени повторения в себе си, били те имплицитни като в „ако <math>p</math>, то <math>p</math>“, били те имплицитни като в „<math>p</math> или не-<math>p</math>“.
 
Този 'недостатък' на логическите истини им дава възможност – в случая на ''импликативните'' тавтологии (логически истинните изречения с формата ''<math>A\rightarrow B</math>'') – да образуват основата, на която може да се обясни валидността на логическите заключения ''<math>A\Rightarrow B</math>'' (на 'преходите' от ''<math>A</math>'' към ''<math>B</math>''). Какво означава изречението ''<math>A\rightarrow B</math>'' да бъде логически истинно? Това означава, че всички разпределения на стойностите по истинност на (комплексното) изречение ''<math>A</math>'', които го правят истинно, са такива, които правят истинно също и (комплексното) изречение ''<math>B</math>''. Тъкмо затова ние имаме право да направим заключение от ''<math>A</math>'' за ''<math>B</math>'' (да направим преход от ''<math>A</math>'' към ''<math>B</math>''). Защото какво е едно заключение? Нека припомним даденото по-горе определение на Аристотел: едно заключение е налице, когато ако дадени предпоставки ''<math>A</math>'' са истинни, то и един извод ''<math>B</math>'' е истинен с необходимост. В случая тъкмо формата на ''<math>A\rightarrow B</math>'' гарантира необходимостта (необходимата истинност) на извода ''<math>B</math>'' от предпоставките ''<math>A</math>'', ''ако'' те са истинни. Това може да стане ясно най-добре с примери.
 
Преди да направим това, нека изясним следното. ''<math>p\rightarrow q</math> ''е ''едно'' (комплексно) изречение (в което <math>p</math> и <math>q</math> се явяват подизречения). ''<math>p\Rightarrow q</math>'' не е изречение, а преход от самостоятелното изречение <math>p</math> към самостоятелното изречение <math>q</math>. Истинността е свойство на изречения. Затова ''<math>p\rightarrow q</math>'' е истинно или неистинно. Напротив, тя не е свойство на 'преходи' и съотв. умозаключения. Едно умозаключение е валидно или невалидно. Ние казваме, че едно умозаключение е валидно тогава, когато истинността на предпоставките гарантира истинността на извода. Обратно, ние не наричаме изреченията валидни или не. Когато се опитваме да изясним валидността на ''<math>A\Rightarrow B</math>'' въз основата на логическата истинност на ''<math>A\rightarrow B</math>'', ние вземаме предпоставките ''<math>A</math>'' обединяваме ги в конюнкция и превръщаме тази конюнкция в антецедент на едно импликативно комплексно изречение с консеквент ''<math>B</math>'': ''<math>A\rightarrow B</math>''. Така в ''<math>A\rightarrow B</math> ''имаме ''едно'' изречение и питаме за неговата истинност. Това става по следния начин:
 
умозаключението <math>p_1</math>, ..., <math>p_n</math><math>\Rightarrow</math> <math>q</math> е формално-валидно
 
тогава, когато
 
изречението <math>(p_1</math> <math>\and</math> ... <math>\and</math> <math>p_n)</math> ''<math>\rightarrow q</math>'' е логически истинно.
 
Тук говорим за 'формална' валидност, защото напр. и преходът от изречението „<math>a</math> е по-голямо от <math>b</math>“ към изречението „<math>b</math> е по-малко от <math>a</math>“ е валиден (това означава: ако първото изреченеие е истинно, то и второто ще бъде; или, с дуги думи: истината на първото гарантира истината на второто), но той не е формално валиден, защото почива на значението на съдържателните думи „по-голямо“ и „по-малко“, а не на специфични формообразуващи частици (а именно такива, които по един или друг начин играят роля за истинността на съответното изречение), т.е. на логически константи. Формално-валиден е преходът от изречението „нито едно <math>F</math> не е <math>G</math>“ към изречението „не е вярно, че някои <math>F</math> са <math>G</math>“, защото той почива на значенията на „нито едно“, „не“ и „някои“.<ref>Със символи: <math>\forall x[F(x)\rightarrow \neg G(x)] \Rightarrow \neg\exists x[F(x) \and G(x)]</math>.</ref>
 
Нека дадем сега примери за формално-валидни умозаключения. Пропозиционално-логическото умозаключение ''модус поненс''
 
''<math>p\rightarrow q</math>'', <math>p</math> <math>\Rightarrow</math> <math>q</math>
 
е формално-валидно, защото изречението
 
''<math>((p\rightarrow q) \and p) \rightarrow q</math>''
Ред 229:
{| class="wikitable"
!
!<math>p</math>
!<math>q</math>
|- bgcolor="#ddffdd" align="center"
|1.
Ред 248:
|Н
|}
Колонките под <math>\rightarrow</math> и <math>\and</math> показват, най-напред, стойностите по истинност на импликацията между <math>p</math> и <math>q</math>; после, на конюнкцията между ''<math>p\rightarrow q</math>'' и <math>p</math>; и, накрая, на импликацията с антецедент ''<math>(p\rightarrow q)\and p</math>'' и консеквент <math>q</math>. Тъкмо тази втора импликация е централният оператор на комплексното изречение ''<math>((p\rightarrow q) \and p) \rightarrow q</math>''. Както се вижда, тя дава само стойности по истинност И (истина) при всички разпределения на стойностите по истинност на <math>p</math> и <math>q</math>. Това означава, че импликативното изречение ''<math>((p\rightarrow q) \and p) \rightarrow q</math>'' е винаги истинно, както и да стоят нещата в света (както и те да правят <math>p</math> и <math>q</math> истинни или неистинни). ''<math>((p\rightarrow q) \and p) \rightarrow q</math>'', следователно, е аналитично. Тъй като то не зависи от това какви са съдържанията на изреченията <math>p</math> и <math>q</math>, ''<math>((p\rightarrow q) \and p) \rightarrow q</math>'' е формално аналитично (истинно въз основата на значенията на <math>\rightarrow</math> и <math>\and</math>). Ето защо тази структура може да се използва, за да се обясни формалната валидност на заключението от ''<math>p\rightarrow q</math>'' и <math>p</math> за <math>q</math>. (Напр. истинно е, че (1) ако слънцето е изгряло, то небето е облачно. Истинно е също, че (2) слънцето е изгряло. От (1) и (2) можем да заключим по валиден начин, че (3) небето е облачно.)
 
Ето още няколко примера.
Ред 259:
|
|-
|умозаключението
|''<math>p\rightarrow q</math>'', <math>\neg q</math> <math>\Rightarrow</math> <math>\neg p</math>
|''<math>p\and q</math>'' <math>\Rightarrow</math> <math>p</math>
Ред 275:
Тъй като изводът ''<math>\neg q \rightarrow \neg p</math>'' от контрапозицията, на свой ред, имплицира логически предпоставката ''<math>p\rightarrow q</math>'':
 
''<math>\neg q \rightarrow \neg p\Rightarrow p\rightarrow q</math>'',
 
ние можем да обединим тази логическа импликация и контрапозицията в следната логическа еквивалентност:
 
''<math>p\rightarrow q \Leftrightarrow \neg q \rightarrow \neg p</math>'',
 
където знакът <math>\Leftrightarrow</math> може да се интерпретира като взаимна логическа импликация, т.е. импликация в две посоки: от левия израз към десния и от десния към левия.
 
Умозаключения ''<math>p\and q</math>'' <math>\Rightarrow</math> <math>p</math>, <math>p</math> <math>\Rightarrow</math> ''<math>p\or q</math>'' и ''<math>p\rightarrow q \Rightarrow \neg q \rightarrow \neg p</math>'' са примери за умозаключения с една предпоставка. Най-често обаче умозаключенията се правят от определено множество от предпоставки. В този случай, когато образуваме кореспондиращото на умозаключението сложното импликативно изречение, ние свързваме тези предпоставки в едно сложно конюнктивно изречение, което, на свой ред, поставяме в отношение към извода чрез кондиционална връзка. Едно важно правило за 'пренасяне' на една от предпоставките в извода, който придобива тогава форма на кондиционално твърдение, изглежда по следния начин: от дадено правило за извод
 
<math>p_1, \ldots, p_n \Rightarrow q</math>
 
може да се получи еквивалентно на него на правило за извод
 
<math>p_1, \ldots, p_{n-1} \Rightarrow p_n \rightarrow q</math>,
 
защото следното изречение
 
<math>((p_1 \and \ldots \and p_n) \rightarrow q) \leftrightarrow ((p_1 \and \ldots \and p_{n-1}) \rightarrow (p_n \rightarrow q))</math>
 
e логически истинно. Знакът <math>\leftrightarrow</math> е знакът за (материална) еквивалентност (или 'бикондицинал' и сътов. 'бисубюнкция') и може да се дефинира по следния начин:
 
<math>p \leftrightarrow q</math> <math>\overset{\underset{\mathrm{def}}{}}{=}</math> <math>(p \rightarrow q) \and (q\rightarrow p)</math>.
 
Тук можем да добавим и следната дефиниция:
 
(D<sub>3</sub>) правилото ''<math>A\Leftrightarrow B</math>'' е формално-валидно <math>\overset{\underset{\mathrm{def}}{}}{=}</math> изречението ''<math>A\leftrightarrow B</math>'' е логически истинно.
 
Всички логически импликации, които представихме дотук символно, са правила от пропозиционалната логика. Това ограничение намира своето оправдание в това, че понятието за логическа истина се дефинира по-лесно за пропозиционалната логика, защото в нея не се работи с безкрайни области от стойности. Нещата в предикатната логика са по-сложни. Но ние можем и при базисните правила за извод на предикатната логика да кажем: Те почиват на значението на логиечските – в случая: предикатно-логическите – константи. Като основно правило на [[Логика#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B8 .D0.BE.D0.BF.D0.B5.D1.80.D0.B0.D1.82.D0.BE.D1.80.D0.B8|универсалния квантор]] <math>\forall x</math> може да се разгледа ''универсалната'' ''инстанциация'':
 
(UI) <math>\forall xF(x) \Rightarrow F(a)</math>,
 
с думи: ако всяко нещо има свойството да бъде <math>F</math>, то и индивидът <math>a</math> ще притежава свойството <math>F</math>. (UI) почива непосредствено на значението <math>\forall x</math>. По подобен начин като основно правило на [[Логика#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B8 .D0.BE.D0.BF.D0.B5.D1.80.D0.B0.D1.82.D0.BE.D1.80.D0.B8|екзистенциалния квантор]] <math>\exists x</math> може да се разгледа ''екзистенциалната'' ''генерализация'':
 
(ЕG) <math>F(a)\Rightarrow\exists xF(x)</math>,
 
с думи: ако индивидът <math>a</math> има свойството да бъде <math>F</math>, то ще съществува поне едно нещо със свойството <math>F</math>. (ЕG) почива непосредствено на значението <math>\exists x</math>.
 
== Строга импликация ==
Американският логик и философ Кларънс Ървинг Люис (* 1888, † 1964), баща на съвременната модална логика, не е бил доволен от Ръселовата дефиниция на импликацията ''<math>p\rightarrow q</math>'' в смисъла на <math>\neg(p\and\neg q)</math> или <math>\neg p \or q</math>, т.е. на Филоновия кондиционал (вж. [[Импликация#.D0.9E.D0.B1.D1.8F.D1.81.D0.BD.D0.B5.D0.BD.D0.B8.D0.B5|по-горе]]), защото е смятал, че с „ако <math>p</math>, то <math> q</math>“ ние изразяваме все пак несъвместимостта на истината на <math>p</math> с неистината на <math> q</math>, т.е. определено 'имплициране' или следване на <math> q</math> от <math>p</math>. Куайн смята, че тук става дума за недоразумение, което обърква понятието за условно твърдение с това за [[Импликация#.D0.9B.D0.BE.D0.B3.D0.B8.D1.87.D0.B5.D1.81.D0.BA.D0.B0 .D0.B8.D0.BC.D0.BF.D0.BB.D0.B8.D0.BA.D0.B0.D1.86.D0.B8.D1.8F|логическо следване]], като вижда причината за това във факта, че Ръсел – за разлика от Фреге – нарича кондиционала 'импликация'.<ref>W. V. O. Quine, ''Word and Object''. Cambridge, MA: MIT Press, 1960, § 41.</ref> И наистина, когато описва значението на ''<math>p\rightarrow q</math>'', Ръсел го предава с думите „«<math>p</math>» имплицира «„<math> q</math>»“““.<ref>A. N. Whitehead & B. Russell, ''Principia Mathematica''. Vol. I. Cambridge: Cambridge University Press, 1910, p. 7.</ref> Ето защо Люис решава да въведе понятието за строга импликация, което за разлика от ''<math>p\rightarrow q</math>'' следа да предава положението на нещата, че <math>p</math> имплицира <math> q</math>. Той дефинира оператора за строга импликация по следния начин:
 
<math>p</math> [[File:Strict implication.jpg|20x13px]] <math> q</math> <math>\overset{\underset{\mathrm{def}}{}}{=}</math> <math>\neg \Diamond(p \and\neg q)</math>,
 
където знакът <math>\Diamond</math> е модално-логическият оператор „възможно“: не е възможно <math>p</math> и не-<math> q</math>. Това означава: необходимо е ако <math>p</math>, то <math> q</math>, със символи:
Ред 327:
 
== Достатъчно и необходимо условие ==
 
=== Достатъчно условие ===
Кондиционалът е изразно средство, с чиято помощ говорим за необходимо и достатъчно условие. Ако изречението ''<math>p\rightarrow q</math>'' („ако <math>p</math>, то <math> q</math>“) е истинно, то (а) положението на нещата, описано от подизречение <math>p</math>, се явява ''достатъчно условие'' за положението на нещата, описано от подизречение <math> q</math>. Същевременно (б) положението на нещата, описано от <math> q</math>, е ''необходимо условие'' за положението на нещата, описано от <math>p</math>. (а) означава: съществуването на това, че <math>p</math>, е достатъчно за съществуването на това, че <math> q</math>. (б) означава: това, че <math>p</math>, не може да съществува, без да съществува това, че <math> q</math>, т.е. съществуването на това, че <math> q</math>, е необходимо за съществуването на това, че <math>p</math>.
Line 335 ⟶ 334:
 
=== Материална еквивалентност ===
Когато искаме да кажем, че това, че <math>p</math>, е както ''достатъчно'', така и ''необходимо условие'' за това, че <math> q</math>, ние казваме обикновено: „ако и само ако <math>p</math>, то <math> q</math>“, т.е. ние обединяваме „ако <math>p</math>“ (изразът, че <math>p</math> е достатъчно условие) и „само ако <math>p</math>“ (изразът, че <math>p</math> е необходимо условие). Следователно, за да получим символен израз на „ако и само ако <math>p</math>“, ние трябва да обединим ''<math>p\rightarrow q</math>'' и ''<math>q\rightarrow p</math>''. Ние правим това чрез [[конюнкция]]:
 
''<math>(p\rightarrow q) \and (q\rightarrow p)</math>''.
 
Вместо този сложен израз можем да въведем съкращението:
 
''<math>p\leftrightarrow q</math>''.
 
Знакът ''<math>\leftrightarrow</math>'' е нов пропозиционално-логически оператор, който се нарича ‘материалната еквивалентност’ (или, в друга терминология: ‘бикондиционал’, ‘бисубюнкция’). Освен като „ако и само ако <math>p</math>, то <math> q</math>“ формулата ''<math>p\leftrightarrow q</math>'' може да се предаде (на български) и с думите: „<math>p</math> тогава и само тогава, когато <math> q</math>“.
 
=== ''Модус поненс'' и ''модус толенс'' ===
Line 372 ⟶ 371:
* Etchemendy, J.: ''The Concept of Logical Consequence''. Cambridge, MA: Harvard University Press, 1990.
* Smiley, T.: „Conceptions of Consequence“, in: ''Routledge Encyclopedia of Philosophy''. Vol. 2. London: Routledge, 1998, pp. 599–603.
* Gabriel, G.: „Traditionelle und moderne Logik“, in: Stelzner, W. & Stöckler, M. (eds.): ''Zwischen traditioneller und moderner Logik. Nichtklassische Ansätze''. Paderborn: mentis, 2001, pp. 21–34.
 
== Бележки ==
Взето от „https://bg.wikipedia.org/wiki/Импликация“.