1. Sylogistyka Arystotelesa

Wielkość: px
Rozpocząć pokaz od strony:

Download "1. Sylogistyka Arystotelesa"

Transkrypt

1 1. Sylogistyka Arystotelesa Arystoteles ze Stagiry, syn Nikomacha, lekarza z dziada pradziada, działajacego przy dworze króla Macedonii, ur. 384 p.n.e. w Stagirze, zm. 322 p.n.e. w Chalcydzie. Arystoteles studiował i uprawiał filozofię ( ) w Atenach, gdzie uczęszczał do szkoły filozoficznej Platona, swojego mistrza, zwanej Akademią, aŝ do jego zgonu. Później (335?- 323) załoŝył w Atenach własną szkołę filozoficzną zwana Liceum. Wszystko to dzieje się w niesłychanie waŝnym dla ludzkości okresie rozwoju cywilizacji obejmujący V i IV wiek p.n.e. w staroŝytnej Grecji obserwujemy juŝ całkiem nowe zjawisko narodziny nauki opartej na ścisłych dowodach. Nauki te nazywane są przez Arystotelesa wiedzą demonstratywną. Koniec V w. IV w. p.n.e., po zwycięstwie nad Persami to złoty wiek Aten. Do tego miasta-państwa, ściągaja wybitni ludzie ze wszystkich stron świata antycznego: Anaksagoras z Kladzomen, Demokryt z Andery, Hippias Elidy, Teodor z Cyreny, lekarz Hipokrates z wyspy Kos, czy Arystoteles ze Stagiry. W większości greckich miast-pańtw dochodzi do powstań, których rezultatem było zastąpienie władzy arystokratów i właścicieli niewolników przez tzw. władzę ludu demokrację, w której oczywiście utrzymało się niewolnictwo. Rozwija się językowa komunikacja międzyludzka pomiędzy ludźmi zajmującymi róŝnorakie poziomy społeczne i miejsca zamieszkania. Jak wskazują dokumenty piśmiennictwa antycznego, komunikacja ta dotyczyła przede wszystkim ustalania cech przedmiotów potrzeb ludzkich i kultury materialnej oraz duchowej. Przez cechy rozumiało się zazwyczaj to co o przedmiotach się orzeka. W gospodarce, handlu i polityce dąŝy się do coraz bardziej precyzyjnego wskazywania, Ŝe przedmioty oferowane społeczeństwu mają poŝądane cechy. W ten sposób po raz pierwszy w historii cywilizacji, w pełni kształtuje się system komunikacji językowej słuŝący grupowania przedmiotów według cech jakie przysługują tym przedmiotom, za pomocą środków językowych (nazw, określeń, zwrotów, zdań), na wszystkich poziomach organizacji społecznej. System ten obejmuje więc cały świat dostępny człowiekowi, tym samym moŝliwe staje się wyuczenie posługiwania się najbardziej uniwersalnymi schematami językowej komunikacji słuŝącymi identyfikacji przedmiotów. Ponadto dzięki stosunkom demokratycznym, po raz pierwszy stało się w pełni moŝliwe uczestniczenie filozofów w tym systemie komunikacji językowej, co prowadzi do odkrycia schematów poznawczych słuŝących ustalaniu poŝądanych cech przedmiotów ustalaniu tego co o przedmiotach się orzeka, tj. jakie cechy powinny mieć dane przedmioty lub jakie mają oraz czy istnieją przedmioty a danych cechach. Najbardziej znanym nauczycielem i mistrzem w tej dziedzinie sztuki komunikacji językowej był dla młodzieŝy i obywateli ateńskich Sokrates. Jego uczeń Platon rozpoznał główne zasady tej sztuki i przekazał je Arystotelesowi, który opisał je w swojej księdze Analityki (Pierwsze). Wypowiedzi tworzone zgodnie z tymi zasadami nazywał sylogizmami, a występujące w argumentacji sylogizmy utoŝsamiał z dowodami. Współcześnie, system dowodzenia oparty na sylogizmach nazwa się sylogistyką. 1.1 Czego dotyczyły badania Arystotelesa prezentowane w Analitykach? << Najpierw trzeba powiedzieć, czego dotyczy niniejsze badanie i do jakiej naleŝy dziedziny; a więc to, Ŝe zajmuje się dowodem i wiedzą demonstratywną. Następnie trzeba określić, czym jest przesłanka, czym termin a czym sylogizm; dalej: jaki to jest sylogizm doskonały a jaki niedoskonały; wreszcie trzeba i to powiedzieć, co znaczy zawierać się w całości tego a tego albo nie zawierać się, i jak się rozumie zwroty być orzekanym o wszystkim i być orzekanym o niczym. Przesłanka jest to więc zdanie twierdzące lub przeczące. Zdanie to moŝe być ogólne, albo szczegółowe, albo nieokreślone. Ogólnym

