Co je sémantika. Jiří Raclavský
|
|
- Eduard Bezucha
- před 8 lety
- Počet zobrazení:
Transkript
1 Co je sémantika Jiří Raclavský If in an investigation explicit reference is made to the speaker,... to the user of language, then we assign it to the field of pragmatics.... If we abstract from the user of the language and analyze only the expressions and their designate, we are in the field of semantics. And if, finally, we abstract from the designate also and analyze only the relations between the expressions, we are in (logical) syntax. The whole science of language, consisting of the three parts mentioned is called semiotics. R. Carnap 1 Syntax is about which expressions speakers use, whereas semantics is about how they use them. J. Peregrin 2 Descriptive semantics and syntax are, strictly speaking, parts of pragmatics. R. Carnap 3 Logic and semantics are concerned not with vagaries of actions, but with the verities of meanings. D. Kaplan 4 Jednou z činností, kterou se v rámci své profese zabývám, je formulování logických analýz výrazů přirozeného jazyka, takže je přirozené říci, že se zabývám logickou sémantikou; nezabývám se jí však jen po praktické stránce, zabývám se totiž i charakterem logické sémantiky. Se zájmem jsem si proto přečetl článek Jaroslava Peregrina Co je sémantika? 5, stať od autora, který se tomu, co bychom mohli nazvat filosofie logické sémantiky, dlouhodobě věnuje. Poněkud mne překvapil nejen závěr, k jakému došel syntax je o tom, které znaky užíváme, sémantika je o tom, jak je používáme avšak i postup, jakým k němu došel. Postupem, o němž hovořím, je argumentace a u analytické filosofa, kterým jistě J. Peregrin je, to je žádaný a vhodný způsob, jak určitou tezi předložit odborné veřejnosti. Domnívám se, že není nezbytné přijmout závěr, který Peregrin obhajuje, jako nezvratný. Abych toto doložil, budu rozebírat a problematizovat argumentaci, o níž Peregrin svoji tezi opřel. Závěr této statě je pak jistou poctou Rudolfu Carnapovi, jehož definice a názory předjímaly mnohé z toho, o čem zde budeme diskutovat. 1 Carnap, Rudolf (1942): Introduction to Semantics. Cambridge (Mass.): Harvard UP; cit. s Peregrin, Jaroslav (1993): Is Language a Code?, The Logical Point of View 2, 2, 73-79; cit. s Carnap, ibid., s Kaplan, David (1989): Demonstratives, In: J. Almog, J. Perry and H. Wettstein (eds.), Themes from Kaplan, Oxford: Oxford UP; cit. s Peregrin, Jaroslav (2005): O čem je sémantika?, In: P. Sousedík (ed.), Jazyk logika věda, Praha: Filosofia, (na tuto stať budu odkazovat již jen údajem o diskutované stránce). 1
2 Carnapovská definice sémantiky Nejprve Peregrin rozebírá Carnapovu definici, jejíž původní anglické znění uvádím coby první motto svého diskusního příspěvku. Peregrin se ptá, do které oblasti z možností syntax / sémantika / pragmatika (dle Carnapovy definice) spadá koncept vyplývání. Nabízí dvě možnosti (s. 52): a) jde o vztah mezi propozicemi (smysly) vět b) jde o vztah přímo mezi větami Peregrin uvažuje, že vztah vyplývání je jistě sémantický ( nelze [ho] vymezit s odkazy pouze na výrazy, s. 52), avšak že ho nakonec můžeme (např. v klasickém výrokovém počtu) redukovat-vymezit jen syntakticky (díky úplnosti klasické výrokové logiky). Také nepochybuje o tom, že lze říci, že jistá česká věta vyplývá z jiných českých vět. Uvědomuje si ale, že sémantickou povahu vyplývání přece jen nelze redukovat na jeho reprezentaci na syntaktické úrovni výrazů. Uvažuje tedy, aby charakterizace vyplývání obecně zněla např.: Výrok A vyplývá z množiny výroků X tehdy, když pravdivost všech prvků X nutně znamená pravdivost A (s. 52). Peregrin nyní připojuje tvrzení o tom, že vztah výrazů a mimojazykových věcí je prý velice kontroverzní, jde-li o tvrzení vlastní pouze korespondenční teorii pravdy (s. 52), čehož dokladem je to, že mnoho současných filosofů [se od něho] distancovalo, poněvadž pravdu nepovažují (např.) za definovatelnou. Povšimněme si však už zde jedné skutečnosti: Peregrin užil ve své argumentaci postup redukcí nejprve hovořil o definici sémantiky, odtud problém její definice zúžil na definici vyplývání, načež dalším zúžením se dostal k definici pravdy; definici pravdy pak označil za problematickou. Podle mne to ale ještě neznamená, že právě takto je problematická i definice vyplývání a že zrovna takto je problematická i definice sémantiky. Domnívám se též, že to, co je a jaká má být logika / vyplývání / sémantika, nesmí být zdůvodňováno obecně epistemologickými argumenty. Ačkoli logika je (jak se domnívám) součástí epistemologie, velká část epistemologie není logikou. Jsem tedy proti přepadnutí z logiky do obecné epistemologie. Důvod je snad zřejmý: moderní logika (Fregem depsychologizovaná, desubjektivizovaná) už ze své definice nezohledňuje všelijaké epistemologické stavy, v nichž se lidské subjekty mohou nacházet (není prostě vědou o myšlení), nezabývá se jimi. Lidé zažívají různé věci, vídají smyslové klamy, odchylky od racionálního uvažování jsou na denním pořádku atd. Tím vším se moderní logika zabývat nesmí; nesmí např. připustit, že něčí neschopnost z p odvodit p mění zákony vyplývání. Na 2
3 druhou stranu to ale neznamená, že takovéto jevy nezajímají či nemají být v péči epistemologa (či psychologa), ba právě naopak. Filosofové jsou obecně otevření mnoha teoriím a teorie pravdy je toho zřejmou ukázkou. Neznamená to však, že směs rozličných a navzájem se potírajících teorií pravdy mění povahu logiky (mezi nimi pak vyplývání první v řadě); mj. také není pravdou, že co teoretik pravdy, to skutečně teoretik logiky (či vyplývání). 6 Proto nesouhlasím s tím, že kvůli současným teoriím pravdy nám nezbývá než pravdu vidět prostě jako vlastnost výroků, to jest jako jednomístný vztah mezi výroky, a tudíž záležitost podle Carnapovy definice syntaktickou (s. 53). 7 Peregrin vlastně říká, že filosofové pravdu tak zproblematizovali, ba dokonce ji podali jako nedefinovatelnou, že pravdy coby sémantické entity podkládající pojem vyplývání se prostě musíme vzdát a že musíme ustoupit do roviny syntaktické. Ještě jednou: tvrdil jsem, že současné názory obecných epistemologů nemají mít vliv na charakter logiky (vyplývání, sémantiky, atd.), ale Peregrin říká, že mají. Připusťme, že zde to je jen názor proti názoru. Ukažme si však pro příklad jeden možný důsledek epistemologizace logiky uvedu zde, k čemu došli např. John Perry a Mark Crimmins v tématu, které je epistemologií přímo prošpikováno: analýza belief reports (hlášení domněnkových postojů). Crimmins a Perry rozebírají příklad Marka Richarda, 8 kdy jistý muž stojící v telefonní budce telefonuje jisté ženě, ta stojí v telefonní budce přes ulici, což ten muž neví; na budku, v níž je ta žena, se řítí parní válec; onen muž ji skrze sluchátko nevaroval, protože má dvě nespojitá přesvědčení o té jedné ženě. Crimmins a Perry dále uvažují, že každá věta A věří, že S je o nevyřčené konstituentě, která je přítomna ve víře onoho A (čtenář si nevyřčené konstituenty snadno domyslí z jejich příkladu). Tyto nevyřčené konstituenty způsobují, proč je věta A věří, že S někdy pravdivá, někdy nepravdivá. Proto prý pak není žádná jednoduchá logika takovýchto vět. Nejjednodušší možné pravidlo, A věří, že S. A věří, že S. neplatí obecně (ibid., s. 710) a následně také Crimminsova a Perryho sémantika není kompozicionální (ibid., s. 711). Jak vidíme, epistemologické úvahy vedou tyto dva filosofy (mj. nikoli logiky) k popření obecné platnosti pravidla p p; dokonce lze na základě jejich 6 K tomuto svému názoru jsem našel i Carnapův výrok: někteří metafyzici skutečně vynesly bezvýsledné potíže [ raised futile issues ] týkající se pravdy, či spíše Pravdy a já jim bych jistě nerad pomohl v jejich oživování. Totéž však platí pro mnoha další pojmy, např. číslo, prostor, čas, hodnota [ quality ], struktura, fyzikální zákon atd. (Carnap, ibid., s. viii). 7 Mj. pravdivost může být klidně chápána jako vlastnost denotátů (či významů) výroků a tedy jako relace nikoli syntaktická. 8 Crimmins, Mark, Perry, John (1989): The Prince and the Phone Booth: Reporting Puzzling Beliefs, The Journal of Philosophy 86, 12,
4 úvah odvodit, že snad každá věta je o nějaké nevyřčené konstituentě. Jenže mají snad proto logikové odvolat platnost korektních dedukčních pravidel a tautologií-zákonů? Je přece zřejmé, že to, co vede Crimminse a Perryho k revizi sémantiky i logiky, jsou obecně epistemologické důvody např. víra je pro ně subjektivní psychologická entita; jako by snad Frege argumentoval proti psychologismu v logice málo dostatečně. 9 Je však třeba vyslovit jednu důležitou skutečnost: díky takovýmto puzzles v problematice belief reports je pragmatizace sémantiky velice populárním jevem prosazovaným mnoha světovými filosofy. Peregrin se však ve své variantě pragmatizace sémantiky k těmto teoretikům neřadí, ideu pragmatizace zdůvodňuje zcela jinak (předpokládám dokonce, že p p je podle něj kategoricky platné inferenční schéma). Zamysleme se nad Carnapem ještě jinak: carnapovská definice je příliš svázána s určitým vidění jazyka s tím, které vidí jazyk jako soustavu jmen věcí a pravdu jako korespondenci (s. 53). Toto Peregrinovo tvrzení je pravdivé Carnap píše: Když pozorujeme aplikaci jazyka, pozorujeme organismus, obvykle lidskou bytost, produkující zvuk, značku, gesto apod. coby výraz za účelem referování pomocí něho [tohoto výrazu] na něco, tj. objekt. Tudíž můžeme rozlišit tři zde obsažené faktory: mluvčího, výraz a to, na co je referováno, což budeme nazývat designát tohoto výrazu. 10 a už v předmluvě Carnap sděluje, že jeho kniha vděčí velmi mnoho Tarskému, totiž jeho rigoróznímu přístupu k definování sémantického pojmu pravdy vzhledem k deduktivním systémům (Carnap, ibid., s. vi) (a Tarského teorie pravdy bývá považována za korespondenční). Považuji však za vhodné se na Carnapovu motivaci vytvořit logickou sémantiku (resp. její první návrh) podívat blíže: Sémantické pojmy jsou často užívány, nejen ve vědě, ale i v každodenním životě. Když například osoba říká, že jisté slovo je jí užíváno v jiném smyslu než někým jiným, anebo že jisté tvrzení je pravdivé či nepravdivé, že odlišné tvrzení plyne z původního či je s ním kompatibilní anebo s ním protiřečí... Tudíž některé problémy sémantiky pojednávají známé pojmy a nejsou žádným způsobem nové. 11 a dále: 9 Mj. zcela obecně bych zde chtěl poznamenat, že ať už je platná Peregrinova či třeba mnou předkládaná filosofie logiky / sémantiky, neznamená to, že kterákoli má ovlivnit předmět či povahu logiky či sémantiky, jak je tomu z jejich definic. 10 Carnap, ibid., s Carnap ibid., s. v. 4
5 Sémantické pojmy, zvláště pojem pravdy, byly diskutovány filosofy již od dávných časů. Ale systematický rozvoj s pomocí exaktních instrumentů moderní logiky byl proveden jen v posledních letech. Tento rozvoj byl započat Varšavskou školou logiků. 12 Dá se tedy uvažovat, že tarskiovská definice pravdy se zdála být Carnapovi neochvějná vzhledem k historickým ( metafyzickým ) teoriím pravdy a tak příliš neváhal s tím ji započítat mezi sémantické pojmy. Musíme si ovšem uvědomit, že současné teorie pravdy jsou (jistě až na výjimky) přece jen pokračováním oné metafyzické tradice. Také je třeba seznat, že tyto teorie pravdy jsou poněkud odlehlé logice a tomu, jak uvažovali pravdu třeba Frege a Tarski, kteří měli na formování moderní logiky a teorie modelů značný podíl. Všechny tyto věci ale jistě vyžadují více zkoumání a je proto myslím unáhlené zásadně revidovat pojem sémantiky / logiky / vyplývání prostě proto, že v současnosti existují různé teorie pravdy, které pojem pravdy problematizují. Peregrin dále na adresu Carnapa říká, že jeho způsob vidění jazyka (a vlastně i sémantických pojmů) ze současného pohledu je stěží možné brát... za zřejmou, obecně přijímanou věc existují naopak nepominutelné argumenty proti němu (s. 53). Je opravdu všeobecný pohled na jazyk coby prostředek hovoření o věcech věc obecně nepřijímaná? Jedině při omezení pléna na výlučně některé filosofy jazyka a epistemology, kteří skutečně mají určité argumenty proti tomuto chápání jazyka. Carnap však nepochybně nezamýšlel oslovit tuto speciální skupinu expertů, což je patrné z celé předmluvy (a první kapitoly), kde hovoří o účelu sémantiky v prostředí vědy obecně a dokonce mluví o tom, že někteří filosofové (zmiňuje své přátele empiristy ) jistě budou mít proti konstituci sémantiky námitky. Domnívám se proto, že vůbec není nezbytné dojít závěru, že ta carnapovská [definice sémantiky] nás může stěží uspokojit (s. 53). Searlovská definice sémantiky Pochopitelně, pokud Peregrin chce hledat definici sémantiky, která by byla použitelná napříč těmito pojetími [různými pojetími jazyka; J.R.] (s. 53), pak Carnapova definice se zdá být pouze jednou speciální. Mj. hledat (a chtít hledat) lze i tehdy, když hledaný objekt neexistuje; je tu tedy otázka, zdali množina definic sémantiky obsahuje kromě carnapovské definice také nějaké další definice, navíc případně obecnější než ta carnapovská. Peregrin píše, že chápeme-li význam například jako roli je toto [carnapovské] vymezení [sémantiky] nepoužitelné. (s. 53). Pravda, je-li řečeno, že významem výrazu role, 12 Carnap, ibid., s. v-vi. 5
6 pak ve shodě s lexikem češtiny usuzuji, že role je to, co nějaký výraz má, přičemž toto mětí se nazývá mít význam, neboli, že Peregrin nám představuje toto schéma: výraz role = význam výrazu A je-li sémantika definována tak, jak tomu bylo učiněno Morrisem a Carnapem, tak Peregrin nám prostě ukazuje specifickou teorii významu výrazů, speciální sémantickou teorii. 13 Nezdá se proto čtenáři, že carnapovskou definici sémantiky lze přece jen zachovat? O několik stran dále Peregrin naznačuje, že ano: názor, že význam je obecně věcí pojmenování mimojazykových předmětů prostě stačí... nahlédnout jako názor, že výrazy jsou užívány pro pojmenování. (s. 59). Jistěže tu Peregrin mluví o používání výrazů pro pojmenování (něčeho); to podle mne ale znamená, že jsou prostě pojmenováními něčeho, co i sám Peregrin nazývá význam. Peregrin dále argumentuje, že searlovská definice rozdílu mezi syntaxí a sémantikou (mezi tím, co je ryze formální, a tím, co má obsah ) 14, je oproti Carnapovu vymezení skutečné vylepšení (s. 54). Jenže proč jde o vylepšení, když termín obsah není o mnoho jasnější než termín sémantika (s. 54)? Searlovská definice je přece horší, neboť zatímco výraz obsah není definován, termín sémantika Carnapem vlastně definován je. Souhlasím tu však s Peregrinem, že pokud ze searlovské definice vypreparujeme sémantické je to, co není záležitostí formy (s. 54), tak se nám ovšem do sémantiky jistě dostanou věci, které tam nepatří (s. 54), 15 ba dokonce: fatální...[je to], že takto vedená hranice nedokáže jasně oddělit sémantiku ani od syntaxe (s. 54). Ve srovnání s Carnapovou definicí je tedy searlovská definice evidentní zhoršení. 16 Navzdory zjevné potíži searlovské definice Peregrin ukazuje její možnosti na případu odvoditelnosti (což zde zatím nebudu rozebírat) a dále pak na příkladu vnitřních / vnějších lidských vlastností. Čtenáře jistě zajímá, nakolik tato ilustrace bude mít dosah pro naši 13 Možná, že Peregrin roli chápe zcela jinak, leč v této stati to není nijak naznačeno. Při rozboru jeho argumentace v jeho stati vycházím jen z té argumentace, kterou zde podal. 14 Searle, John (1994): Mysl, mozek a věda. Praha: Mladá fronta; cit. s Pozoruhodně: z druhého citátu v tomto odstavci Peregrin dává najevo svou dispozici odlišit, co je sémantické,a co nikoli. Domnívám se, že takovouto dispozici získává ten, kdo si přečte Carnapovu definici. 16 Mj. Carnap jasně specifikuje co je formální : Zkoumání, metoda, pojem, týkající se výrazů jazyka jsou nazývány formální, jestliže aplikační reference je činěna nikoli na designáty výrazů, ale pouze na jejich formu.... cokoli reprezentované formálním způsobem náleží syntaxi (Carnap, ibid., s. 10). 6
7 původní otázku: co je sémantika, co je sémantika jazyka. Souhlasím sice s Peregrinem v tom, že když někdo vypadá jako Babinský, [tak to] nevylučuje, že je to houslový virtuóz (s. 56), přece jen je tu nejistota v aplikaci tohoto elementárního psycho-sociálního poznatku na náš problém. Snad proto Peregrin připojil průkaznější příklad, jímž je nošení odznáčku členy jisté politické strany, což je podle něj vnější indikátor vnitřní vlastnosti. Peregrin pak píše, že v případě jazyka... musíme připustit kategorii syntaktických indikátorů sémantických vlastností (s. 56), přičemž právě nějaký vnější znak (ve společnosti lidí řekněme účes zvaný čerokí či prostě číro ) indikuje vnitřní vlastnost ( být přesvědčený stoupenec hnutí punk ). Na příkladu ze znakových systémů logiky nakolik například do definice odvoditelnosti zakomponujeme zachovávání pravdivosti, natolik nelze odvoditelnost považovat za vlastnost čistě sémantickou jde o syntaktický indikátor sémantické vlastnosti (s. 56). Když si vyberu jiný příklad a řeknu to svými slovy: pokud vyplývání vět definuji s odkazem na vyplývání větných významů (řekněme propozic, propozičních konstrukcí), tak větné vyplývání je prostě syntaktický způsob, jak mluvit o sémantickém jevu. Jenže zjevně jsme se z obsahu a důsledků Peregrinovy sekce Searle nedostali za klasickou definici sémantiky a sémantických pojmů. Ale přece jen je tu jeden úzký průchod (opět jde o Peregrinovu redukci v argumentaci), totiž zapomenout na syntaktické indikátory sémantických vlastností obecně a vzít si do ruky pouze termín odvoditelnost a uvažovat, že díky jeho možné zakotvenosti v sémantickém pojmu vyplývání do učebnic logiky proniká nebezpečná dvojznačnost (s. 56). Budiž, horší to ale bude s dvěma searlovskými tvrzeními, která diskutuje Peregrin: a) počítač může mít pouze syntax b) syntax nestačí na sémantiku Mj. Peregrin znovu ukazuje, vlastně jak nedostatečná je searlovská definice sémantiky při existenci syntaktických indikátorů sémantických vlastností se totiž zdá, že kromě syntaxe v úzkém smyslu existuje i syntax v širším smyslu (s. 56). Sémantizovaná syntax, jak bychom ji také mohli říkat, vede k zpochybnění tvrzení b), jak naznačuje i Peregrin (s. 57). 17 Může tu však dojít k jisté pochybnosti, zdali přece jen počítače nepracují vlastně tak trochu sémanticky: Peregrin říká, že sémantiku výrazů se učíme na základě pravidel a počítači prostě implementujeme takováto pravidla. Žel toto místo je, domnívám se, Peregrinem nedostatečně podloženo: spíše to vypadá, že z jeho strany jde pouze o návrh výzkumného programu, který ukáže, že navzdory např. protipříkladům A. N. Priora, K. Gödela aj. lze 17 Peregrinovu kritiku Searla (s ) zde nebudu diskutovat (jsem jí dokonce nakloněn), není to zde naše téma. 7
8 založit sémantiku na základě syntaxe. Výzkum by to jistě mohl být zajímavý. Avšak teprve poté, co bude dosaženo dostatečného množství výsledků, bychom mohli zvážit užitečnost tohoto přístupu ve srovnání s jinými přístupy. Vrátím-li se ještě k otázce vyplývání / odvoditelnosti, je třeba si připomenout, že splynutí těchto dvou pojmů je, jak známo, možné v případě jen těch logických systémů, které jsou (silně) úplné (např. klasická výroková logika), jinak ale nikoli. Ona vzácná možnost splynutí by proto neměla vést k dojmu, že tyto dva pojmy splývají zcela obecně. A jsou velmi dobré důvody, proč vyplývání chápat jako pojem sémantický sémantika formálních systémů je dána definicí interpretace formálních výrazů (typicky teorie modelů); naproti tomu syntaktické pojmy jako např. správně utvořená formule, důkaz apod. dávají návod, jak zacházet s formulemi za určitým cílem, ať už je sémantika zkoumaných formulí jakákoli (např. zjistit, zda je jistá formule správně utvořená, znamená aplikovat příslušnou definici správně utvořené formule, nikoli se navíc zaobírat interpretací (tj. sémantikou) oné formule; podobně pro důkaz). Pragmatistický přístup k definici sémantiky Teoretickým vyvrcholením Peregrinovy statě je pragmatistický přístup, který Peregrin dlouhodobě propaguje. Opírá se Quinovu filosofii, která právě v tomto tématu bývá někdy nazývána behaviorální sémantika (sémantika proto, že má jít o zkoumání sémantiky, behaviorální proto, že se opírá o chování lidí, přičemž se uvažují pouze jazykové vstupy pro lidský subjekt a jeho jazykové výstupy). 18 Podívejme se, jak plodný bude přístup Abychom lépe pochopili, co je to význam, přemýšlejme, jak se významů dobíráme jak zjišťujeme, co nějaké nám dosud neznámé slovo znamená. (s. 58). Peregrin píše, že Z tohoto pohledu [z pohledu lingvisty zjišťujícího, co znamená v jazyku jménem džunglina slovo gavagai ; J.R.] vychází najevo, že naučit se význam znamená pochopit, jak se daný výraz užívá a sémantika se tak zdá být věcí... určité praktické dovednosti než teoretického vědění. (s. 58). Při takovémto zkoumání budeme se jednak snažit katalogizovat, jaké výrazy domorodci užívají, a jednak to, jak který z nich užívají. (s. 58). A právě tohle podle mne zakládá hranici mezi syntaxí a sémantikou, která má pevnější oporu než ta carnapovská: syntax je 18 Jazyk je společenská dovednost, opakovaně říká W. v. O. Quine (mj. v češtině bychom nejen vzhledem k saussurovským distinkcím, ale vzhledem ke kodifikovaným významům slov jazyk, řeč, řekli, že Quine se zabývá řečí-komunikací, ne jazykem coby systémem). 8
9 o tom, z jakých výrazů se jazyk skládá, a sémantika o tom, jak se kterých z nich užívá. (s ). Co by na to řekl Carnap? V prvním mottu této statě Carnap píše: Jestliže je při zkoumání učiněna explicitní reference na mluvčího,... uživatele jazyka, pak ho přiřazujeme do oblasti pragmatiky 19 Quine i Peregrin se tedy z hlediska Carnapovy definice zjevně zaobírají zkoumáním jazyka v rovině pragmatiky, nikoli v rovině sémantiky či syntaxe. Přesto ale Peregrin hovoří o syntaxi a sémantice. Domnívám se ale, že i tak není těžké zachovat si klasickou triádu syntax / sémantika / pragmatika a Peregrinovu tezi (kterou podávám jako druhé motto této stati) syntax je o tom, které výrazy mluvčí užívají, zatímco sémantika je o tom, jak je užívají 20, můžeme chápat prostě tak, že máme: 1) syntax 2) sémantiku 3) pragmatiku, která se dělí na: a) pragmatiko-syntax (zkoumání, které znaky mluvčí používají) b) pragmatiko-sémantiku (zkoumání, jak ty znaky mluvčí používají) Takto bychom mohli navíc citovat Davida Kaplana a prostě konstatovat, že stále platí: Logika a sémantika se netýká rozmary činností, ale skutečností [ verities ] významů. 21 Carnapovy definice čisté a deskriptivní sémantiky / syntaxe Ačkoli jsem se do Carnapovy knihy Úvod do logické sémantiky začetl z jiného důvodu, než jakým bylo sepsání této stati, kapitola Sémiotika a její části mi poskytla bohatý náhled do problému, jímž se zde zabýváme (ba i do diskuze o analytičnosti či empiričnosti sémantiky). Carnapovy definice jsou natolik jasně formulované, že stojí za to je rovnou citovat: Deskriptivní sémantikou míníme popis a analýzu sémantických rysů buďto některého jednotlivého historicky daného jazyka, např. francouzštiny, nebo všech historicky daných jazyků obecně. První by byla speciální deskriptivní sémantikou; druhá obecnou deskriptivní sémantikou. Tudíž deskriptivní sémantika popisuje fakta; je to empirická disciplína. 22 Vidíme, že Peregrinovo chápání sémantiky coby vědy jak znaky užíváme velmi dobře spadá pod Carnapův pojem deskriptivní sémantika (a jak píše Carnap, je to empirická 19 Carnap, ibid., s Peregrin, Is Language a Code?, ibid., s Kaplan, ibid., s Carnap, ibid., s
10 disciplína zabývající se mj. rozmary činností, jak psal Kaplan, je věcí praktické dovednosti, jak psal Peregrin). Tato deskriptivní sémantika však není onou sémantikou, kterou provozují logičtí sémantikové (logičtí analytikové): Na druhou stranu můžeme ustavit systém sémantických pravidel, který je v blízkém sepětí s jazykem historicky daným či svobodně vynalezeným; budeme ho nazývat sémantický systém. Konstrukce a analýza sémantických systémů je nazývána čistá sémantika. Pravidla sémantického systému S nekonstituují... nic jiného, než definice určitých sémantických pojmů vzhledem k S, např. designace v S, či pravdivý v S. Čistá sémantika se sestává z definic tohoto druhu a jejich důsledků; tudíž, v protikladu k deskriptivní sémantice, je zcela analytická a bez faktuálního obsahu. Na druhou stranu Peregrinovu syntax chápanou jako vědu o tom, které znaky lidé užívají, by Carnap jistě zařadil pod deskriptivní syntax, což je také disciplína empirická: Učiníme analogickou distinkci mezi deskriptivní a čistou syntaxí... a rozdělíme tato pole na dvě části, speciální a obecnou syntax. Deskriptivní syntax je empirické zkoumání syntaktických rysů daných jazyků. Čistá syntax pojednává syntaktické systémy. Syntaktický systém (či kalkul) K sestává z pravidel, která definují syntaktické pojmy, např. věta v K, dokazatelný v K, odvoditelný v K. Čistá syntax obsahuje analytická tvrzení v metajazyku, která plynou z těchto definic. 25 Je tedy zřejmé, že založení hranice mezi syntaxí a sémantikou, které navrhuje Peregrin, není lepší než to Carnapovo, neboť je totožné s Carnapovým rozlišením deskriptivní syntaxe a deskriptivní sémantiky. Na druhou stranu diskutované Peregrinovo rozlišení je horší než to Carnapovo v tom smyslu, že je pouze jednou z několika Carnapových distinkcí. Výše jsme viděli, že Peregrinovým přáním bylo hledat tak obecnou definici sémantiky, která by byla uplatnitelná např. i na pragmatistické pojetí jazyka. Carnapovy definice k tomuto dávají, domnívám se, jasnou cestu: sémantika se zabývá tím, co znaky znamenají zde ale nebudeme říkat, že označují designát či mají za význam roli, abychom nebyli poplatní nějaké idiosynkratické filosofii jazyka ; také nebude říkat, že abstrahujeme od používání těchto znaků, opět abychom nebyli poplatní jisté idiosynkratické filosofii jazyka. 23 Carnap, ibid., s Domnívám se, že v tomto smyslu chápou logickou sémantiku např. Cmorej, Materna či já (Cmorej, Pavel (2005): Semivýrazy a výrazy, In: P. Sousedík (ed.), Jazyk logika věda, Praha: Filosofia, 63-88; Materna, Pavel (2005): Je logická analýza jazyka možná?, Filosofický časopis 53, 2, ; Raclavský, Jiří (2005): Charakter logické analýzy přirozeného jazyka, Filosofický časopis 53, 6, ). 25 Carnap, ibid., s
11 Aby nevznikly pochyby, Carnap dává zřetelně najevo co je deskriptivní syntax a deskriptivní sémantika na příkladu, 26 který je doslova quinovský (leč staršího data než ten Quinův): předpokládejme, že chceme studovat dosud nezkoumaný eskymácký jazyk; zjevně nám nezbývá, než začít tím, že pozorujeme řečové-komunikační zvyky lidí, kteří ho užívají; pozorováním jistého faktu zjistíme, že tito lidé používají slovo iglú kdykoli, když chtějí referovat na obydlí; takto jsme v pozici, kdy formulujeme sémantické tvrzení iglú znamená (designuje) obydlí a syntaktické tvrzení iglú je predikát. A jak Carnap říká a říká zde něco, s čím Quine i Peregrin nepochybně mohou souhlasit: Tímto způsobem je veškerá znalost na poli deskriptivní sémantiky a deskriptivní syntaxe je založena na předchozí znalosti v pragmatice. 27 čili: Deskriptivní sémantika a syntaxe je skutečně založena na pragmatice. 28 Carnap tedy jednoznačně dává najevo, co je jeho odpovědí na to, zdali sémantika a syntax závisí na pragmatice. O lingvistice pak Carnap píše: Lingvistika v nejširším slova smyslu je obor vědy, který obsahuje všechna empirická zkoumání týkající se jazyků. Je to deskriptivní, empirická část sémiotiky (mluvených či psaných jazyků); tudíž se sestává z pragmatiky, deskriptivní sémantiky a deskriptivní syntaxe. Ale tyto částí nejsou na stejné úrovni; pragmatika je základem pro vše v lingvistice. 29 připomíná však, Pokud jsou sémantické a syntaktické rysy jazyka objeveny pragmatikou, můžeme naši pozornost odvrátit od mluvčích a omezit se jen na tyto sémantické a syntaktické rysy. (Carnap, ibid., s. 13), takže opravdu není nutné v lingvistice... vždy explicitně referovat na uživatele zkoumaného jazyka. (Carnap, ibid., s. 13). Ovšem v čisté sémantice a syntaxi podle Carnapa na takovéto explicitní či tacitní odvolávání se na uživatele jazyka z definice nedochází: Vzhledem k čisté sémantice a syntaxi je situace odlišná. Zde podáváme definice určitých pojmů, obvykle v podobě pravidel, a studujeme analytické důsledky těchto definic. Ve volbě těchto pravidel jsme zcela svobodní. Někdy můžeme být vedeni ve své volbě uvažováním na daným jazykem, tedy pragmatickými fakty. Ale toto se týká motivace naší volby Pomineme-li, že Carnap rozdíl mezi čistou sémantikou a deskriptivní sémantikou také přirovnává k rozdílu mezi matematickou a fyzikální geometrií (Carnap, ibid., s Carnap, ibid., s Carnap, ibid., s Carnap, ibid., s Carnap, ibid., s
12 Domnívám se, že ono založení deskriptivní syntaxe / sémantiky v pragmatice by se dalo vyjádřit následujícím schématem: (analytické vědy) (empirické vědy) pragmatika: (čistá) syntax abstrakce od konkrétních mluvčích, aj. deskriptivní syntax (čistá) sémantika abstrakce od konkrétních mluvčích, aj. deskriptivní sémantika Takto mj. nemůže být pochyb, co je disciplínou analytickou a co disciplínou empirickou. Dodejme, že když se někdy hovoří o teoretické pragmatice (tedy vědě, kde se abstrahuje od konkrétních mluvčích a od konkrétních mluvních situací, zato však jsou zkoumány systémy, kde tyto jsou reprezentovány jejich abstraktními koreláty, jimiž jsou indexy pravdivosti, jak je známe např. z teorie indexů), tak se vlastně jedná o (čistou) sémantiku 31 (jistě pak musíme být na pozoru, zdali termínem pragmatika rozumíme onu teoretickou pragmatiku či deskriptivní sémantiku spolu s deskriptivní syntaxí.). 32 Zajímavé je, že Carnap ve své pionýrské práci o své sémantice svědomitě připouští, že může dojít ke značným fundamentálním změnám v budoucím vývoji (Carnap, ibid., s. viii). (Domnívám se, že Peregrinem propagované pragmatistické pojetí jazyka dosud není právě takovouto zásadní změnou.) K budoucímu vývoji Carnap ještě poznamenává: zdá se mi hodnověrné domnívat se, že čistá logika i metodologie vědy bude pokračovat ve vyžadování metody jako sémantiky a syntaxe této doby vzdávající se skrze abstrakci některých rysů, které by plné, pragmatické zkoumání jazyka mělo brát v úvahu, a tudíž získávající exaktnost nedosažitelnou empirickými pojmy pragmatiky. 33 A v tomto dal Carnapovi rozvoj např. komputační lingvistiky a mnoha dalších disciplín za pravdu. * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Raclavský, Jiří (2006): Co je sémantika, Filosofický časopis 54, 2, preprint URL: 31 (Mj. Ačkoli by se někomu mohlo zdát, že jistou abstrakcí od skutečné situace se Crimmins a Perry dostali na pole teoretické pragmatiky, tak je nutné si uvědomit, že ve skutečnosti nenavrhli ani nezkoumali systém, který by faktor mluvčího či faktor situace explicitně započítal.) 32 Nechť se čtenář u tohoto schématu ještě jednou zamyslí nad mým návrhem pro J. Peregrina, jak by mohla vypadat definice sémantiky, která by nepodléhala specifické filosofii jazyka. 33 Carnap, ibid., s. viii-ix. 12
Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)
Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr
Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23
Úvod do logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 23 Co je logika? Čeho se týkají logické zákony? Tři možnosti: (1) světa (2) myšlení (3) jazyka (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216
Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993
Ludwig WITTGENSTEIN: Tractatus Logico-Philosophicus, 1922 Překlad: Jiří Fiala, Praha: Svoboda, 1993 l Svět je všechno, co fakticky je. 1.l Svět je celkem faktů a nikoli věcí. l.2 Svět se rozpadá na fakty.
Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky
Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická
ETIKA. Benedictus de SPINOZA
ETIKA Benedictus de SPINOZA Ukázka knihy z internetového knihkupectví www.kosmas.cz Benedictus de Spinoza ETIKA ETIKA Benedictus de SPINOZA ETIKA Translation Karel Hubka, 1977 Czech edition dybbuk, 2004
Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)
Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza
postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy
Formální systémy (výrokové) logiky postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy cíl: získat formální teorii jako souhrn dokazatelných
Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1
Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit
Matematická logika. Miroslav Kolařík
Matematická logika přednáška třetí Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Výbor textů k moderní logice
Mezi filosofií a matematikou 5 Logika 20. století: mezi filosofií a matematikou Výbor textů k moderní logice K vydání připravil a úvodními slovy opatřil Jaroslav Peregrin 2006 Mezi filosofií a matematikou
1. Přednáška K čemu je právní filosofie?
1. Přednáška K čemu je právní filosofie? Osnova přednášky: a) Co je filosofie a filosofování b) Proč vznikla právní filosofie c) Předmět a funkce právní filosofie Co znamená slovo filosofie? slovo filosofie
Výroková logika dokazatelnost
Výroková logika dokazatelnost Ke zjištění, zda formule sémanticky plyne z dané teorie (množiny formulí), máme k dispozici tabulkovou metodu. Velikost tabulky však roste exponenciálně vzhledem k počtu výrokových
Matematická logika. Miroslav Kolařík
Matematická logika přednáška šestá Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17
Obsah Předmluva...3 0. Rekapitulace základních pojmů logiky a výrokové logiky...11 0.1 Logika jako věda o vyplývání... 11 1. Uvedení do predikátové logiky...17 1.1 Základní terminologie... 17 1.2 Základní
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU. Martina Cirbusová (z prezentace doc. Škopa)
ZÁKLADNÍ METODOLOGICKÁ PRAVIDLA PŘI ZPRACOVÁNÍ ODBORNÉHO TEXTU Martina Cirbusová (z prezentace doc. Škopa) OSNOVA Metodologie vs. Metoda vs. Metodika Základní postup práce Základní vědecké metody METODOLOGIE
1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
Co je to sémantika? Jaroslav Peregrin Filosofický ústav AV ČR a Filosofická fakulta UK
Co je to sémantika? Jaroslav Peregrin Filosofický ústav AV ČR a Filosofická fakulta UK "Syntaktika sa obmedzuje výlučně na skúmanie samotných výrazov... Sémantika sa sústreďuje najmä na skúmanie vzťahov
Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 5. Odvození z jiných doc. PhDr. Jiří Raclavský,
ZÁKLADY LOGIKY A METODOLOGIE
ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie
Příklad z učebnice matematiky pro základní školu:
Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.
Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
Posudek oponenta diplomové práce
Katedra: Religionistiky Akademický rok: 2012/2013 Posudek oponenta diplomové práce Pro: Studijní program: Studijní obor: Název tématu: Pavlu Voňkovou Filosofie Religionistika Křesťansko-muslimské vztahy
Základní problémy teorie poznání
Základní problémy teorie poznání Základní přístupy k teorii poznání Metafyzická epistemologie - nejdříve co existuje, pak jak to můžeme poznat (Platón, Aristotelés) Skeptická epistemologie - nejdříve je
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
1 Úvod. Zdálo by se, že vyložit, jak je to s lidskou myslí, není až tak obtížné:
1 Úvod Zdálo by se, že vyložit, jak je to s lidskou myslí, není až tak obtížné: My všichni lidé jsme myslící bytosti, neboli všichni máme mysl. Do své mysli můžeme každý nahlížet, rojí se nám tam různé
1. Matematická logika
MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika
Teoreticko-metodologický seminář. Zdeňka Jastrzembská
Teoreticko-metodologický seminář Zdeňka Jastrzembská jastrzem@phil.muni.cz A) Co je to věda? Věda je každý celek hodný toho, aby mohl být předmětem intelektuální výuky na vysokých školách. Věda je specifický
KMA/MDS Matematické důkazy a jejich struktura
Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.
Formální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu
Marie Duží
Marie Duží marie.duzi@vsb.cz Učební texty: http://www.cs.vsb.cz/duzi Tabulka Courses, odkaz Mathematical Učební texty, Presentace přednášek kursu Matematická logika, Příklady na cvičení + doplňkové texty.
METAFYZIKA A PAVOUK V KOUTĚ. Metafyzika
METAFYZIKA A PAVOUK V KOUTĚ Metafyzika 2 Průvodce tématem metafyzika - 1. část 2.1 ÚVOD - METAFYZIKA 2.2 PRVNÍ KROK NĚKOLIK TEORETICKÝCH INFORMACÍ 2.3 DRUHÝ KROK TEXT Z OBLASTI METAFYZIKY 2.4 TŘETÍ KROK
Nepřijde a nedám 100 Kč měl jsem pravdu, o této
1.4.4 Implikace Předpoklady: 010403 Implikace Implikace libovolných výroků a,b je výrok, který vznikne jejich spojením slovním obratem jestliže, pak, píšeme a b a čteme jestliže a, pak b. Výroku a se říká
Úvod do logiky a logického programování.
Úvod do logiky a logického programování Luboš Popelínský popel@fi.muni.cz www.fi.muni.cz/~popel Přehled učiva Opakování základů výrokové a predikátové logiky Normální formy ve výrokové a predikátové logice
Premisa Premisa Závěr
Studijní text Argumentace Jak to v komunikaci přirozeně děláme, jak argumentujeme? Leden má 31 dní, protože je prvním měsícem roku. Vím, že nelze nekomunikovat. Tzn. každý člověk komunikuje. A Petr je
Logika. 6. Axiomatický systém výrokové logiky
Logika 6. Axiomatický systém výrokové logiky RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
Definice. Petr Kuchyňka
Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace
Výroková a predikátová logika - IX
Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2013/2014 1 / 15 Korektnost a úplnost Důsledky Vlastnosti teorií
Výroková a predikátová logika - IX
Výroková a predikátová logika - IX Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IX ZS 2018/2019 1 / 13 Dokončené tablo Chceme, aby dokončená bezesporná
Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.
Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární
Úvod do logiky (VL): 13. Axiomatické systémy VL a pojem důkazu
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (VL): 13. Axiomatické systémy VL a pojem důkazu
Gödelovy věty o neúplnosti
Gödelovy věty o neúplnosti Miloš Jakubíček PB016 Úvod do umělé inteligence Fakulta informatiky, Masarykova univerzita 23. listopadu 2007 1 Gödel & historie Kurt Gödel Historický kontext 2 Jazyk a metajazyk
1. Predikátová logika jako prostedek reprezentace znalostí
1. Predikátová logika jako prostedek reprezentace znalostí 1.1 Historie výrokové logiky Problém explicitních znalostí a údaj, kterých je obrovské množství, vedl ke vzniku výrokové logiky. lovk si obecn
Teorie argumentace Pavel Arazim
Teorie argumentace Pavel Arazim Druhá lekce Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Otázky v argumentaci
Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na
Filosofie Základy logiky Základy logiky I. Pochopit jazykový výraz Na co ukazuje jazykový výraz? láhev, dům, šest, bolest, prvočíslo Ukazuje jazykový výraz na věci? Ukazuje na množiny věcí? Ukazuje na
E L O G O S ELECTRONIC JOURNAL FOR PHILOSOPHY/2006 ISSN 1211-0442
E L O G O S ELECTRONIC JOURNAL FOR PHILOSOPHY/2006 ISSN 1211-0442 Existují morální zákony á priori, nebo jsou pouze vyjádřením soudobých názorů ve společnosti? Ondřej Bečev 1) Vysvětlivky K použitým písmům
Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená.
Logika 6 Zadání: Doplň vhodný termín z nabízených nebo vyber správnou odpověď: Otázka číslo: 1 Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená. formální neformální obsahové
Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16
(FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 16 Výstavba logické teorie Sylogistika 1) Syntax základní symboly (logické, mimologické) gramatická pravidla (pojem formule) 2) Sémantika pojem interpretace
Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu
Jiří Raclavský (214): Úvod do logiky: klasická výroková logika Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.7/2.2./28.216, OPVK) Úvod
Kosmologický důkaz Boží existence
Kosmologický důkaz Boží existence Petr Dvořák Filosofický ústav AV ČR Cyrilometodějská teologická fakulta UP Postup Dějinný a systematický kontext, literatura Důkaz Hume-Edwardsova námitka a její řešení,
Výroková a predikátová logika - V
Výroková a predikátová logika - V Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - V ZS 2015/2016 1 / 21 Dokazovací systémy VL Hilbertovský kalkul Hilbertovský
Výroková a predikátová logika - IV
Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)
GEN104 Koncipování empirického výzkumu
GEN104 Koncipování empirického výzkumu Hypotézy Proměnné Konceptualizace Operacionalizace Měření Indikátory Využity podklady Mgr. K. Nedbálkové, Ph.D. etapy výzkumu I Formulace problému (čtu, co se ví,
Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...
Logika 5 Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1 Logika je věda o.... slovech správném myšlení myšlení Otázka číslo: 2 Základy
Inteligentní systémy (TIL)
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ Přednáška 9 hyperintensionální kontext Celá konstrukce C je objektem predikace (argumentem), tedy její výstup funkce, kterou konstruuje,
12 DYNAMIKA SOUSTAVY HMOTNÝCH BODŮ
56 12 DYNAMIKA SOUSTAVY HMOTNÝCH BODŮ Těžiště I. impulsová věta - věta o pohybu těžiště II. impulsová věta Zákony zachování v izolované soustavě hmotných bodů Náhrada pohybu skutečných objektů pohybem
Predikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
Výroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78
259 Obsah PŘEDMLUVA 5 ZÁKLADNÍ POJMY 1 ÚVODNÍ ÚVAHY 1.1 o povaze a úkolech logiky 1.2 Logika a právo. Pojem právní logiky 1.3 Vyjadřovací soustava a sdělovací proces. 1.4 Několik základních pojmů potřebných
Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1
Úvod do predikátové logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 1 Relace Neuspořádaná vs. uspořádaná dvojice {m, n} je neuspořádaná dvojice. m, n je uspořádaná dvojice. (FLÚ AV ČR) Logika:
teorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
Výroková logika syntaxe a sémantika
syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být
Explikace. Petr Kuchyňka
Explikace Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Při komunikaci v přirozeném jazyce jsme neustále vystaveni hrozbě nedorozumění: řídíme se pravidly, která nejsou nikde explicitně uvedená ani nejsou dostatečně
POL 181 Co je věda? A co je podstatou výzkumu?
POL 181 Co je věda? A co je podstatou výzkumu? Věda jako kriminalistika Věda Možná pojetí vědy: Individualistické, úzké individuální aktivita, cílem pozorovat, popsat a vysvětlit (sociální) realitu, porozumět
Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci
Discussions Odpověď na Sousedíkovu kritiku Fregeho výroku o existenci Antonín Dolák Stanislav Sousedík ve svém příspěvku (Sousedík 2008, 489 492) zareagoval na mou recenzi (Dolák 2008) týkající se jeho
Základní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
Výroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
Úvod do TI - logika 1. přednáška. Marie Duží
Úvod do TI - logika 1. přednáška Marie Duží marie.duzi@vsb.cz Úvod do TI - logika Učební texty: http://www.cs.vsb.cz/duzi Courses Introduction to Logic: Informace pro studenty Učební texty: Kapitoly: Úvod
Logika. 1. Úvod, Výroková logika
Logika 1. Úvod, Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216,
1 Linearní prostory nad komplexními čísly
1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)
Základy logiky a teorie množin
Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu
Matematické důkazy Struktura matematiky a typy důkazů
Matematické důkazy Struktura matematiky a typy důkazů Petr Liška Masarykova univerzita 18.9.2014 Motto: Matematika je tvořena z 50 procent formulemi, z 50 procent důkazy a z 50 procent představivostí.
Modely Herbrandovské interpretace
Modely Herbrandovské interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 8 1 Uvedli jsme termové interpretace a termové modely pro logické programy a také nejmenší
Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23
Výroková logika Alena Gollová Výroková logika 1/23 Obsah 1 Formule výrokové logiky 2 Alena Gollová Výroková logika 2/23 Formule výrokové logiky Výrok je oznamovací věta, o jejíž pravdivosti lze rozhodnout.
Logika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
O čem je řeč v partikulárních větách
O čem je řeč v partikulárních větách Stanislav Sousedík Univerzita Karlova, Praha V časopisu Organon F si vyměňuje již déle než rok několik autorů názory na problematiku intencionálních jsoucen. Pokusím
Pravděpodobnost a statistika
Pravděpodobnost a statistika 1 Náhodné pokusy a náhodné jevy Činnostem, jejichž výsledek není jednoznačně určen podmínkami, za kterých probíhají, a které jsou (alespoň teoreticky) neomezeně opakovatelné,
O nerovnostech a nerovnicích
O nerovnostech a nerovnicích Kapitola 3. Množiny In: František Veselý (author); Jan Vyšín (other); Jiří Veselý (other): O nerovnostech a nerovnicích. (Czech). Praha: Mladá fronta, 1982. pp. 19 22. Persistent
Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz
Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL
Pojmové mapy ve výuce fyziky
Pojmové mapy ve výuce fyziky Renata Holubová Přírodovědecká fakulta UP Olomouc, e-mail: renata.holubova@upol.cz Úvod Rámcové vzdělávací programy mají pomoci dosáhnout u žáků přírodovědné gramotnosti. Tento
Predikátová logika: Axiomatizace, sémantické stromy, identita. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 13
Predikátová logika: Axiomatizace, sémantické stromy, identita (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 13 Axiomatizace predikátové logiky Axiomatizace predikátové logiky Definice Hilbertovský
Množiny, relace, zobrazení
Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,
Copyright Jiří Janda ISBN 978-80-260-3716-3
1 Copyright Jiří Janda ISBN 978-80-260-3716-3 2 Mojí nejskvělejší manželce Lucii a všem mým studentům 3 PŘEDMLUVA" 4 CO JE TO KONDICIONÁL A PROČ JE V ANGLIČTINĚ POTŘEBA" 6 PRVNÍ KONDICIONÁL" 9 DRUHÝ KONDICIONÁL"
Sémantika predikátové logiky
Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem
Matematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
Mgr. Miroslav Hanke. Jan Buridan a nominalistická teorie racionality
Mgr. Miroslav Hanke Jan Buridan a nominalistická teorie racionality JOHN BURIDAN AND THE NOMINALIST THEORY OF RATIONALITY Autoreferát k dizertační práci Dizertační práce Jan Buridan a nominalistická teorie
Úvod do logiky (PL): analýza vět přirozeného jazyka
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): analýza vět přirozeného jazyka doc. PhDr.
Výroková logika. p, q, r...
Výroková logika Výroková logika je logika, která zkoumá pravdivostní podmínky tvrzení a vztah vyplývání v úsudcích na základě vztahů mezi celými větami. Můžeme též říci, že se jedná o logiku spojek, protože
Inteligentní systémy (TIL) Marie Duží
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti MI-SOC: 11 METODY VERIFIKACE SYSTÉMŮ NA ČIPU Hana Kubátov vá doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta 1 informačních
Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.
Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD. Tematické okruhy: 1. Stručné dějiny logiky a její postavění ve vědě 2. Analýza složených výroků pomocí pravdivostní tabulky 3. Subjekt-predikátová
Normální formy. (provizorní text)
Normální formy (provizorní text) Výrokový počet Definice. Jazyk výrokového počtu obsahuje výrokové proměnné p, q, r, s,..., spojky,,,.. a závorky (,). Výrokové proměnné jsou formule. Jestliže a jsou formule,
Díváme-li se na věc takto, lze si položit otázku, zda je R z hlediska analýzy. přímku podrobit. To je druhý důvod, proč analýza potřebuje bod 2.
Úvod. Reálná analýza se zabývá množinou reálných čísel R a funkcemi z R do R. Vyjdeme-li z obecnějšího principu, že analýza se zabývá kvantitativními vlastnostmi světa kolem nás, pak reálná analýza studuje
I ÚVOD DO PEDAGOGIKY...
Obsah 5 OBSAH PŘEDMLUVA............................................ 7 I ÚVOD DO PEDAGOGIKY.............................. 9 II PEDAGOGIKA VOLNÉHO ČASU....................... 25 III PŘEDŠKOLNÍ PEDAGOGIKA..........................
10. Soustava lineárních rovnic - substituční metoda
@112 10. Soustava lineárních rovnic - substituční metoda Jedna z metod, která se používá při řešení soustavy lineárních rovnic, se nazývá substituční. Nejlépe si metodu ukážeme na příkladech. Příklad:
Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky
Okruh č.9: sémantické metody dokazování v PL1 Pomocí metody Vennových diagramů a relačních struktur vytváříme grafický model situace, která je úsudkem vyjádřena. Ověřujeme, zda náš graficky znázorněný
Úvod do logiky (PL): sémantika predikátové logiky
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Úvod do logiky (PL): sémantika predikátové logiky doc. PhDr. Jiří
Výroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2014/2015 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2014/2015 1 / 21 Výroková logika Horn-SAT Horn-SAT Jednotková
Výroková a predikátová logika - VIII
Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2017/2018 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule