Logiczne podstawy prawoznawstwa
|
|
- Laura Wróbel
- 7 lat temu
- Przeglądów:
Transkrypt
1 Logiczne podstawy prawoznawstwa Piotr Łukowski Katedra Logiki i Metodologii Nauk Uniwersytet Łódzki 1
2 Literatura [1] Kazimierz Ajdukiewicz, Logika pragmatyczna, PWN, Warszawa [2] Zygmunt Ziembiński, Logika praktyczna, PWN, Warszawa, [1959-] [3] Logika dla prawników. Słownik terminologiczny, red. Andrzej Malinowski, Wydawnictwo Prawnicze LexisNexis, Warszawa
3 WYKŁAD 1 działy logiki, znaczenie, język, zdanie, sąd, wartość logiczna 3
4 Działy logiki Logika Semiotyka Logika formalna Ogólna metodologia nauk Semantyka Syntaktyka Pragmatyka Teoria manipulacji Psychologia społeczna 4
5 Znaczenie wyraŝeń (Ajdukiewicz) Kiedy powiemy, Ŝe dwie wypowiadające się osoby biorą dane wyraŝenie Z w tym samym znaczeniu? 5
6 Odpowiedź negatywna pierwsza: Nie biorą, gdy to samo wyraŝenie Z odnoszą do róŝnych stanów rzeczy lub do róŝnych obiektów, czyli gdy nie myślą o tym samym np. problem wieloznaczności: Czy słowo pióro oznacza przyrząd do pisania, czy część upierzenia ptaków? problem nieostrości: Czy stara nauczycielka ma 30, czy 70 lat? problem okazjonalności: Która ściana jest za moimi plecami? 6
7 Odpowiedź negatywna druga: Nie biorą, gdy to samo wyraŝenie Z odnoszą co prawda do tego samego, lecz pod róŝnymi względami, czyli gdy stosują inną metodę rozstrzygającą czy uŝycie wyraŝenia Z jest poprawne. 1. słowo heksagon rozumiane jako oznaczające wielobok o sumie kątów 720 lub oznaczające wielobok o dziewięciu przekątnych 2. słowo ojciec rozumiane w sensie biologicznym lub prawnym 7
8 Odpowiedź negatywna trzecia: Nie biorą, gdy funkcja uŝycia wyraŝenia Z jest róŝna. Wypowiedź złoŝona z następujących słów w podanej kolejności: Stach pójdzie do szkoły Czy chodzi tu o funkcję sprawozdawczą, pytającą, Ŝyczeniową (optatywną), humorystyczną, czy rozkazującą? Pomocą moŝe tu być brzmienie wypowiedzi. Jednak nie zawsze (np. powaŝne opowiadanie dowcipu). 8
9 Odpowiedź negatywna czwarta: Nie biorą, gdy róŝne jest zabarwienie emocjonalne towarzyszące uŝyciu wyraŝenia Z Jakie jest uŝycie słowa filozof ( polityk, literat, prawnik, nauczyciel ), neutralne, pozytywne, czy negatywne? Pomocą moŝe tu być brzmienie wypowiedzi. Jednak nie zawsze... (oczywiście). 9
10 Podsumowanie: ToŜsamość znaczenia wyraŝenia Z zaleŝy więc od jednoczesnego zajścia wszystkich następujących warunków: - toŝsamości tego do czego Z się odnosi (obiektu, stanu rzeczy) - toŝsamości metody rozstrzygania o poprawności uŝycia Z - toŝsamości funkcji uŝycia Z - zgodności zabarwienia emocjonalnego towarzyszącego uŝyciu Z 10
11 Jednak toŝsamość znaczenia uŝytego przez dwie osoby tego samego wyraŝenia Z, nie dowodzi tego, Ŝe obie osoby myślą to samo na temat Z lub na temat dotyczący wypowiedzi o Z! Paradoks: ([1], str. 26) Słowa słuŝą ludziom do ukrywania ich myśli, uczuć, dąŝeń. Wniosek Ajdukiewicza: ([1], str. 26) Aby odgadnąć czyjeś myśli naleŝy bacznie obserwować czyny tego kogoś a nie ograniczać się do słuchania jego wypowiedzi. Ha, ha, ha... wyborco mądry po szkodzie! 11
12 Stąd zwrot Ajdukiewicza w [1]: wyraŝenie przy pewnym swym znaczeniu 12
13 Język Językiem nazywamy zbiór wyraŝeń wraz z dwoma rodzajami reguł: znaczeniowych i składniowych. Problem: Jak się uczymy obcego języka? Banalna odpowiedź: Poznając jego słownik wraz z regułami znaczeniowymi i składniowymi. 13
14 Język naturalny Język sztuczny Problem: Czym się róŝnią? Czy spontanicznością powstawania, rozwojem trwającym w czasie, otwartością, ścisłością reguł znaczeniowych i składniowych? 14
15 Poziomy języka Jeśli język L 1 słuŝy do opisu wyraŝeń języka L 2, to powiemy, Ŝe L 1 jest metajęzykiem języka L 2. Języki mogą stanowić hierarchię, w której jeden język jest metajęzykiem innego języka. Językiem pierwszego stopnia (przedmiotowym) jest język, w którym wypowiadamy się o rzeczywistości nas otaczającej (pozajęzykowej). Językiem drugiego stopnia jest język, w którym wypowiadamy się o wypowiedziach formułowanych w języku pierwszego stopnia. Językiem (n+1) stopnia jest język, w którym wypowiadamy się o wypowiedziach formułowanych w języku n stopnia. 15
16 Język naturalny (np. polski) zawiera w sobie taką hierarchię (jest taką hierarchią), gdyŝ naleŝy do niego kaŝde wyraŝenie sformułowane przy pomocy słów języka naturalnego przy zachowaniu jego reguł składniowych, bez względu na stopień języka do którego naleŝy. Przykład stopień języka język przedmiotowy język 2-go stopnia język 3-go stopnia język 4-go stopnia...itd. Jan jest ospały. zdanie w języku danego stopnia Jan jest ospały jest krótkim zdaniem. Jan jest ospały jest krótkim zdaniem jest zdaniem oznajmującym. Jan jest ospały jest krótkim zdaniem jest zdaniem oznajmującym jest zdaniem języka polskiego. 16
17 Problem: Jak się uczymy pierwszego w naszym Ŝyciu języka? Brak banalnej odpowiedzi Pytanie pomocnicze: Ostensja (wskazywanie), czy definiowanie? 17
18 Zdanie, wartość logiczna, sąd Zdanie w sensie gramatycznym, to wyraŝenie o odpowiedniej strukturze. Zdanie w sensie logicznym, to wyraŝenie posiadające wartość logiczną (np. prawdy lub fałszu) Uwaga: Zdaniem w sensie logicznym najczęściej jest zdanie oznajmujące, ale moŝe być nim takŝe czasownik, rzeczownik (np. poŝar), zdanie pytajne (w znaczeniu retorycznym). 18
19 Przykłady wartości logicznych stosowanych w logikach formalnych: 1, P, T - prawda, truth (wszystkie logiki formalne, w tym klasyczna) 0, F - fałsz, falsehood (wszystkie logiki formalne, w tym klasyczna) ½ - dziś nieznana wartość logiczna, która w przyszłości zastąpiona zostanie przez prawdę lub fałsz - wartość logiczna zdań orzekających o przyszłości (trójwartościowa logika Łukasiewicza) U - nieznana wartość logiczna, unknown (logika Kleenego) N - bezsens, nonsens, nonsense (nie absurd!) (logika Bochwara) liczby rzeczywiste (wymierne) z przedziału [0,1] - stopnie prawdy (logiki rozmyte) 19
20 Sąd jest to myśl, która zdaje sprawę z pewnego stanu rzeczy. Moment asercji (moment przekonania), to psychologiczny element, który występuje w sądach wydanych a nie występuje w sądach tylko pomyślanych. Rodzaje sądów: Sąd wydany (przekonanie) - przekonaniem danej osoby jest kaŝdy sąd, w który osoba ta wierzy - jest do niego przekonana - wierzy w jego prawdziwość (silny moment asercji). Sąd tylko pomyślany (neutralny) - sądem tylko pomyślanym danej osoby jest kaŝdy sąd, co do którego osoba ta nie jest przekonana - nie wierzy ani w jego prawdziwość, ani w jego fałszywość (brak momentu asercji). Przypuszczenie - przypuszczeniem danej osoby Ŝe tak jest jest kaŝdy sąd, dla którego moment asercji dla tej osoby jest silniejszy dla sądu Ŝe tak jest niŝ dla sądu Ŝe tak nie jest. Wątpienie - wątpieniem danej osoby w to Ŝe tak jest jest kaŝdy sąd, dla którego moment asercji dla tej osoby jest silniejszy dla sądu Ŝe tak nie jest niŝ dla sądu Ŝe tak jest. 20
21 Zatem, z definicji sądu i zdania w sensie logicznym wynika, Ŝe zdanie w sensie logicznym wyraŝa sąd, czyli myśl odnoszącą się sprawozdawczo do jakiegoś stanu rzeczy. Innymi zdaniami, czyli tymi niebędącymi zdaniami w sensie logicznym, są zdania które odnoszą się do jakiegoś stanu rzeczy pytająco, pragnąco, nakazująco, Ŝartobliwie (humorystycznie). Reasumując, w wypowiedziach mogą wystąpić zdania oznajmujące, pytajne, optatywne, rozkazujące, humorystyczne. Wszystkie zdania oznajmujące i tylko te zdania mają wartość logiczną (Ajdukiewicz). 21
22 Problem: Jakie powinno być kryterium prawdy i fałszu? Rodzaje kryteriów prawdy i fałszu: klasyczne - prawdziwym jest sąd zgodny z rzeczywistością koherencyjne - prawdziwym jest sąd zgodny (spójny, niesprzeczny) z innymi sądami oczywistości (intuicyjne) - prawdziwym jest sąd, który wydaje się być oczywistym (zgodność z normą transcendentalną, z której wynikają nakazy (normy), a więc i nasza względem nich powinność - Rickert) strukturalne (formalno-logiczne) - prawdziwość sądu wynika z budowy składniowej zdania go wyraŝającego, moŝe teŝ być wypadkową prawdziwości i fałszywości innych sądów autorytetu - prawdziwym jest sąd wypowiedziany przez kogoś obdarzonego autorytetem lub przez znawcę tematu (prestiŝowy ośrodek naukowy, ekspert z danej dziedziny, wiarygodna gazeta/stacja tv) zgody powszechnej - prawdziwym jest sąd podzielany przez większość ludzi pragmatyczne - prawdziwym jest sąd, który jest poŝyteczny 22
23 Dwie uwagi wykraczające poza kontekst prawniczy: 1. Dla kaŝdego powyŝszego kryterium prawdy istnieje sytuacja, w której rozsądnym wydaje się być zastosowanie tego kryterium. 2. Dla kaŝdego powyŝszego kryterium prawdy istnieje sytuacja, w której rozsądnym wydaje się być powstrzymanie się od zastosowania tego kryterium. 23
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ń:
Kultura logicznego myślenia
dr hab. Maciej Witek, prof. US Kultura logicznego myślenia rok akademicki 2017/2018, śemeśtr zimowy Temat 1: Semiotyka i jej dyścypliny kognitywiśtyka.uśz.edu.pl/mwitek dyzury: wtorki, godz. 14.00-15.30,
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
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
WSTĘP ZAGADNIENIA WSTĘPNE
27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).
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
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
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
Logika. dr Agnieszka Figaj
Logika dr Agnieszka Figaj O czym to będzie? Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my zajmować się będziemy? Logika (grec. logos-oznacza rozum) Nauka normatywna, analizująca źródła poznania
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
Wykład 2 Logika dla prawników. Funkcje wypowiedzi Zdanie Analityczne i logiczne związki między zdaniami
Wykład 2 Logika dla prawników Funkcje wypowiedzi Zdanie Analityczne i logiczne związki między zdaniami Zadania logiki prawniczej: Dostarczenie przydatnych wskazówek w dziedzinie języka prawnego i prawniczego,
Logika dla prawników
Logika dla prawników Wykład I: Pytania o logikę Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mpichlak@prawo.uni.wroc.pl Tak na logikę Kodeks karny: Art. 226 1. Kto znieważa
Z punktu widzenia kognitywisty: język naturalny
Z punktu widzenia kognitywisty: język naturalny Wykład V: Język w umyśle, świat w umyśle O obiektach Podejście zdroworozsądkowe: intuicyjna charakterystyka obiektów i stanów rzeczy Ale mówi się również
4. Zagadnienie prawdy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
4. Zagadnienie prawdy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Metafizyczne i epistemologiczne pojęcia prawdziwości (1) Euzebiusz jest prawdziwym
Uniwersytet Śląski w Katowicach str. 1 Wydział
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: teologia, jednolite magisterskie Specjalność: teologia nauczycielska i ogólna Sylabus modułu: Filozofia logika i epistemologia (11-TS-12-FLEa)
Logika dla archeologów
Logika dla archeologów Część 1: Wprowadzenie Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Cztery podstawowe funkcje języka 2 Funkcje języka podział Jakobsona
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
Wprowadzenie. Teoria automatów i języków formalnych. Literatura (1)
Wprowadzenie Teoria automatów i języków formalnych Dr inŝ. Janusz Majewski Katedra Informatyki Literatura (1) 1. Aho A. V., Sethi R., Ullman J. D.: Compilers. Principles, Techniques and Tools, Addison-Wesley,
Wprowadzenie: języki, symbole, alfabety, łańcuchy Języki formalne i automaty. Literatura
Wprowadzenie: języki, symbole, alfabety, łańcuchy Języki formalne i automaty Dr inŝ. Janusz Majewski Katedra Informatyki Literatura Aho A. V., Sethi R., Ullman J. D.: Compilers. Principles, Techniques
ć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
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
Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW
Logika Stosowana Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika
K A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
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
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
Znak, język, kategorie syntaktyczne
Składnia ustalone reguły jakiegoś języka dotyczące sposobu wiązania wyrazów w wyrażenia złożone. Językoznawstwo zajmuje się m.in. opisem składni poszczególnych języków, natomiast przedmiotem syntaktyki
Filozofia z elementami logiki Język jako system znaków słownych część 2
Filozofia z elementami logiki Język jako system znaków słownych część 2 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Rozkład jazdy 1 Pojęcie znaku 2 Funkcje wypowiedzi językowych
K A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
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
LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013
LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne
Liczba godzin Punkty ECTS Sposób zaliczenia. ć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
Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016
Załącznik Nr 1 do Uchwały Senatu AWFiS w Gdańsku Nr 16 z dnia 27 kwietnia 2012 roku Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016 Jednostka Organizacyjna: Rodzaj
Krakowska Akademia im. Andrzeja Frycza Modrzewskiego. Karta przedmiotu. obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 2012/2013
Krakowska Akademia im. Andrzeja Frycza Modrzewskiego Karta przedmiotu obowiązuje studentów, którzy rozpoczęli studia w roku akademickim 01/013 WydziałPrawa, Administracji i Stosunków Miedzynarodowych Kierunek
Wprowadzenie do logiki O czym to będzie?
Wprowadzenie do logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my się zajmować będziemy? I póki co
Programowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1
Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi
Liczba godzin Punkty ECTS Sposób zaliczenia. konwersatoria 30 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Administracja Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): I stopnia Tryb studiów:
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
Wprowadzenie do logiki Język jako system znaków słownych
Wprowadzenie do logiki Język jako system znaków słownych Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl język system znaków słownych skoro system, to musi być w tym jakiś porządek;
Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;)
Tomasz Puczyłowski Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;) 1. W referacie zaproponuję definicję kłamstwa skorzystam z aparatury formalnej, zaprojektowanej przez G. Gazdara i
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
Logika dla socjologów
Logika dla socjologów Część 1: Wprowadzenie Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Cztery podstawowe funkcje języka 2 Funkcje języka podział Jakobsona
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Krótkie wprowadzenie, czyli co
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
Semiotyka logiczna (1)
Semiotyka logiczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Semiotyka logiczna (1) Wprowadzenie 1 / 14 Plan wykładu: semestr
Filozofia z elementami logiki O czym to będzie?
Filozofia z elementami logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Filozofia z elementami logiki Dwa fundamentalne pytania: Czym zajmuje się logika? Czym
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
Wymagania na poszczególne oceny z języka niemieckiego dla uczniów Technikum Zawodowego poziom IV.O i IV.1, zakres podstawowy.
Wymagania na poszczególne oceny z języka niemieckiego dla uczniów Technikum Zawodowego poziom IV.O i IV.1, zakres podstawowy. SŁUCHANEGO/ CZYTANEGO - uczeń rozumie wszystkie polecenia, instrukcje i wypowiedzi
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,
PODSTAWY SZTUCZNEJ INTELIGENCJI
Katedra Informatyki Stosowanej Politechnika Łódzka PODSTAWY SZTUCZNEJ INTELIGENCJI Laboratorium PROGRAMOWANIE SYSTEMÓW EKSPERTOWYCH Opracowanie: Dr hab. inŝ. Jacek Kucharski Dr inŝ. Piotr Urbanek Cel ćwiczenia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS)
Katedra Teorii i Filozofii Prawa Poznań, dnia 12 lutego 2013 r. Zespół wykładowców: prof. UAM dr hab. Jarosław Mikołajewicz dr Marzena Kordela Zespół prowadzących ćwiczenia: prof. UAM dr hab. Jarosław
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Gramatyka kategorialna jest teorią formy logicznej wyrażeń. Wyznacza ją zadanie sporządzenia teoretycznego opisu związków logicznych takich jak wynikanie, równoważność, wzajemna
Podstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Wstęp do logiki. Semiotyka
Wstęp do logiki Semiotyka DEF. 1. Językiem nazywamy system umownych znaków słownych. Komentarz. Skoro każdy język jest systemem, to jest w nim ustalony jakiś porządek, czy ogólniej hierarchia. Co to jest
Programowanie deklaratywne
Programowanie deklaratywne Artur Michalski Informatyka II rok Plan wykładu Wprowadzenie do języka Prolog Budowa składniowa i interpretacja programów prologowych Listy, operatory i operacje arytmetyczne
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
KRYTERIA OCEN Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLAS IV ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE IV i VI SZKOŁY PODSTAWOWEJ.
Polska Szkoła w Moss im. Jana Brzechwy KRYTERIA OCEN Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLAS IV ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE IV i VI SZKOŁY PODSTAWOWEJ. Nr dopuszczenia
Wykład 4 Logika dla prawników. Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje
Wykład 4 Logika dla prawników Nazwy, Relacje między zakresami nazw, Podział logiczny, Definicje Nazwy Nazwą jest taka częśd zdania, która w zdaniu może pełnid funkcję podmiotu lub orzecznika. Nazwami mogą
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017
EGZMIN W KLSIE TRZECIEJ GIMNZJUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. JĘZYK POLSKI ZSDY OCENINI ROZWIĄZŃ ZDŃ RKUSZ GH-P8 KWIECIEŃ 2017 Zadanie 1. (0 1) 2) wyszukuje w wypowiedzi potrzebne informacje [ ].
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:
Podstawy ekonomii ELASTYCZNOŚCI W EKONOMII
Podstawy ekonomii ELASTYCZNOŚCI W EKONOMII Elastyczność krzyŝowa popytu Elastyczność dochodowa popytu Opracowanie: dr Tomasz Taraszkiewicz Elastyczność krzyŝowa popytu Elastyczność krzyŝowa popytu Elastyczność
Ekonomiczny Uniwersytet Dziecięcy
Ekonomiczny Uniwersytet Dziecięcy Jak przekonywać innych do swoich racji? Dr Witold Szumowski Uniwersytet Ekonomiczny we Wrocławiu 3 listopada 2014r. Plan dzisiejszych zajęć Istota przekonywania Wywieranie
OCENA CELUJĄCA SPRAWNOŚĆ PISANIA
ROZUMIENIE TEKSTU uczeń w pełni rozumie wszystkie polecenia i formułowane w języku angielskim i poprawnie na nie reaguje, pisane, których słownictwo i wykraczają poza program jego główną myśl, sprawnie
Cele kształcenia wymagania ogólne
Cele kształcenia wymagania ogólne konieczne ocena: dopuszczająca podstawowe ocena: dostateczna rozszerzone ocena: dobra dopełniające ocena: bardzo dobra ponadprogramowe ocena: celująca I Kształcenie literackie
Konceptualizacja i definiowanie SYLABUS A. Informacje ogólne
Konceptualizacja i definiowanie SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia
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
Kontrola i ocena pracy ucznia.
Kontrola i ocena pracy ucznia. Formy kontroli 1. Kontrola bieżąca (w formie oceny udziału w lekcji, odpowiedzi ustnych, niezapowiedzianych kartkówek i innych form testów osiągnięć szkolnych) to sprawdzanie
WYMAGANIA EDUKACYJNE Z JĘZYKA NIEMIECKIEGO KLASA
OCENA DOBRA OCENA DOSTATECZNA OCENA DOPUSZCZJĄCA WYMAGANIA EDUKACYJNE Z JĘZYKA NIEMIECKIEGO KLASA 7 ROZUMIENIE TEKSTU SŁUCHANEGO/CZYTANEGO uczeń rozumie tylko nieliczne polecenia i wypowiedzi nauczyciela
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.
Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Nazwa modułu: Logika Rok akademicki: 2017/2018 Kod: HKL-1-221-s Punkty ECTS: 4 Wydział: Humanistyczny Kierunek: Kulturoznawstwo Specjalność: Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Wymagania edukacyjne z języka angielskiego dla klasy czwartej.
Wymagania edukacyjne z języka angielskiego dla klasy czwartej. Opracowała: Małgorzata Majewicz-Solecka Wymagania edukacyjne na ocenę celującą: Stopień celujący otrzymuje uczeń, który: a) posiadł wiedzę
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
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Logika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (1) Wprowadzenie do logiki temporalnej Paweł Głuchowski, Politechnika Wrocławska wersja 2.2 Program wykładów 1. Wprowadzenie
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
II. Kontrola i ocena pracy ucznia.
II. Kontrola i ocena pracy ucznia. Formy kontroli I Liceum Ogólnokształcące 1. Kontrola bieżąca (w formie oceny udziału w lekcji, odpowiedzi ustnych, niezapowiedzianych kartkówek i innych form testów osiągnięć
STANDARDY WYMAGAŃ BĘDĄCE PODSTAWĄ PRZEPROWADZANIA EGZAMINU W OSTATNIM ROKU NAUKI W GIMNAZJUM
Załącznik do rozporządzenia Ministra Edukacji Narodowej z dnia 28 sierpnia 2007 r. (DZ.U. z dnia 31 sierpnia 2007 r. Nr 157, poz. 1102) STANDARDY WYMAGAŃ BĘDĄCE PODSTAWĄ PRZEPROWADZANIA EGZAMINU W OSTATNIM
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
SPRAWNOŚĆ MÓWIENIA SPRAWNOŚĆ PISANIA GRAMATYKA I SŁOWNICTWO
ZAKRES WYMAGAŃ EDUKACYJNYCH NA POSZCZEGÓLNE OCENY SZKOLNE MEINE DEUTSCHTOUR KL. 8 Ocena bieżąca postępów ucznia uwzględnia wszystkie cztery sprawności językowe, tj.: rozumienie ze słuchu, pisanie, czytanie,
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
Programowanie komputerów
Programowanie komputerów Wykład 1-2. Podstawowe pojęcia Plan wykładu Omówienie programu wykładów, laboratoriów oraz egzaminu Etapy rozwiązywania problemów dr Helena Dudycz Katedra Technologii Informacyjnych
RODZAJE ARGUMENTÓW W DYSKURSIE PRAWNICZYM
ARGUMENTACJA PRAWNICZA WYKŁAD III Pytania: 1/ jakie są konsekwencje tezy open texture of law? 2/ czy możliwe jest sformułowanie wzorów rozstrzygania problemów prawnych? dyskurs dogmatycznoprawny 3/ do
Informacje ogólne. Wstęp do współczesnej semantyki. Lingwistyka komputerowa
Informacje ogólne 1. Nazwa Wstęp do współczesnej semantyki 2. Kod WWS 3. Rodzaj obowiązkowy 4. Kierunek i specjalność studiów Lingwistyka komputerowa 5. Poziom studiów I 6. Rok studiów III 7. Semestr V
PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO W SZKOLE PODSTAWOWEJ NR 11 W JAWORZNIE NA PODSTAWIE PODRĘCZNIKA MEINE DEUTSCHTOUR 3
PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO W SZKOLE PODSTAWOWEJ NR 11 W JAWORZNIE NA PODSTAWIE PODRĘCZNIKA MEINE DEUTSCHTOUR 3 ROZUMIENIE TEKSTU SŁUCHANEGO / CZYTANEGO uczeń w pełni rozumie wszystkie
Present Simple /Czas teraźniejszy prosty
Present Simple /Czas teraźniejszy prosty UŜywamy go dla sformułowania wyraŝeń o znaczeniu ogólnym takich jak: prawa naukowe, definicje, szeroko pojętych faktów oczywistych. Stosujemy go gdy czynności mają
Piotr Łukowski, Wykład dla studentów prawa WYKŁAD 13. metodologia nauk
WYKŁAD 13 metodologia nauk 1 Uwaga organizacyjna (oczywista): Na egzamin przychodzimy z indeksem. Warunkiem przystąpienia do egzaminu jest wpis zaliczający ćwiczenia. Osoba nie mająca przy sobie indeksu
ZAKRES WYMAGAŃ EDUKACYJNYCH NA POSZCZEGÓLNE OCENY SZKOLNE
ZAKRES WYMAGAŃ EDUKACYJNYCH NA POSZCZEGÓLNE OCENY SZKOLNE Ocena bieżąca postępów ucznia uwzględnia wszystkie cztery sprawności językowe, tj.: rozumienie ze słuchu, pisanie, czytanie, mówienie, oraz tzw.
JĘZYK NIEMIECKI - ZAKRES WYMAGAŃ EDUKACYJNYCH NA POSZCZEGÓLNE OCENY SZKOLNE
JĘZYK NIEMIECKI - ZAKRES WYMAGAŃ EDUKACYJNYCH NA POSZCZEGÓLNE OCENY SZKOLNE Ocena bieżąca postępów ucznia uwzględnia wszystkie cztery sprawności językowe, tj.: rozumienie ze słuchu, pisanie, czytanie,
Marian Przełęcki. Prawda 1
Marian Przełęcki Prawda 1 1. Pojęcie prawdy należy do podstawowych kategorii filozoficznych, a zagadnienie istoty prawdy stanowi jeden z naczelnych problemów filozoficznej teorii poznania. Wyrażenia prawda,
Wymagania edukacyjne na poszczególne oceny z języka niemieckiego MEINE DEUTSCHTOUR 3 OCENA CELUJĄCA GRAMATYKA I SŁOWNICTWO SPRAWNOŚĆ PISANIA
Wymagania edukacyjne na poszczególne oceny z języka niemieckiego MEINE DEUTSCHTOUR 3 Aleksandra Silezin kl.iii gim uczeń w pełni rozumie wszystkie polecenia i formułowane w języku niemieckim i prawidłowo
ZAKRES WYMAGAŃ EDUKACYJNYCH NA POSZCZEGÓLNE OCENY Z JĘZYKA NIEMIECKIEGO Nauczyciel prowadzący: mgr Agnieszka Krzeszowiak, mgr Teresa Jaśkowska
ZAKRES WYMAGAŃ EDUKACYJNYCH NA POSZCZEGÓLNE OCENY Z JĘZYKA NIEMIECKIEGO Nauczyciel prowadzący: mgr Agnieszka Krzeszowiak, mgr Teresa Jaśkowska Ocena bieżąca postępów ucznia uwzględnia wszystkie cztery
Wykład 2. Relacyjny model danych
Wykład 2 Relacyjny model danych Wymagania stawiane modelowi danych Unikanie nadmiarowości danych (redundancji) jedna informacja powinna być wpisana do bazy danych tylko jeden raz Problem powtarzających
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
SYLABUS. WyŜsza Szkoła Prawa i Administracji w Przemyślu Wydział Administracji. 1. Kierunek studiów: Administracja
WyŜsza Szkoła Prawa i Administracji w Przemyślu Wydział Administracji 1. Kierunek studiów: Administracja SYLABUS. Nazwa przedmiotu: JĘZYK NIEMIECKI 3. Rok studiów I semestr: II 4. Rok akademicki: 008/009