2 nazywam przysługiwanie kaŝdemu lub Ŝadnemu, szczegółowym przysługiwanie jakiemuś albo nie jakiemuś albo kaŝdemu. Nieokreślonym nazywam przysługiwanie lub nieprzysługiwanie bez stwierdzenia ogólności czy szczegółowości, na przykład przeciwieństwa mogą być przedmiotem jednej i tej samej nauki ; albo: Rozkosz nie jest dobrem. Przesłanka demonstratywna róŝni się od przesłanki dialektycznej tym, Ŝe demonstratywna jest przyjęciem jednego z dwóch członów pary sprzecznej (bo dowodzący nie pyta, lecz przyjmuje zdanie), natomiast przesłanka dialektyczna jest odpowiedzią na pytanie, które z dwóch zdań sprzecznych [ma być przyjęte]. Nie róŝnią się jednak tak, by nie mogły obydwa zdania utworzyć sylogizmu; zarówno bowiem dowodzący, jak i pytający wnioskują przyjmując, Ŝe coś czemuś przysługuje lub nie przysługuje. Wobec tego przesłanka sylogistyczna będzie po prostu stwierdzeniem lub zaprzeczeniem czegoś o czymś w sposób wyŝej podany. Przesłanka będzie demonstratywna, gdy jest prawdziwa i wywiedziona z pierwotnych załoŝeń; natomiast przesłanka dialektyczna będzie dla pytającego odpowiedzią na pytanie, które z dwóch sprzecznych twierdzeń naleŝy przyjąć, a dla wnioskującego będzie uznaniem tego, co się słusznym wydaje i co jest zgodne z opinią, jak to zostało wyjaśnione w Topikach. Czym więc jest przesłanka i jaka jest róŝnica między przesłanką sylogistyczną, kategoryczną i dialektyczną zostanie później dokładnie wyjaśnione, a na uŝytek bieŝący muszą wystarczyć podane tu określenia. Terminem nazywam to, na co da się rozłoŝyć przesłanka, np. orzecznik, oraz to, o czym się orzeka wraz z dodaniem słowa jest czy rozdzieleniem za pomocą nie jest. Sylogizm jest to wypowiedź, w której, gdy się coś załoŝy, coś innego, niŝ się załoŝyło, musi wynikać dlatego, Ŝe się załoŝyło. Przez Ŝe się załoŝyło rozumiem, iŝ tylko ze względu na to, Ŝe tak, jak się załoŝyło, a przez to znów rozumiem, Ŝe nie potrzeba Ŝadnego dodatkowego terminu do tego, by postała konieczność. Nazywam sylogizm doskonałym, jeŝeli nie potrzebuje niczego ponad to, co zostaje w nim przyjęte, aŝeby ujawniła się konieczność; niedoskonałym, jeŝeli potrzebuje do tego jednego lub więcej zdań, które chociaŝ są konieczne dzięki przyjętym terminom, nie są jednak przyjęte dzięki przesłankom. WraŜenia to zawiera się w całości w czymś innym i to drugie orzeka o wszystkich przypadkach pierwszego stwierdzają to samo. Mówimy, Ŝe coś się orzeka o wszystkich przypadkach, gdy nie moŝna wskazać Ŝadnego przypadku, objętego przedmiotem, o którym nie orzekałby ten drugi termin; wyraŝenie: nie być orzekanym o Ŝadnym naleŝy rozumieć w ten sam sposób. >> (Arystoteles. Dzieła wszystkie. Tom I, PWN, Warszawa 1990, s ) 1.2 Sylogistyka rekonstrukcja systemu wnioskowania stosowanego w antycznej Grecji Arystoteles po raz pierwszy uŝył liter jako terminów, słuŝących do oznaczania terminu. W ten sposób stał się wynalazcą wzorów wypowiedzi. Słowo jest, wiąŝące terminy, uŝywane było w czasach staroŝytnych w rozumieniu utoŝsamienia jednego terminu z drugim. Np. pisząc: A jest człowiek, Arystoteles stwierdza, Ŝe termin A oznaczający jakiś termin naleŝy zastąpić terminem człowiek. Niekiedy pisze dosłownie o zastąpieniu jednego terminu przez

3 drugi. Świadczy to o tym, Ŝe uŝywane przez niego litery zastępowane przez terminy, wyraŝają zarazem abstrakcyjne pojęcie terminu i są reprezentacją myślenia abstrakcyjnego, rozumianego jako myślenie o wiedzy w ogóle (abstrahowanie, odrywanie się od konkretnej wiedzy), tj. w umyśle kaŝdą literę wiąŝe on z dowolnym terminem, a nie tylko posługuje się nią w danym znaczeniu, jak innymi ogólnymi terminami, bowiem uŝywanie terminów ogólnych nie wymaga myślenia abstrakcyjnego. Zastosowanie liter do oznaczenia dowolnego terminu umoŝliwiło formułowanie 1) wzorów zdań kategorycznych, 2) wzorów wypowiedzi opisujących wnioskowanie bezpośredni, 3) wzorów sylogizmów Wzory zdań kategorycznych i stosunki prawdziwości i fałszywości zdań Arystoteles wyróŝnia cztery rodzaje zdań kategorycznych: ogólnie twierdzące, szczegółowo twierdzące, ogólnie przeczące oraz szczegółowo przeczące. Współcześnie uŝywamy następujących wzorów tych zdań: S a P wzór zdania ogólnie twierdzącego, czytamy: wszystkim S przysługuje P, co oznacza, Ŝe o wszystkich przedmiotach, o których orzekamy, Ŝe przysługuje im S orzekamy, Ŝe przysługuje im P, S i P - wzór zdania szczegółowo twierdzącego, czytamy: niektórym S przysługuje P, co oznacza, Ŝe o niektórych przedmiotach, o których orzekamy, Ŝe przysługuje im S orzekamy, Ŝe przysługuje im P, S e P - wzór zdania ogólnie przeczącego, czytamy: Ŝadnym S nie przysługuje P, co oznacza, Ŝe o Ŝadnych przedmiotach, o których orzekamy, Ŝe przysługuje im S nie orzekamy, Ŝe przysługuje im P, S i P - wzór zdania szczegółowo przeczącego, czytamy: niektórym S nie przysługuje P, co oznacza, Ŝe o niektórych przedmiotach, o których orzekamy, Ŝe przysługuje im S orzekamy, Ŝe nie przysługuje im P. WyróŜnione są czy stosunki prawdziwości i fałszywości zdań; 1. zasada toŝsamości - orzeka, Ŝe kaŝdy przedmiot jest sobą: A jest A, 2. zasada sprzeczności orzeka, Ŝe z dwóch zdań: S jest P lub S nie jest P, jedno musi być fałszywe, 3. zasada wyłączonego środka - orzeka, Ŝe z dwóch zdań: S jest P lub S nie jest P, jedno musi być prawdziwe, Wzory wypowiedzi opisujące wnioskowania bezpośrednie Wnioskowanie zawierające jedynie jedną prostą przesłankę (zdanie kategoryczne lub jego negacja) nazywane było wnioskowaniem bezpośrednim. W sylogistyce wnioskowanie bezpośrednie ustala stosunki (zaleŝności) prawdziwościowe pomiędzy róŝnych rodzajów zdaniami kategorycznymi: SaP, SiP, SeP, SoP. Stosunki te zestawione są tzw. kwadrat logiczny, przedstawiony na poniŝszym diagramie.

