Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)
|
|
- Klára Navrátilová
- před 6 lety
- Počet zobrazení:
Transkript
1 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 jedním z nejdůležitějších témat moderní logiky. Mají-li totiž konkrétní úsudky či tvrzení být analyzovány pomocí prostředků logiky, je nejprve potřeba převést je z přirozeného jazyka, v němž jsou formulovány, do jazyka formální logiky. Tomuto procesu se říká formalizace. A diskuse o tom, jak má tento přepis přirozeného jazyka do jazyka formální logiky (tj. logická analýza přirozeného jazyka) vypadat, patří v současné době k nejživějším, odehrává se však převážně za hranicemi klasické logiky a proto se jí nebudeme dále věnovat. Podívejme se spíše na jazyk obecně, resp. na to, jak chápe je funkce a analýza jazyka pjímána v logice. Jazyk je stále se rozvíjející systém verbálních znaků, který slouží k formulování myšlenek v procesu poznání objektivní reality lidmi a umožňuje výměnu těchto myšlenek o skutečnosti a s nimi spjatými prožitky. (Stručný filosofický slovník, Praha:Svoboda 1966) Věta je obrazem skutečnosti. Věta je model skutečnosti tak, jak si ji myslíme. (Wittgenstein, Ludwig: Tractatus logico-philosophicus ) Podstatné tedy je, že jazyk je (v logice) chápán jakožto prostředek, který slouží k formulování myšlenek o skutečnosti. Už Aristoteles píše, že myšlená slova jsou znaky skutečných věcí, a mluvená (psaná) slova zase znaky slov myšlených. V každém sdělení tedy hrají svou roli tři složky: skutečnost - tak, jak je nám dána myšlení - tj. to, jak tuto skutečnost pojímáme (v myšlení) jazyk tj. jak nám jazyk umožňuje myšlenky vyjadřovat
2 V ideálním případě (alespoň taková je představa logiky) by mezi těmito třemi složkami měla být vzájemně jednoznačná korespondence. Tuto podmínku však splňují jen uměle vytvořené formalizované jazyky. V přirozeném jazyce totiž máme výrazy, které vyjadřují více myšlenek a označují více skutečností, nebo zase naopak výrazy, které sice nějaké myšlenky vyjadřují, ale neoznačují nic skutečného. Ačkoliv je tato koncepce vztahu mezi jazykem, myšlením a skutečností (otázka po významu jazykových výrazů) přinejmenším stejně stará jako logika sama, za její výchozí formulaci se pokládá série článků (O smyslu a významu, O pojmu a předmětu, Funkce a pojem, Myšlenka) z druhé poloviny 19. století, jejichž autorem je německý matematik Gottlob Frege. V nejucelenější a nejpřesnější podobě vyložil tuto představu fungování vztahu skutečnosti, jazyka a myšlení Ludwig Wittgenstein ve svém spise Tractatus Philosophico- Logicus. Význam vlastních jmen Podívejme se tedy nejprve na Fregeho koncepci. Frege začíná analýzou vlastních jmen. Vlastními jmény se v logice rozumí výrazy, které označují právě jednu věc. Podle Fregeho každý takový výraz jednak něco označuje a sice nějakou konkrétní věc, které Frege říká význam, a jednak cosi (má nějaký myšlenkový obsah), kterému Frege říká smysl. Stručněji, každý výraz prostřednictvím smyslu, který, označuje nějaký předmět. Smysl je tedy způsob, jakým jazykový výraz označuje svůj předmět. Je to jakýsi návod, který nám tento předmět umožňuje najít. Díky tomu, že rozumíme smyslu dokážeme určit předmět, o kterém je řeč. Standartně se tato situace zakresluje prostřednictvím následujícího schématu, kterému se říká Fregův trojúhelník: Jméno
3 označuje (též Bedeutung, denotát, rozsah, extenze) (též Sinn, obsah, intenze). Protože původní Fregeho terminologie (smysl a význam) je mírně zavádějící, neboť máme sklon oba termíny chápat synonymně, používá se dnes častěji Fregeho německá terminologie (Bedeutung a Sinn) nebo terminologie odvozená z angličtiny denotát (z anglikého denote = označovat) a význam. Protože se nejedná o věc zcela novou, najdeme v textech tradiční logiky termíny rozsah a obsah pojmu používáné v podstatě ve stejných kontextech. A konečně se v moderní literatuře používá též terminologie zavedená Carnapem extenze (z lat. rozsah) a intenze (z lat. obsah), která rovněž víceméně odpovídá Fregeho rozlišení. Každá z těchto terminologií má svá jistá specifika a dobové konotace. Pro začátek však stačí, budeme-li tyto termíny chápat synonymně, s tím, že v pokročilejších kurzech bude mezi nimi rozlišeno. Klasickým Fregeho příkladem je "Jitřenka". Toto jméno označuje nějaké nebeské těleso (význam jména), které můžeme najít tak, že se ráno před východem slunce podíváme, která hvězda je na obloze nejjasnější (smysl jména). Shodou okolností ale totéž nebeské těleso můžeme označit i jmény "Večernice" a "Venuše". Každé z těchto tří jmen tedy představuje jiný způsob udání téhož předmětu. Podle Fregeho, každé jméno jiný smysl, tj. různá jména téhož předmětu jsou jen různými způsoby označení nebo také poznání tohoto předmětu. Význam obecných jmen V dalším kroku je možné postoupit od singulárních termínů (vlastních jmen) označujících jedno individuum k obecným termínům (obecným jménům neboli pojmům), které jsou společné celé skupině individuí. Zde se Fregeho pojetí v podstatě překrývá s tradiční naukou o obsahu a rozsahu pojmu. Pojmem můžeme pro přiblížení rozumět každé smysluplné slovo nebo frázi, které samy o sobě cosi vyjadřují a označují. Každý pojem má: svůj rozsah, tj. soubor všech předmětů, o kterých se vypovídá, a svůj obsah, tj. soubor všech vlastností, které tento pojem konstituují
4 (tradiční filosofie by řekla soubor všech vlastností, které tvoří jeho podstatu). Rozsah pojmu "pes" tak tvoří všichni psi, zatímco jeho obsah tvoří to, co dělá psa psem, resp. to, co způsobuje, že tomuto výrazu rozumíme a víme, na která individua ho používat a na která nikoliv. Obsah pojmu "pes" tedy tvoří ty charakteristiky, podle kterých poznáme, že jde o psa a ne o nějaké jiné zvíře, bez ohledu na to, zda to, co máme před sebou je Maxipes Fík nebo sousedovic Alík. Fregeho trojúhelník pro obecná jména pak vypadá následujícím způsobem: Obecné jméno označuje = množina všech individuí, = pojem. o kterých se tento termín vypovídá. Význam vět Úplně stejný trojúhelník platí i pro věty. Frege se domníval, že každá věta nějakou myšlenku (a ta je jejím smyslem) a označuje nějakou pravdivostní hodnotu (a ta je jejím významem). Věta označuje. = pravdivostní hodnota = myšlenka.
5 Tato koncepce, že věty označují pravdivostní hodnoty byla přijata klasickou logikou a proto o ní říkáme, že je logikou extenzionální na větách ji zajímají výhradně pravdivostní hodnoty a nikoliv to, o čem jsou (myšlenky). Logické spojky pak pracují pouze tím způsobem, že pravdivostním hodnotám částí složeného výroku přiřadí výslednou pravdivostní hodnotu. Tedy, logické spojky jsou vlastně funkcemi z množiny pravdivostních hodnot do množiny pravdivostních hodnot. Extenzionalita a klasická logika V předchozím bylo řečeno, že každý jazykový výraz má svojí extenzi (to, co označuje) a svoji intenzi (to, co ). Klasická logika bývá často charakterizována jako extenzionální. To proto, že uvažuje pouze extenze výrazů, se kterými pracuje, a jejich intenze zanedbává: každé jméno ztotožňuje s předmětem, který označuje, každý pojem s množinou individuí, která pod něj spadají (o kterých se tento pojem vypovídá) a každé tvrzení je ztotožněno se svou pravdivostní hodnotou. Výhodou tohoto pojetí je jeho jednoduchost. Aparát klasické logiky tak vystačí s poměrně jednoduchými sémantickými prostředky. V řadě případů s tímto zjednodušením beze zbytku vystačíme. Především tam, kde nejde o nic jiného, než o popis. Existuje však celá řada situací, které běžně v přirozeném jazyce me, ale klasická logika na jejich postižení nestačí právě díky tomu, že uvažuje pouze extenze výrazů a nikoliv jejich intenze.
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
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,
Logický čtverec. Tradiční logický čtverec
Logický čtverec Tradiční logický čtverec Logický čtverec je schéma, do kterého lze poměrně přehledně znázornit následující vztahy mezi tvrzeními: Kontradikce je vztah mezi dvěma tvrzeními s přesně opačnými
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á
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.
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
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
SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.
Studijní text Co je singulární výrok SINGULÁRNÍ VÝROKY: PETR Petr je veselý. Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Příklad: Pavel je
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í
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ů
ATOMISTICKÁ SÉMANTIKA:
Pozn.: výrazy jazyka jsou psány v uvozovkách ( pes ), význam výrazu je psán kurzívou (pes) a objekt-referent výrazu je psán velkými písmeny (PES) definované výrazy jsou podtrhávané mentální reprezentace
4.9.70. Logika a studijní předpoklady
4.9.70. Logika a studijní předpoklady Seminář je jednoletý, je určen pro studenty posledního ročníku čtyřletého studia, osmiletého studia a sportovní přípravy. Cílem přípravy je orientace ve formální logice,
Předmluva Jak známo, Gottlob Frege si zvláště v proslulé stati Über Sinn und Bedeutung (Frege 1892) povšiml, že věty tvaru a=b ( Jitřenka=Večernice, 2
Jak známo, Gottlob Frege si zvláště v proslulé stati Über Sinn und Bedeutung (Frege 1892) povšiml, že věty tvaru a=b ( Jitřenka=Večernice, 2+3=8-3, apod.) nejenže nejsou kontradiktorické (každý objekt
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é
Matematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
Ú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
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
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.
Projekt CZ.1.07/2.2.00/28.0216 Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia
Gottlob FREGE: O smyslu a významu, 1892 In: Zeitschrift fűr Philosophie und philos. Kritik, NF 100, 1892 Překlad: Jiří Fiala, In: Scientia Philosophia (SciPhi) 4, červen 1992, Praha Rovnost 1 ) vyžaduje
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
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.
Co je logika. Logika je "hledání pravdy"
Co je logika Logika je "hledání pravdy" Moderní definice říká, že logika je věda o správnosti (lidského) usuzování nebo odvozování. Aristoteles, její zakladatel, o logice mnohem poetičtěji řekl, že je
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
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á
Matice. a m1 a m2... a mn
Matice Nechť (R, +, ) je okruh a nechť m, n jsou přirozená čísla Matice typu m/n nad okruhem (R, +, ) vznikne, když libovolných m n prvků z R naskládáme do obdélníkového schematu o m řádcích a n sloupcích
Matematická logika. Miroslav Kolařík
Matematická logika přednáška první 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
Transparentní intenzionální logika (TIL)
Marek Rychlý Ústav informačních systémů, Fakulta informačních technologií, Vysoké učení technické v Brně, Božetěchova 2, Brno 612 66, Czech Republic rychly@fit.vutbr.cz Abstrakt Transparentní intenzionální
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.
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
Implikace letitá, ale stále atraktivní dáma
Implikace letitá, ale stále atraktivní dáma Jan Kábrt Proč se zajímat o logiku a v ní právě o implikaci? Mimo jiné pro souvislost s takovými oblastmi lidského myšlení, jako jsou matematika, ostatní přírodní
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
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
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ě
Formálnílogickésystémy pro aplikaci v informatice Martin Žáček
ZVYŠOVÁNÍODBORNÝCH KOMPETENCÍAKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉUNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Formálnílogickésystémy pro aplikaci v informatice Martin Žáček PŘEDMĚTY NA OU Logické základy
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
Okruh č.3: Sémantický výklad predikátové logiky
Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat
Ú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.
Ú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
Právní pojem a jeho struktura. Právní pojmy, kategorizace právních pojmů, sémantická struktura právního pojmu.
Právní pojem a jeho struktura. Právní pojmy, kategorizace právních pojmů, sémantická struktura právního pojmu. 1 Právní jazyk, nebo právní jazyky? jazykové vyjádření práva právní texty Jazyk v sobě skrývá
LOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
Numerické dovednosti. PaedDr. Mgr. Hana Čechová
Numerické dovednosti PaedDr. Mgr. Hana Čechová Osnova 1. Numerické dovednosti 2. Matematická gramotnost 3. Úroveň matematické gramotnosti 4. Složky matematické gramotnosti http://zsujezd.blog.cz 2 Matematika
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
platné nejsou Sokrates je smrtelný. (r) 1/??
Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice
1 Výrok a jeho negace
1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe
Ú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ří
Predikátová logika. Teoretická informatika Tomáš Foltýnek
Predikátová logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz strana 2 Opakování z minulé přednášky Z čeho se skládá jazyk výrokové logiky? Jaká jsou schémata pro axiomy VL? Formulujte
Český jazyk a literatura komunikační a slohová výchova ročník TÉMA
Český jazyk a literatura komunikační a slohová výchova ročník TÉMA 1 Nauka o slohu - objasní základní pojmy stylistiky Styl prostě sdělovací - rozpozná funkční styl, dominantní slohový Popis a jeho postup
5 Orientované grafy, Toky v sítích
Petr Hliněný, FI MU Brno, 205 / 9 FI: IB000: Toky v sítích 5 Orientované grafy, Toky v sítích Nyní se budeme zabývat typem sít ových úloh, ve kterých není podstatná délka hran a spojení, nýbž jejich propustnost
Vzdělávací obsah vyučovacího předmětu
Vzdělávací obsah vyučovacího předmětu Český jazyk a literatura 8. ročník Zpracovala: Mgr. Marie Čámská Jazyková výchova spisovně vyslovuje běžně užívaná cizí slova umí spisovně vyslovit běžná cizí slova
Ú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
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
Jestliže prší, pak je mokro.
Může být voda suchá? Aneb jak snadno a rychle státi se logikem začátečníkem. V logice můžeme vztah příčiny a následku symbolicky zapsat také jako příčina následek. Takovému zápisu říkáme materiální implikace
Vzdělávací obsah vyučovacího předmětu
Vzdělávací obsah vyučovacího předmětu Český jazyk a literatura 9. ročník Zpracovala: Mgr. Marie Čámská Jazyková výchova spisovně vyslovuje běžně užívaná cizí slova samostatně pracuje s Pravidly českého
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
Psychosémantické metody
Psychosémantické metody Psychosémantika filosofické pozadí Význam skrytý za slovy Filosofické zakotvení Ludwig Wittgenstein Význam nějakého slova je způsob jeho užití v řeči. (Filosofická zkoumání) Hranice
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.
Psychologické základy vzdělávání dospělých
Psychologické základy vzdělávání dospělých PhDr. Antonín Indrák Mgr. Marta Kocvrlichová Úvod Tento studijní materiál vznikl jako stručný průvodce po některých základních tématech psychologie. Snažili jsme
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
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á
Předmět: ANGLICKÝ JAZYK Ročník: 1.
Ročník: 1. ŘEČOVÉ DOVEDNOSTI výslovností, a reaguje na ně verbálně i neverbálně - zopakuje a použije slova a slovní spojení, se kterými se v průběhu výuky setkal - rozumí obsahu jednoduchého krátkého mluveného
SEMINÁŘ Z ČESKÉHO JAZYKA. Pokaždé se něčemu přiučíme, kdykoliv otevřeme knihu
SEMINÁŘ Z ČESKÉHO JAZYKA Pokaždé se něčemu přiučíme, kdykoliv otevřeme knihu Charakteristika vzdělávacího oboru Seminář z českého jazyka Dovednost užívat češtiny jako mateřského jazyka v jeho mluvené i
Teorie práva Přirozené a Pozitivní právo
Teorie práva Přirozené a Pozitivní právo Martin Škop Přirozené a pozitivní právo Přirozené a pozitivní právo způsoby odpovědi na základní otázku Co je právo? nutnost nalézt správná pravidla jednání je
Možné světy v logice. Jaroslav Peregrin. Carnap
Možné světy v logice Jaroslav Peregrin Carnap S pojmem možného světa se můžeme setkat již ve scholastice. Na úsvitu novověké filosofie ho G. Leibniz použil, když se pokoušel odpovědět na otázku, proč Bůh
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
Předmět: ANGLICKÝ JAZYK Ročník: 6.
Předmět: ANGLICKÝ JAZYK Ročník: 6. Výstupy z RVP Školní výstupy Učivo Mezipředm. vazby, PT Poslech s porozuměním - rozumí informacím v jednoduchých poslechových textech, jsou-li pronášeny pomalu a zřetelně
Predikátová logika (logika predikátů)
Predikátová logika (logika predikátů) Ve výrokové logice pracujeme s jednoduchými či složenými výroky, aniž nás zajímá jejich struktura. Příklad. Jestliže Karel je studentem, pak je (Karel) chytřejší než
Fyzikální veličiny. - Obecně - Fyzikální veličiny - Zápis fyzikální veličiny - Rozměr fyzikální veličiny. Obecně
Fyzikální veličiny - Obecně - Fyzikální veličiny - Zápis fyzikální veličiny - Rozměr fyzikální veličiny Obecně Fyzika zkoumá objektivní realitu - hmotu - z určité stránky. Zabývá se její látkovou formou
MODELOVÁNÍ DAT V INFORMAČNÍCH SYSTÉMECH. Jindřich Kaluža Ludmila Kalužová
MODELOVÁNÍ DAT V INFORMAČNÍCH SYSTÉMECH Jindřich Kaluža Ludmila Kalužová Recenzenti: prof. Ing. Milan Turčáni, CSc. prof. Ing. Ivan Vrana, DrSc. Tato kniha vznikla za finanční podpory Studentské grantové
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,
LOGIKA je účinným nástrojem mnoha vědních disciplin i každodenní mezilidské komunikace.
Logika Studijní text: LOGIKA je účinným nástrojem mnoha vědních disciplin i každodenní mezilidské komunikace. Logika je jednou z věd, jejichž cílem není předkládat člověku co si má myslet, ale spíše kultivovat
B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík
B i n á r n í r e l a c e Patrik Kavecký, Radomír Hamřík Obsah 1 Kartézský součin dvou množin... 3 2 Binární relace... 6 3 Inverzní relace... 8 4 Klasifikace binární relací... 9 5 Ekvivalence... 12 2 1
Příloha č. 4 ČESKÝ JAZYK JAZYKOVÁ VÝCHOVA
září Žák porovnává významy slov, zvláště slova podobného nebo stejného významu a slova vícevýznamová. Žák dokáže rozlišit mluvnické kategorie podstatných jmen (pád, číslo, rod), rozliší větu jednoduchou
Vzdělávací oblast: JAZYK A JAZYKOVÁ KOMUNIKACE Vyučovací předmět: Český jazyk a literatura Ročník: 6.
Vzdělávací oblast: JAZYK A JAZYKOVÁ KOMUNIKACE Vyučovací předmět: Český jazyk a literatura Ročník: 6. Jazyková výchova - zná pojem mateřský jazyk 1. Čeština jako mateřský jazyk MKV 4.4 - zná základní složky
Příloha č. 4 ČESKÝ JAZYK JAZYKOVÁ VÝCHOVA
Žák porovnává významy slov, zvláště slova podobného nebo stejného významu a slova vícevýznamová O jazyce Opakování učiva 3. ročníku Národní jazyk Naše vlast a národní jazyk Nauka o slově Slova a pojmy,
Ú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
Aristotelská logika. Pojem
Aristotelská logika Základními stavebními kameny aristotelské logiky jsou tři témata pojmy, soudy a úsudky. Jejich rozboru Aristoteles věnuje převážnou část svých logických spisů. Kromě toho pak věnuje
NÁRODNÍ TESTOVÁNÍ 2018/2019
průměrný percentil Průměrný celkový percentil po jednotlivých třídách y 6. A 6. B 6. C ZŠ GYM 54 64 53 47 61 51 55 55 55 OSP ČJ MA Graf znázorňuje průměrné celkové percentily všech tříd u vaší školy. Zároveň
Složky matematické gramotnosti a jejich konkretizace vzhledem k rozvoji matematické gramotnosti napříč vzdělávacími obory
Složky matematické gramotnosti a jejich konkretizace vzhledem k rozvoji matematické gramotnosti napříč vzdělávacími obory Matematickou gramotnost stejně jako ostatní gramotnosti je ve školním prostředí
a) vnímání = proces, kterým zachycujeme to, co v daném okamžiku působí na naše smysly
Otázka: Psychické procesy Předmět: Základy společenských věd Přidal(a): mirka 1)Poznávací procesy a) vnímání = proces, kterým zachycujeme to, co v daném okamžiku působí na naše smysly - podnět-> počitek->
Ú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ý,
Pravda jako funkce - ano, nebo ne?
Pravda jako funkce - ano, nebo ne? Nehledě na to, jestli jsou pravidla pro logickou platnost zabudována v našem myšlení, nebo nikoliv, máme velmi silné intuice o platnosti a neplatnosti nejrůznějších úsudků.
RVP ŠVP UČIVO - rozlišuje a příklady v textu dokládá nejdůležitější způsoby obohacování slovní zásoby a zásady tvoření českých slov
Dodatek č.17 PŘEDMĚT: ČESKÝ JAZYK A LITERATURA ROČNÍK: 8. ročník ČESKÝ JAZYK - rozlišuje a příklady v textu dokládá nejdůležitější způsoby obohacování slovní zásoby a zásady tvoření českých slov - rozlišuje
Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.
Výroková logika I Výroková logika se zabývá výroky. (Kdo by to byl řekl. :-)) Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku
Ú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
Matematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 20 Predikátová logika Motivace Výroková
Logika pro sémantický web
ZVYŠOVÁNÍ ODBORNÝCH KOMPETENCÍ AKADEMICKÝCH PRACOVNÍKŮ OSTRAVSKÉ UNIVERZITY V OSTRAVĚ A SLEZSKÉ UNIVERZITY V OPAVĚ Logika pro sémantický web Martin Žáček PROČ BALÍČEK? 1. balíček Formální logické systémy
Charakteristika vyučovacího předmětu 1. stupeň
5.1.2.1.1 Charakteristika vyučovacího předmětu 1. stupeň Vzdělávací oblast Jazyk a jazyková komunikace zaujímá stěžejní postavení ve výchovně vzdělávacím procesu. Dobrá úroveň jazykové kultury patří k
Reálná čísla a výrazy. Početní operace s reálnými čísly. Složitější úlohy se závorkami. Slovní úlohy. Číselné výrazy. Výrazy a mnohočleny
A B C D E F 1 Vzdělávací oblast: Matematika a její aplikace 2 Vzdělávací obor: Cvičení z matematiky 3 Ročník: 9. 4 Klíčové kompetence (Dílčí kompetence) 5 Kompetence k učení učí se vybírat a využívat vhodné
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
Klasická výroková logika - tabulková metoda
1 Klasická výroková logika - tabulková metoda Na úrovni výrokové logiky budeme interpretací rozumět každé přiřazení pravdivostních hodnot výrokovým parametrům. (V případě přiřazení pravdivostních hodnot
Rezoluce ve výrokové logice
Rezoluce ve výrokové logice Jiří Velebil: AD0B01LGR 2015 Rezoluce ve VL 1/13 Základní myšlenky 1 M = ϕ iff X = M { ϕ} nesplnitelná. 2 X nesplnitelná iff X = ff. 3 Hledání kritických důsledků X syntakticky.
Příloha č. 3 Anglický jazyk Ročník: 3. Očekávané výstupy z RVP Školní výstupy Učivo Přesahy (průřezová témata)
Příloha č. 3 Anglický jazyk Ročník: 3. Očekávané výstupy z RVP Školní výstupy Učivo Přesahy (průřezová témata) Řečové dovednosti - rozumí jednoduchým pokynům a otázkám učitele, které jsou sdělovány pomalu
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ý
Francouzský jazyk. Jazykové prostředky. Tematické okruhy. význam. Pravopis. zájmová činnost. projevu ve známých výrazech Gramatické kategorie na
Francouzský jazyk ročník TÉMA G5 Tematické okruhy zájmová činnost tradice ni službu, informaci jednoduchý argument Porozumění a poslech běžně rozumí známým výrazům a větám se vztahem k osvojovaným tématům;
2 Důkazové techniky, Indukce
Důkazové techniky, Indukce Náš hlubší úvod do matematických formalismů pro informatiku začneme základním přehledem technik matematických důkazů. Z nich pro nás asi nejdůležitější je technika důkazů matematickou
Ontologie. Otakar Trunda
Ontologie Otakar Trunda Definice Mnoho různých definic: Formální specifikace sdílené konceptualizace Hierarchicky strukturovaná množina termínů popisujících určitou věcnou oblast Strukturovaná slovní zásoba
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
1 Řešení soustav lineárních rovnic
1 Řešení soustav lineárních rovnic 1.1 Lineární rovnice Lineární rovnicí o n neznámých x 1,x 2,..., x n s reálnými koeficienty rozumíme rovnici ve tvaru a 1 x 1 + a 2 x 2 +... + a n x n = b, (1) kde koeficienty