Obecné připomínky
Asi nejpřirozenější přístup k formální logika je přes myšlenku platnosti argument druh známý jako deduktivní. Deduktivní argument může být zhruba charakterizována jako ten, ve kterém se tvrzení, že některé propozice (závěr) následuje s přísnou nutnost, z jiných tvrzení nebo tvrzení (areálu)—tj., že by bylo v rozporu nebo v rozporu sám se prosadit prostor, ale popírají závěr.,
v Případě, že deduktivní argument je uspět v založení pravdu o jeho uzavření, dvě zcela odlišné podmínky musí být splněny: za prvé, závěr musí se opravdu sledovat z prostor—tzn., odpočet na závěr z areálu, musí být logicky správné—a, za druhé, prostor musí být pravda. Argument splňující obě tyto podmínky se nazývá zvuk., Z těchto dvou podmínek, logik jako taková se týká pouze první, druhý, stanovení pravdivosti nebo nepravdivosti prostor, je úkolem nějaké zvláštní disciplína nebo společné pozorování vhodné k předmětu sporu. Pokud je závěr argumentu správně odečitatelný z jeho prostor, je závěr z prostor k závěru považován za (deduktivně) platný, bez ohledu na to, zda jsou prostory pravdivé nebo nepravdivé., Jiné způsoby, jak vyjádřit skutečnost, že závěr je deduktivně platný, že říkáš, že pravda areálu dává (nebo by dát) absolutní záruku pravdivosti závěru, nebo, že to by znamenalo logický rozpor (na rozdíl od pouhého chybu, fakt) předpokládat, že by byly premisy pravdivé, ale závěr nepravdivý.
deduktivní závěry, s nimiž formální logiky se týká, jak název napovídá, pro ty, jejichž platnost nezávisí na nějaké funkce, jejich předmětu, ale na jejich formu nebo strukturu. Takže dva závěry (1) každý pes je savec. Někteří čtyřnožci jsou psi. ∴ Některé kvadrupedy jsou savci. a (2) každý anarchista je věřící ve svobodnou lásku. Někteří členové vládní strany jsou anarchisté. ∴ Někteří členové vládní strany věří ve svobodnou lásku., liší se v předmětu, a proto vyžadují různé postupy pro kontrolu pravdy nebo falešnosti jejich prostor. Ale jejich platnost je zajištěna tím, co mají společné—a sice, že argument v každé je tvaru(3) Každé X je Y. Některé Z jsou X. ∴ Některé Z je Y.
Řádek (3) výše, může být nazýván závěr podobě, a (1) a (2) jsou pak případy, že inference tvořit. Písmena-X, Y A Z-in (3) označují místa, do kterých mohou být vloženy výrazy určitého typu., Symboly používané pro tento účel jsou známé jako proměnné; jejich použití je analogické s x v algebře, která označuje místo, do kterého lze vložit číslici. Příklad inference forma je produkován výměna všech proměnných v něm vhodnými výrazy (tj. ty, které dávají smysl v kontextu) a tím rovnoměrně (tj. nahrazením stejný výraz všude tam, kde stejné proměnné se opakuje)., Funkce (3), který zaručuje, že každá instance bude platné, je jeho konstrukce takovým způsobem, že každý jednotný způsob nahrazení jejích proměnných, aby se prostor pravda, automaticky dělá závěr, pravda, i, nebo, jinými slovy, že žádná instance může mít pravda prostory, ale mylný závěr. Na základě této funkce je formulář (3) označován jako platný formulář pro odvození. Naproti tomu (4) každé X je Y. některé Z Jsou y. ∴ některé Z jsou X., není platný závěr forma, pro, i když případy to může být produkován ve kterých premisy a závěr jsou splněny všechny případy, to může také být produkován ve kterém prostory jsou pravdivé, ale závěr je nepravdivé—např.,(5) Každý pes je savec. Někteří okřídlení tvorové jsou savci. ∴ Někteří okřídlení tvorové jsou psi.
formální logika jako studie se zabývá spíše inferenčními formami než konkrétními instancemi. Jedním z jeho úkolů je rozlišovat mezi platnými a neplatnými inferenčními formuláři a zkoumat a systematizovat vztahy, které jsou mezi platnými.,
úzce souvisí s myšlenkou platného formuláře pro odvození, je to platný formulář propozice. Návrh formuláře je výraz, který instancí (vyrábí jako před tím, vhodné a jednotné náhrady za proměnné) nejsou závěry z několika návrhů na závěr, ale spíše návrhy jednotlivě, a platný návrh formuláře je ten, na který všechny instance jsou pravdivá. Jednoduchý příklad je (6) nic není jak X, tak i ne-X. formální logika se týká formulářů propozice, jakož i forem odvození., Studie, návrh formy, ve skutečnosti, být provedeny, aby zahrnovala, že inference formy následujícím způsobem: nechť prostor daný závěr formě (dohromady) zkratka alfa (α) a její uzavření tím, že beta (β). Pak stav uvedeno výše pro validitu inference tvořit „α, tedy β“ znamená, že žádná instance tvrzení tvaru „α a β“ je pravdivé, tj., že každý případ tvrzení tvaru(7): α a β, je pravda—nebo, že linky (7), plně vysvětleny, samozřejmě, je platný návrh formuláře., Studie, návrh formy, nicméně, nemohou být podobně ubytováni v rámci studie závěr forem, a tak z důvodů komplexnosti je obvyklé ohledem formální logika jako nauka o návrh formy. Vzhledem k tomu, logik je manipulace s propozice forem je v mnoha ohledech analogický k matematik manipulaci numerických vzorců, systémy, které konstruuje se často nazývají kalkuly.
velká část práce logik pokračuje na abstraktnější úrovni, než je výše uvedená diskuse., Dokonce i vzorec jako (3) výše, i když ne s odkazem na konkrétní předmět, obsahuje výrazy jako „každý“ a „je“, které jsou myšlenka jako mají určitý význam, a proměnné, které jsou určeny k označení místa, k vyjádření jednoho konkrétního druhu (zhruba, společné podstatná jména nebo názvy tříd). Je však možné—a pro některé účely je to nezbytné—studovat vzorce, aniž by k nim byla připojena i tato míra smysluplnosti., Konstrukce systému, logiky, ve skutečnosti, zahrnuje dvě rozlišitelné procesy: jeden spočívá v nastavení symbolický aparát—soubor symbolů, pravidel pro zavěšování společně do vzorce a pravidla pro manipulaci tyto vzorce; druhý spočívá v připojení některých významů těchto symbolů a vzorců. Pokud je provedeno pouze první, systém je považován za neinterpretovaný nebo čistě formální; pokud je tento systém proveden také, systém se říká, že je interpretován., Toto rozlišení je důležité, protože logické systémy mají určité vlastnosti zcela nezávisle na jakýchkoli interpretacích, které na ně mohou být umístěny. Axiomatický systém logiky lze jako příklad—tj. systém, ve kterém určité neprokázaných vzorce, známé jako axiomy, jsou brány jako výchozí body, a další formule (věty) se ukázala na síle., Jak se objeví později (viz níže Axiomatization PC), otázka, zda posloupnost vzorců v axiomatický systém je důkaz, nebo ne, závisí pouze na vzorce, které jsou brány jako axiomy a jaká jsou pravidla pro odvozování teorémů z axiomů, a už vůbec ne na to, co vět nebo axiomy říct. Navíc, vzhledem uninterpreted systém je obecně schopen být interpretován stejně dobře v několika různými způsoby; proto ve studiu uninterpreted systém, jeden studuje strukturu, která je společná pro řadu vykládat systémy., Normálně logik, kteří vytvoří čistě formální systém má určité interpretace v paměti, a jeho motiv pro konstrukci je přesvědčení, že při této interpretaci je kladen na to, vzorce, bude systém být schopen vyjádřit pravdivé zásady v některé oblasti myšlení; ale z výše uvedených důvodů, mimo jiné, bude obvykle postarat popsat vzorce a státní pravidla systému bez odkazu na výklad a uvést jako samostatnou otázkou výkladu, že on má na mysli.,
mnoho myšlenek používaných v expozici formální logiky, včetně těch, které jsou uvedeny výše, vyvolává problémy, které patří spíše k filozofii než k samotné logice. Příklady jsou: jaká je správná analýza pojmu pravdy? Co je to návrh a jak souvisí s větou, kterou je vyjádřena? Existují nějaké druhy zvukových úvah, které nejsou ani deduktivní, ani induktivní?, Naštěstí je možné se naučit dělat formální logiku bez uspokojivých odpovědí na takové otázky, stejně jako je možné dělat matematiku bez odpovědi na otázky patřící do filozofie matematiky, jako jsou: jsou čísla skutečné objekty nebo duševní konstrukty?