4 Stosunek podrzędności z prawdziwości sadu SaP wynika prawdziwość zdania SiP, a z fałszywości zdania SiP fałsz zdania SaP; natomiast ani z fałszu SaP, ani zprawdy SiP dla drugiego z tych zdań nic nie wynika; podobnie, z prawdziwości sadu SeP wynika prawdziwość zdania SoP, a z fałszywości zdania SoP fałsz zdania SeP, natomiast ani z fałszu SeP, ani z prawdy SoP dla drugiego z tych zdań nic nie wynika. Stosunek sprzeczności jeŝeli prawdziwe jest zadanie SaP, to fałszywe jest zadnie SoP; jeŝeli fałszywe jest zdanie SaP, to fałszywe jest zdanie SoP; jeŝeli prawdziwe jest zdanie SoP, to fałszywe jest zadnie SaP; jeŝeli fałszywe jest zdanie SoP, to prawdziwe jest zdanie SaP. Podbnie jest pomiędzy zdaniami SeP, SiP. Stosunek przeciwieństwa (podprzeciwieństwa) między zdaniami SaP, SeP zachodzi taki stosunek, Ŝe jeŝeli jedno jest prawdziwe, to drugie fałszywe, jeŝeli zaś jedno jest z nich jest fałszywe, to drugie moŝe być prawdziwe lub fałszywe; podobnie jest dla zdań SiP, Sop Wzory sylogizmów Arystoteles najwięcej miejsca poświęca w swoich rozwaŝaniach sylogizmom rozumianym jako wypowiedzi reprezentujące wnioskowanie pośrednie z dwóch przesłanek, będących zdaniami kategorycznymi, w których występują trzy terminy oznaczane literami M, S, P: M zwany jest terminem średnim, S oznacza zarazem podmiot we wniosku, P oznacza zarazem orzeczenie we wniosku. Przesłanka, w której występuje termin P, będący orzeczeniem we

5 wniosku nazywana jest przesłanka większą, a ta w której występuje termin S, będący podmiotem we wniosku nazywana jest mniejszą. Termin średni jest dla przesłanek wspólny i moŝe zajmować w nich róŝne miejsce. Z tego powodu schematy sylogizmów tworza cztery grupy zwane figurami: Przesłanka większa 1. M P 2. P M 3. M P 4. P - M Przesłanka mniejsza S M S M M S M S Wniosek S P S P S P S - P Figura (fig. I) (fig. II) (fig. III) (fig. IV) Myślnik pomiędzy terminami M, S, P oznacza jedną z liter a, i, e, o.

HISTORIA MATEMATYKI I INFORMATYKI. Geneza wiedzy logicznej - Nauka o logosie Sylogistyka - system myślenia w czasach staroŝytnych

HISTORIA MATEMATYKI I INFORMATYKI. Geneza wiedzy logicznej - Nauka o logosie Sylogistyka - system myślenia w czasach staroŝytnych HISTORIA MATEMATYKI I INFORMATYKI Geneza wiedzy logicznej - Nauka o logosie Sylogistyka - system myślenia w czasach staroŝytnych StaroŜytna Grecja Warunki społeczne, w których kształtowało się myślenie

Bardziej szczegółowo

Kultura logiczna Elementy sylogistyki

Kultura logiczna Elementy sylogistyki Kultura logiczna Elementy sylogistyki Bartosz Gostkowski bgostkowski@gmail.com Kraków 15 III 2010 Plan wykładu: Podział wnioskowań Sylogizmy Poprawność sylogizmów i niezawodność trybów PODZIAŁ WNIOSKOWAŃ

Bardziej szczegółowo

Wprowadzenie do logiki Zdania, cz. II Elementy sylogistyki

Wprowadzenie do logiki Zdania, cz. II Elementy sylogistyki Wprowadzenie do logiki Zdania, cz. II Elementy sylogistyki Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Co dzisiejsza historia mieć będzie wspólnego z Arystotelesem? 2 Plan gry:

Bardziej szczegółowo

Logika SYLOGISTYKA. Robert Trypuz. 27 listopada Katedra Logiki KUL. Robert Trypuz (Katedra Logiki) SYLOGISTYKA 27 listopada / 40

Logika SYLOGISTYKA. Robert Trypuz. 27 listopada Katedra Logiki KUL. Robert Trypuz (Katedra Logiki) SYLOGISTYKA 27 listopada / 40 Logika SYLOGISTYKA Robert Trypuz Katedra Logiki KUL 27 listopada 2013 Robert Trypuz (Katedra Logiki) SYLOGISTYKA 27 listopada 2013 1 / 40 Plan wykładu 1 Wprowadzenie Arystoteles w sztuce Arystotelesa życiorys

Bardziej szczegółowo

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

Filozofia, Historia, Wykład V - Filozofia Arystotelesa Filozofia, Historia, Wykład V - Filozofia Arystotelesa 2010-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Podział nauk Arystoteles podzielił wszystkie dyscypliny wiedzy na trzy grupy:

Bardziej szczegółowo

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

Filozofia przyrody, Wykład V - Filozofia Arystotelesa Filozofia przyrody, Wykład V - Filozofia Arystotelesa 2011-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Różnice w metodzie uprawiania nauki Krytyka platońskiej teorii idei Podział

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 8. klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw WYKŁAD 8 klasyczny rachunek kwantyfikatorów klasyczny rachunek nazw 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro,

Bardziej szczegółowo

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu ➏ Filozoa z elementami logiki Na podstawie wykªadów dra Mariusza Urba«skiego Sylogistyka Przypomnij sobie: stosunki mi dzy zakresami nazw KLASYCZNE ZDANIA KATEGORYCZNE Trzy znaczenia sªowa jest trzy rodzaje

Bardziej szczegółowo

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.

Bardziej szczegółowo

Nazwy. Jak widać, nazwa to nie to samo co rzeczownik. W podanych przykładach na nazwę złoŝoną składa się cały zespół

Nazwy. Jak widać, nazwa to nie to samo co rzeczownik. W podanych przykładach na nazwę złoŝoną składa się cały zespół Nazwa spełnia istotną rolę w języku, gdyŝ umoŝliwia proces identyfikowania róŝnych obiektów i z tego powodu nazwa jest podstawowym składnikiem wypowiedzi. Nazwa jest to wyraz albo wyraŝenie rozumiane jednoznacznie,

Bardziej szczegółowo

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a

Rachunek zdań. Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a Zdanie w sensie logicznym jest to wyraŝenie jednoznacznie stwierdzające, na gruncie reguł danego języka, iŝ tak a tak jest alboŝe tak a tak nie jest. Wartość logiczna zdania jest czymś obiektywnym, to

Bardziej szczegółowo

Instrukcja warunkowa i złoŝona.

Instrukcja warunkowa i złoŝona. Instrukcja warunkowa i złoŝona. Budowa pętli warunkowej. JeŜeli mielibyśmy przetłumaczyć instrukcję warunkową to brzmiałoby to mniej więcej tak: jeŝeli warunek jest spełniony, to wykonaj jakąś operację

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

LOGIKA I TEORIA ZBIORÓW LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja

Bardziej szczegółowo

1.UKŁADY RÓWNAŃ LINIOWYCH

1.UKŁADY RÓWNAŃ LINIOWYCH UKŁADY RÓWNAŃ 1.UKŁADY RÓWNAŃ LINIOWYCH Układ: a1x + b1y = c1 a x + by = c nazywamy układem równań liniowych. Rozwiązaniem układu jest kaŝda para liczb spełniająca kaŝde z równań. Przy rozwiązywaniu układów

Bardziej szczegółowo

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań. Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek

Bardziej szczegółowo

Matematyka ETId Elementy logiki

Matematyka ETId Elementy logiki Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,

Bardziej szczegółowo

Rachunek zdań i predykatów

Rachunek zdań i predykatów Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)

Bardziej szczegółowo

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze

Bardziej szczegółowo

GIMNAZJUM NR 60 IM. CYRYLA RATAJSKIEGO W POZNANIU

GIMNAZJUM NR 60 IM. CYRYLA RATAJSKIEGO W POZNANIU Wymagania edukacyjne z podstawy programowej Klasa pierwsza I półrocze Podstawa programowa Cele kształcenia Wymagania ogólne Treści nauczania -wymagania szczegółowe 1. Chronologia historyczna. Uczeń sytuuje

Bardziej szczegółowo

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi: 1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość

Bardziej szczegółowo

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych

Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych

Bardziej szczegółowo

Sylabus dla przedmiotu Logika i ogólna metodologia nauk

Sylabus dla przedmiotu Logika i ogólna metodologia nauk Sylabus dla przedmiotu Logika i ogólna metodologia nauk 1. Definicja pojęcia logika Wprowadzenie w tematykę przedmiotu (szkic czym jest logika, jak należy ją rozumieć, przedmiot logiki, podział logika

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 7. zdanie wynikanie wynikanie logiczne WYKŁAD 7 zdanie wynikanie wynikanie logiczne 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok. 13 tel. 635-61-34

Bardziej szczegółowo

Filozofia przyrody - Filozofia Eleatów i Demokryta

Filozofia przyrody - Filozofia Eleatów i Demokryta 5 lutego 2012 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 4 Materializm Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 14. przykłady odpowiedzi na moŝliwe pytania egzaminacyjne

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 14. przykłady odpowiedzi na moŝliwe pytania egzaminacyjne WYKŁAD 14 przykłady odpowiedzi na moŝliwe pytania egzaminacyjne 1 Uwaga: na egzaminie mogą pojawić się pytania nie uwzględnione w przedstawionych niŝej przykładach. 2 ZADANIE 1 1. Podaj definicję wyraŝeń:

Bardziej szczegółowo

Rodzaje argumentów za istnieniem Boga

Rodzaje argumentów za istnieniem Boga Rodzaje argumentów za istnieniem Boga Podział argumentów argument ontologiczny - w tym argumencie twierdzi się, że z samego pojęcia bytu doskonałego możemy wywnioskować to, że Bóg musi istnieć. argumenty

Bardziej szczegółowo

Lista 1 (elementy logiki)

Lista 1 (elementy logiki) Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły

Bardziej szczegółowo

SCENARIUSZ LEKCJI DO DZIAŁU:

SCENARIUSZ LEKCJI DO DZIAŁU: Autorka: Małgorzata Kacprzykowska SCENARIUSZ LEKCJI DO DZIAŁU: Wprowadzenie do filozofii Temat (4): Dlaczego zadajemy pytania? Cele lekcji: poznanie istoty pytań filozoficznych, stawianie pytań filozoficznych,

Bardziej szczegółowo

Nr sprawy: BDG-II-281-17-PC/09 Warszawa dn. 29 października 2009 r.

Nr sprawy: BDG-II-281-17-PC/09 Warszawa dn. 29 października 2009 r. Nr sprawy: BDG-II-281-17-PC/09 Warszawa dn. 29 października 2009 r. Treść zapytań wraz z wyjaśnieniami do SIWZ W związku ze złoŝeniem pytań dotyczących treści specyfikacji istotnych warunków zamówienia,

Bardziej szczegółowo

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia

Bardziej szczegółowo

Dlaczego matematyka jest wszędzie?

Dlaczego matematyka jest wszędzie? Festiwal Nauki. Wydział MiNI PW. 27 września 2014 Dlaczego matematyka jest wszędzie? Dlaczego świat jest matematyczny? Autor: Paweł Stacewicz (PW) Czy matematyka jest WSZĘDZIE? w życiu praktycznym nie

Bardziej szczegółowo

INFORMATYKA a FILOZOFIA

INFORMATYKA a FILOZOFIA INFORMATYKA a FILOZOFIA (Pytania i odpowiedzi) Pytanie 1: Czy potrafisz wymienić pięciu filozofów, którzy zajmowali się także matematyką, logiką lub informatyką? Ewentualnie na odwrót: Matematyków, logików

Bardziej szczegółowo

Filozofia, ISE, Wykład V - Filozofia Eleatów.

Filozofia, ISE, Wykład V - Filozofia Eleatów. 2011-10-01 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii

Bardziej szczegółowo

Badania w naukach społecznych

Badania w naukach społecznych Badania w naukach społecznych Twierdzenia nauk społecznych Pojęcia języka nauk społecznych słuŝą do formułowania twierdzeń Twierdzenie zdanie orzekające coś o przedmiocie, którego dotyczy Jednostkowe Analityczne

Bardziej szczegółowo

HISTORIA KLASA I GIMNAZJUM SZKOŁY BENEDYKTA

HISTORIA KLASA I GIMNAZJUM SZKOŁY BENEDYKTA 2016-09-01 HISTORIA KLASA I GIMNAZJUM SZKOŁY BENEDYKTA Cele kształcenia wymagania ogólne I. Chronologia historyczna. Uczeń sytuuje wydarzenia, zjawiska i procesy historyczne w czasie oraz porządkuje je

Bardziej szczegółowo

Systemy rozgrywek sportowych OGÓLNE ZASADY ORGANIZOWANIA ROZGRYWEK SPORTOWYCH

Systemy rozgrywek sportowych OGÓLNE ZASADY ORGANIZOWANIA ROZGRYWEK SPORTOWYCH Systemy rozgrywek sportowych OGÓLNE ZASADY ORGANIZOWANIA ROZGRYWEK SPORTOWYCH Rozgrywki sportowe moŝna organizować na kilka róŝnych sposobów, w zaleŝności od liczby zgłoszonych druŝyn, czasu, liczby boisk

Bardziej szczegółowo

EGZAMIN MATURALNY 2013 FILOZOFIA

EGZAMIN MATURALNY 2013 FILOZOFIA Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM ROZSZERZONY Kryteria oceniania odpowiedzi MAJ 2013 2 Zadanie 1. (0 4) Obszar standardów Opis wymagań Znajomość i rozumienie

Bardziej szczegółowo

Filozofia, Historia, Wykład IV - Platońska teoria idei

Filozofia, Historia, Wykład IV - Platońska teoria idei Filozofia, Historia, Wykład IV - Platońska teoria idei 2010-10-01 Tematyka wykładu 1 Metafora jaskini 2 Świat materialny - świat pozoru Świat idei - świat prawdziwy Relacja między światem idei i światem

Bardziej szczegółowo

Filozofia, ISE, Wykład X - Filozofia średniowieczna.

Filozofia, ISE, Wykład X - Filozofia średniowieczna. Filozofia, ISE, Wykład X - Filozofia średniowieczna. 2011-10-01 Plan wykładu 1 Filozofia średniowieczna a starożytna 2 3 Ogólna charakterystyka filozofii średniowiecznej Ogólna charakterystyka filozofii

Bardziej szczegółowo

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do

Bardziej szczegółowo

UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA

UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA ARGUMENTY PRZECIW ISTNIENIU BOGA ARGUMENTY ATEISTYCZNE 1 1. Argument z istnienia zła. (Argument ten jest jedynym, który ateiści przedstawiają jako

Bardziej szczegółowo

Paradoksy log o i g czne czn i inne 4 marca 2010

Paradoksy log o i g czne czn i inne 4 marca 2010 Paradoksy logiczne i inne 4 marca 2010 Paradoks Twierdzenie niezgodne z powszechnie przyjętym mniemaniem, rozumowanie, którego elementy są pozornie oczywiste, ale wskutek zawartego w nim błędu logicznego

Bardziej szczegółowo

Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20

Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20 Przedmowa Wykaz skrótów XIII XV Część A. Wprowadzenie Rozdział I. Rys historyczny 1 1. Początki logiki jako nauki 1 2. Średniowiecze 2 3. Czasy nowożytne i współczesne 4 Rozdział II. Podstawowe prawa myślenia

Bardziej szczegółowo

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest

Bardziej szczegółowo

Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych

Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych Typowe błędy w analizie rynku nieruchomości przy uŝyciu metod statystycznych Sebastian Kokot XXI Krajowa Konferencja Rzeczoznawców Majątkowych, Międzyzdroje 2012 Rzetelnie wykonana analiza rynku nieruchomości

Bardziej szczegółowo

MISTRZ I UCZEŃ * 1. Trzeba odróżnić dwa konteksty, w których mówi się o mistrzu. Pierwszy to kontekst, w którym chodzi o to, że ktoś jest mistrzem

MISTRZ I UCZEŃ * 1. Trzeba odróżnić dwa konteksty, w których mówi się o mistrzu. Pierwszy to kontekst, w którym chodzi o to, że ktoś jest mistrzem JACEK JADACKI Uniwersytet Warszawski MISTRZ I UCZEŃ * 1. Trzeba odróżnić dwa konteksty, w których mówi się o mistrzu. Pierwszy to kontekst, w którym chodzi o to, że ktoś jest mistrzem W PEWNEJ DZIEDZINIE.

Bardziej szczegółowo

STATYSTYKA MATEMATYCZNA. rachunek prawdopodobieństwa

STATYSTYKA MATEMATYCZNA. rachunek prawdopodobieństwa STATYSTYKA MATEMATYCZNA rachunek prawdopodobieństwa treść Zdarzenia losowe pojęcie prawdopodobieństwa prawo wielkich liczb zmienne losowe rozkłady teoretyczne zmiennych losowych Zanim zajmiemy się wnioskowaniem

Bardziej szczegółowo

Klasyczne zdania kategoryczne

Klasyczne zdania kategoryczne Klasyczne zdania kategoryczne Elementy logiki i metodologii nauk spotkanie III Bartosz Gostkowski Poznań, 20 X 09 Plan wykładu: Podział zdań z uwagi na funkcję logiczną operatora jest Zdania kategoryczne

Bardziej szczegółowo

Potencjał społeczności lokalnej-podstawowe informacje

Potencjał społeczności lokalnej-podstawowe informacje Projekt Podlaska Sieć Partnerstw na rzecz Ekonomii Społecznej nr POKL.07.02.02-20-016/09 Potencjał społeczności lokalnej-podstawowe informacje Praca powstała na bazie informacji pochodzących z publikacji

Bardziej szczegółowo

Czym jest nauka? Tomasz Poskrobko. Metodyka pracy naukowej

Czym jest nauka? Tomasz Poskrobko. Metodyka pracy naukowej Czym jest nauka? Tomasz Poskrobko Metodyka pracy naukowej Nauka Kultura Poznanie naukowe Czynności wykonywane przez naukowców Zbiór czynności które należy przyswoić Nauka Kultura Poznanie naukowe Czynności

Bardziej szczegółowo

Test z zakresu rozwoju świata greckiego do czasów Aleksandra Macedońskiego

Test z zakresu rozwoju świata greckiego do czasów Aleksandra Macedońskiego Test z zakresu rozwoju świata greckiego do czasów Aleksandra Macedońskiego 1. Na załączonej mapie zakreśl obszar Hellady i Wielkiej Hellady z właściwą legendą. 2. Analizując mapę przedstawiającą obszar

Bardziej szczegółowo

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność

Bardziej szczegółowo

Runda 5: zmiana planszy: < < i 6 rzutów.

Runda 5: zmiana planszy: < < i 6 rzutów. 1. Gry dotyczące systemu dziesiętnego Pomoce: kostka dziesięciościenna i/albo karty z cyframi. KaŜdy rywalizuje z kaŝdym. KaŜdy gracz rysuje planszę: Prowadzący rzuca dziesięciościenną kostką albo losuje

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań II

Wstęp do logiki. Klasyczny Rachunek Zdań II Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem

Bardziej szczegółowo

Rysunki złoŝeniowe Rysunek części Rysunek złoŝeniowy Rysunek przedstawiający wzajemne usytuowanie i/lub kształt zespołu na wyŝszym poziomie strukturalnym zestawianych części (PN-ISO 10209-1:1994) Rysunek

Bardziej szczegółowo

Scenariusz lekcji matematyki w kl. V.

Scenariusz lekcji matematyki w kl. V. Scenariusz lekcji matematyki w kl. V. T em a t : Powtórzenie wiadomości o czworokątach. C z a s z a jęć: 1 jednostka lekcyjna (45 minut). C e l e o g ó l n e : utrwalenie wiadomości o figurach geometrycznych

Bardziej szczegółowo

Opracowano na podstawie: Rysunki złoŝeniowe. Rysunek części

Opracowano na podstawie: Rysunki złoŝeniowe. Rysunek części Rysunki złoŝeniowe Opracowano na podstawie: T. Dobrzański Rysunek techniczny K. Paprocki Zasady Zapisu Konstrukcji Polskie Normy Dr inŝ. Ksawery Szykiedans Zakład Konstrukcji Urządzeń Precyzyjnych Rysunek

Bardziej szczegółowo

Podstawy logiki praktycznej

Podstawy logiki praktycznej Podstawy logiki praktycznej Wykład 2: Język i części języka Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Semiotyka Nauka o znakach język jako system

Bardziej szczegółowo

Elementy filozofii i metodologii INFORMATYKI

Elementy filozofii i metodologii INFORMATYKI Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Wykład 1. Wprowadzenie. Filozofia, metodologia, informatyka Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się

Bardziej szczegółowo

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości

Bardziej szczegółowo

technologii informacyjnych kształtowanie , procesów informacyjnych kreowanie metod dostosowania odpowiednich do tego celu środków technicznych.

technologii informacyjnych kształtowanie , procesów informacyjnych kreowanie metod dostosowania odpowiednich do tego celu środków technicznych. Informatyka Coraz częściej informatykę utoŝsamia się z pojęciem technologii informacyjnych. Za naukową podstawę informatyki uwaŝa się teorię informacji i jej związki z naukami technicznymi, np. elektroniką,

Bardziej szczegółowo

KaŜdemu atrybutowi A przyporządkowana jest dziedzina Dom(A), czyli zbiór dopuszczalnych wartości.

KaŜdemu atrybutowi A przyporządkowana jest dziedzina Dom(A), czyli zbiór dopuszczalnych wartości. elacja chemat relacji chemat relacji jest to zbiór = {A 1,..., A n }, gdzie A 1,..., A n są artybutami (nazwami kolumn) np. Loty = {Numer, kąd, Dokąd, Odlot, Przylot} KaŜdemu atrybutowi A przyporządkowana

Bardziej szczegółowo

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych

Bardziej szczegółowo

O zasadach natury I. Zwróć uwagę na to, Ŝe coś moŝe być, choć nie jest, coś zaś jest. To, co moŝe być, określa się jako bytowanie w moŝności. Z kolei

O zasadach natury I. Zwróć uwagę na to, Ŝe coś moŝe być, choć nie jest, coś zaś jest. To, co moŝe być, określa się jako bytowanie w moŝności. Z kolei O zasadach natury I. Zwróć uwagę na to, Ŝe coś moŝe być, choć nie jest, coś zaś jest. To, co moŝe być, określa się jako bytowanie w moŝności. Z kolei to, co juŝ jest, określa się jako bytowanie w akcie.

Bardziej szczegółowo

Logika pragmatyczna dla inżynierów

Logika pragmatyczna dla inżynierów Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny

Bardziej szczegółowo

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0 ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru

Bardziej szczegółowo

Przedmiotowy system oceniania z języka angielskiego w Szkole Podstawowej nr 18 im. Jana Matejki w Koszalinie ( klasy IV-VI)

Przedmiotowy system oceniania z języka angielskiego w Szkole Podstawowej nr 18 im. Jana Matejki w Koszalinie ( klasy IV-VI) Przedmiotowy system oceniania z języka angielskiego w Szkole Podstawowej nr 18 im. Jana Matejki w Koszalinie ( klasy IV-VI) 1. Cele oceniania Systematyczna obserwacja postępów ucznia Uświadomienie uczniowi

Bardziej szczegółowo

EGZAMIN MATURALNY 2010 FILOZOFIA

EGZAMIN MATURALNY 2010 FILOZOFIA Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2010 FILOZOFIA POZIOM ROZSZERZONY Klucz punktowania odpowiedzi MAJ 2010 2 Zadanie 1. (0 2) problemów i tez z zakresu ontologii, epistemologii,

Bardziej szczegółowo

Jednostki informacji. Bajt moŝna podzielić na dwie połówki 4-bitowe nazywane tetradami (ang. nibbles).

Jednostki informacji. Bajt moŝna podzielić na dwie połówki 4-bitowe nazywane tetradami (ang. nibbles). Wykład 1 1-1 Informatyka nauka zajmująca się zbieraniem, przechowywaniem i przetwarzaniem informacji. Informacja obiekt abstrakcyjny, który w postaci zakodowanej moŝe być przechowywany, przesyłany, przetwarzany

Bardziej szczegółowo

Dowody założeniowe w KRZ

Dowody założeniowe w KRZ Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody

Bardziej szczegółowo

OPIS, WYJAŚNIANIE, INTERPRETACJA 1. Cele nauki i czynności badawcze

OPIS, WYJAŚNIANIE, INTERPRETACJA 1. Cele nauki i czynności badawcze OPIS, WYJAŚNIANIE, INTERPRETACJA 1 Cele nauki i czynności badawcze Arystoteles do najbardziej ogólnych celów nauki zaliczał opis i wyjaśnianie (tłumaczenie), w humanistyce dodatkowo moŝna wyróŝnić interpretację

Bardziej szczegółowo

3. Spór o uniwersalia. Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016

3. Spór o uniwersalia. Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 3. Spór o uniwersalia Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Nieco semiotyki nazwa napis lub dźwięk pojęcie znaczenie nazwy desygnat nazwy każdy

Bardziej szczegółowo

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

JÓZEF W. BREMER WPROWADZENIE DO LOGIKI JÓZEF W. BREMER WPROWADZENIE DO LOGIKI Wydawnictwo WAM Kraków 2006 Spis tre ci Przedmowa Jana Wole skiego 9 Wst p 11 1 Logika i jej rozumienie 17 1.1 Teksty wprowadzaj ce...................... 17 1.1.1

Bardziej szczegółowo

Wymagania edukacyjne niezbędne do otrzymania przez ucznia śródrocznych i rocznych ocen klasyfikacyjnych. z przedmiotu etyka

Wymagania edukacyjne niezbędne do otrzymania przez ucznia śródrocznych i rocznych ocen klasyfikacyjnych. z przedmiotu etyka Wymagania edukacyjne niezbędne do otrzymania przez ucznia śródrocznych i rocznych ocen klasyfikacyjnych z przedmiotu etyka Klasa 5, rok szkolny 2017/2018 dr Grzegorz Rostkowski Odniesienia do podstawy

Bardziej szczegółowo

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit

Bardziej szczegółowo

PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ. Opis działania raportów w ClearQuest

PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ. Opis działania raportów w ClearQuest PROJEKT CZĘŚCIOWO FINANSOWANY PRZEZ UNIĘ EUROPEJSKĄ Opis działania raportów w ClearQuest Historia zmian Data Wersja Opis Autor 2008.08.26 1.0 Utworzenie dokumentu. Wersja bazowa dokumentu. 2009.12.11 1.1

Bardziej szczegółowo

Ontologie, czyli o inteligentnych danych

Ontologie, czyli o inteligentnych danych 1 Ontologie, czyli o inteligentnych danych Bożena Deka Andrzej Tolarczyk PLAN 2 1. Korzenie filozoficzne 2. Ontologia w informatyce Ontologie a bazy danych Sieć Semantyczna Inteligentne dane 3. Zastosowania

Bardziej szczegółowo

SPIS TREŚCI. Część pierwsza KRYTYKA ESTETYCZNEJ WŁADZY SĄDZENIA

SPIS TREŚCI. Część pierwsza KRYTYKA ESTETYCZNEJ WŁADZY SĄDZENIA SPIS TREŚCI Przedmowa tłumacza................. XI KRYTYKA WŁADZY SĄDZENIA Przedmowa do pierwszego wydania............ 3 Wstęp...................... 11 I. O podziale filozofii............... 11 II. O suwerennej

Bardziej szczegółowo

PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO dla klas 1-3 Gimnazjum

PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO dla klas 1-3 Gimnazjum PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO dla klas 1-3 Gimnazjum Obszary aktywności podlegające ocenianiu 1. WYPOWIEDZI USTNE (przynajmniej 1 ocena w semestrze) - dialogi lub monologi na dany

Bardziej szczegółowo

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 4. Semantyka Klasycznego Rachunku Zdań 1 Skróty: Język Klasycznego Rachunku Zdań zamiast Klasyczny Rachunek Zdań piszę

Bardziej szczegółowo

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania

Bardziej szczegółowo

PRÓBNY SPRAWDZIAN 2008

PRÓBNY SPRAWDZIAN 2008 PRÓBNY SPRAWDZIAN 2008 SZKOŁA PODSTAWOWA NR 7 W CZELADZI ANALIZA WYNIKÓW SPIS TREŚCI I. Informacje o wynikach próbnego sprawdzianu w Szkole Podstawowej nr 7 w Czeladzi 1. Informacje wstępne... 3 2. Standardowy

Bardziej szczegółowo

14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII

14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII 14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII Cele Pojęcie wynikania logicznego i równoważności logicznej w systemie SD. Umiejętność wykazywania zachodzenia relacji

Bardziej szczegółowo

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH 5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.

Bardziej szczegółowo

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 9. klasyczny rachunek nazw relacje

Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 9. klasyczny rachunek nazw relacje WYKŁAD 9 klasyczny rachunek nazw relacje 1 lukowski@filozof.uni.lodz.pl Katedra Logiki i Metodologii Nauk Instytut Filozofii Uniwersytet Łódzki ul. Kopcińskiego 16/18, I piętro, pok.13 tel. 635-61-34 dyŝur:

Bardziej szczegółowo

Rekurencje. Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie:

Rekurencje. Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie: Rekurencje Jeśli algorytm zawiera wywołanie samego siebie, jego czas działania moŝe być określony rekurencją. Przykład: sortowanie przez scalanie: T(n) = Θ(1) (dla n = 1) T(n) = 2 T(n/2) + Θ(n) (dla n

Bardziej szczegółowo

Klasyczny rachunek zdań 1/2

Klasyczny rachunek zdań 1/2 Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe

Bardziej szczegółowo

Problem wolnej woli z perspektywy nauk biologicznych

Problem wolnej woli z perspektywy nauk biologicznych Problem wolnej woli z perspektywy nauk biologicznych Konspekt 1. Wprowadzenie 1a) Co to jest wolna wola?: Teza 1: Wolna wola jest to zdolność podmiotu do samodzielnego wyboru oraz realizacji załoŝonych

Bardziej szczegółowo

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi argumentacyjne

Bardziej szczegółowo

1. D 2. B 3. D 4. B 5. C 6. C 7. C 8. D 9. D 10. C 11. A 12. B 13. D 14. A 15. B 16. C 17. D 18. D 19. A 20. B

1. D 2. B 3. D 4. B 5. C 6. C 7. C 8. D 9. D 10. C 11. A 12. B 13. D 14. A 15. B 16. C 17. D 18. D 19. A 20. B KLUCZ ODPOWEDZ DO ZADAŃ ZAMKNĘTYCH ZAMESZCZONYCH W MATERAŁACH ĆWCZENOWYCH W teatrze Numer zadania Odpowiedź. D. B 3. D 4. B 5. C 6. C 7. C 8. D 9. D 0. C. A. B 3. D 4. A 5. B 6. C 7. D 8. D 9. A 0. B Numer

Bardziej szczegółowo

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i

Bardziej szczegółowo

Po uruchomieniu programu nasza litera zostanie wyświetlona na ekranie

Po uruchomieniu programu nasza litera zostanie wyświetlona na ekranie Część X C++ Typ znakowy służy do reprezentacji pojedynczych znaków ASCII, czyli liter, cyfr, znaków przestankowych i innych specjalnych znaków widocznych na naszej klawiaturze (oraz wielu innych, których

Bardziej szczegółowo

Michał Lipnicki (UAM) Logika 11 stycznia / 20

Michał Lipnicki (UAM) Logika 11 stycznia / 20 Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 11 stycznia 2013 Michał Lipnicki (UAM) Logika 11 stycznia 2013 1 / 20 KRP wstęp Wstęp Rozważmy wnioskowanie: Każdy człowiek jest śmiertelny. Sokrates

Bardziej szczegółowo

Część A. Logika w zadaniach

Część A. Logika w zadaniach Część A. Logika w zadaniach Rozdział I. Nazwy Rozdział I. I. Nazwy Nazwa to wyraz bądź wyrażenie nadające się na podmiot bądź orzecznik orzeczenia imiennego w zdaniu. Desygnat nazwy to każdy przedmiot,

Bardziej szczegółowo

ćwiczenia 15 zaliczenie z oceną

ćwiczenia 15 zaliczenie z oceną Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb

Bardziej szczegółowo

LUBELSKA PRÓBA PRZED MATURĄ

LUBELSKA PRÓBA PRZED MATURĄ Klasa POZIOM PODSTAWOWY Czas pracy 170 minut Instrukcja dla piszącego 1. Sprawdź, czy arkusz zawiera 18 stron.. W zadaniach od 1. do 0. są podane 4 odpowiedzi: A, B, C, D, z których tylko jedna jest prawdziwa.

Bardziej szczegółowo

RACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią.

RACHUNEK ZDAŃ 5. Układ przesłanek jest sprzeczny, gdy ich koniunkcja jest kontrtautologią. Błędy popełniane przy wnioskowaniach: 1) Błąd formalny popełniamy twierdząc, że dane wnioskowanie jest dedukcyjne w sytuacji, gdy schemat tego wnioskowania jest zawodny, tj. gdy wniosek nie wynika logicznie

Bardziej szczegółowo

Kultura logiczna Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2 Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe

Bardziej szczegółowo

EGZAMIN W KLASIE TRZECIEJ GIMNAZUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. HISTORIA I WIEDZA O SPOŁECZEŃSTWIE ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-H7

EGZAMIN W KLASIE TRZECIEJ GIMNAZUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. HISTORIA I WIEDZA O SPOŁECZEŃSTWIE ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-H7 EGZAMIN W KLASIE TRZECIEJ GIMNAZUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. HISTORIA I WIEDZA O SPOŁECZEŃSTWIE ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-H7 KWIECIEŃ 2017 Zadanie 1. (0 1) 2. Cywilizacje Bliskiego

Bardziej szczegółowo

Logika intuicjonistyczna

Logika intuicjonistyczna Logika intuicjonistyczna Logika klasyczna oparta jest na pojęciu wartości logicznej zdania. Poprawnie zbudowane i jednoznaczne stwierdzenie jest w tej logice klasyfikowane jako prawdziwe lub fałszywe.

Bardziej szczegółowo