znaczeniach. Po pierwsze

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

Download "znaczeniach. Po pierwsze"

Transkrypt

1 LESZEK NOWAK Wypo Jan jest Polakiem znaczeniach. Po pierwsze W omawianym, wnego. _ * Szkic ten jest fragmentem mej pracy doktorskiej Problemy znac wania normy, napisanej w 967 r. pod kierunkiem prof.

2 90 LESZEK NOWAK Po drugie rel wypowiedzi a tym Po trzecie wreszcie w tym sensi etc., psychicznym. 4 h 5 Kolumb Okres warunkowy a implikacja materialna, t. II, Warszawa 965, s. 55, J. Kmita, Stwierdzanie a, s. 8 i nast. O tej intuicji por. M. Ossowska,, 9, s. 6 i nast. Dziedzina relacji R B do innych, przeciwdziedzina relacji R R. 4 Problem znaczenia normatywnego, 5 i nast. G. H. von Wright, Norm and Action, London 96, s.

3 9 przeciwdziedzinami natomiast zbiory konkretnych i to zrealizowanych odmiennych warun okre 6. to natury psychicznych jest w gruncie r typu: Zdanie Z x, dziami typu: Zdanie Z,, Zdanie Z terminu zdanie (... ) ( ) wymaga tego, by w miejsce 7. Zatem sens jest gdy p Z. d przed rzeczywistym czy z pewnego czasu jest PRZEJAWEM stanu psychicznego, w j 8 na to, by zacho 6 Elementy teorii poznania, logiki formalnej i metodologii nauk, Warszawa 96, s.. 7 Por. np. A. Church, Propositions and Sentences, [w:] The Problem of Universals, Notre Dame 956, s. 4 i nast. 8 Traktat o dobrej robocie,

4 9 LESZEK NOWAK nia autor informuje aktualnie X a p, X p, p, jest Z Z. p. Nasuwa potrzeba relatywizac pirycznej p tych na tautologiach logicznych, to relatywiz p N i M 9 zdanie Z J INFORMUJE POTENCJALNIE, p rencyjnych R i wiedzy empirycznej W wtedy i tylko wtedy, gdy () dla 9 J. Giedymin, Z logicznych, p.

5 dowolnej osoby X J empirycznej W: X R do zdania Z (i ewentualnie do pewny W) p, () pewna Rowa konsekwencja zdania Z R do Z) p. R, p, to pewna Rowa konsekp; 0. Zdanie INFORMUJE AKTUALNIE p p, p. wy stan psychiczny, gdy 9 W osoby X z czasu t stan psychiczny typu S (na grun J, regu R i wiedzy empirycznej W), gdy zdanie Y w czasie t (na gruncie J, B i W), X t w stanie psychicznym typu S. sowe Jan jest Polakiem, wypowiedziane przez X a, : informuje X st a:, zdanie X informuje aktualnie 0 informacji semantycznej jako zbioru logicznych konsekwencji zdania (por. np. Y. BarHillel, Information and Content: A Semantic Analysis, t. IX, nr 5, s. 0 i nast.) polega po pierwsze zrelatywizowane do systemu wiedzy empirycznej oraz po drugie

6 94 LESZEK NOWAK Grunwald psychiczne S, S,..., S k, W. X wszego z nich. t stany S i S i. S, S,..., S k. wszy W J stan psychiczny S osoby X z chwili t R i wiedzy W) z X a w czasie t stan psychiczny S R i wiedzy W) stan psychiczny S tej osoby z czasu t. 4 stanu rzeczy q na gruncie wiedzy W wtedy, gdy zdanie: p R i wiedzy W, q. Zauwa p jest R wtedy i tylko psychicznym. anie A) H. Castaneda wprowadzi lalicznie zdanie q p implikuje p wystarcza

7 q. X implikuje lalicznie zdanie X istnieje. Castaneda : zdanie p lalicznie implikuje zdanie q (na gruncie wiedzy empirycznej W nych R), gdy dla pewnego X, X sformu W wynika inferencyjnie R zdanie q (tzn. zdanie q R). zdanie X, w chwili t, implikuje lalicznie zdanie X istnieje w czasie t, ierdzeniem podla dowolnego X, dla dowolnej chwili t: to osoba X istnieje w chwili t, ze zdaniem osoba X sf X istnieje w czasie t. p implikuje lalicznie zdanie q (na gruncie wiedzy empirycznej W R), p jest (na gruncie wiedzy W R) q. 95 em logicznym; wiedzy). B) [...],. Ten _ H. Castaneda, Some Nonformal Relations, t. VIII, nr 6, 957, s. 89 i nast. J. Topolski, Metodologia historii, Warszawa 968, s. 70.

8 96 LESZEK NOWAK faktami historzeczy p jest na gruncie wiedzy W R w kwestii Czy q? wtedy i tylko wtedy, gdy p jest (na gruncie W i R) q lub stanu rzeczy nieq. Z eksplikacji stanach psychicznych oznaki tych sta ; (b) jako dla C) ej itp. [...] normy nic nie eto. Sama norma jednak o niczym nie informuje. Analogiczne nieporozumienia, [...] J. Kowalski,, Warszawa 960, s. 8.

9 97 do danego ocenianego przedmiotu. Komunikujemy przy ich pomocy, co 4 same oceny, lecz zdania postaci: O X a ) gentny np. ocena Jan jest inteli etc. np. To prawo jest sprawiedliwe. _ 4 J. Kowalski,, Warszawa 967, s. 9.

Kultura logiczna Wnioskowania dedukcyjne

Kultura logiczna Wnioskowania dedukcyjne Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a

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

ń ę ń ę ń ę ń ę ę ę ę ę ź ń ź Ś ę Ł ń ę ę ń ę ń ę ę ę ę ę ę ź ę ę Ż ę ŚĆ ę Ż ń ń ę ń ę ę ę ę ę ź ę ę Ś Ś Ś Ś ź ę ń ę ę Ź ń Ś Ś ę ń ę ę ę ę ę ź ń ŚĆ Ś ń ń ń Ą ń ę ę ŚĆ ę Ż ę ń ę ę ę ę ę ź ń Ś Ś ź Ś Ł ę

Bardziej szczegółowo

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną

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

Bardziej szczegółowo

Elementy logiki matematycznej

Elementy logiki matematycznej Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w

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

Semantic primitivesi ich konfiguracje w różnych językach

Semantic primitivesi ich konfiguracje w różnych językach Semantic primitives i ich konfiguracje w różnych językach Uniwersytet Kardynała Stefana Wyszyńskiego 1 Naturalny metajęzyk semantyczny 2 Gottfried Wilhelm Leibniz (1646-1716) i idea rozkładania znaczeń

Bardziej szczegółowo

Rozdzia l 10. Najważniejsze normalne logiki modalne

Rozdzia l 10. Najważniejsze normalne logiki modalne Rozdzia l 10. Najważniejsze normalne logiki modalne 1. Logiki modalne normalne Definicja. Inwariantny zbiór formu l X jȩzyka modalnego L = (L,,,,, ) nazywamy logik a modaln a zbazowan a na logice klasycznej

Bardziej szczegółowo

Logika dla socjologów Część 2: Przedmiot logiki

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

Bardziej szczegółowo

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

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:

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

LEON KOJ I. PROBLEM. Erotetic Logic 1, 2. Jak powiedziano, chodzi o zbudowanie formalnej logiki erotetycznej. praktyczne zasto - nia drugiego

LEON KOJ I. PROBLEM. Erotetic Logic 1, 2. Jak powiedziano, chodzi o zbudowanie formalnej logiki erotetycznej. praktyczne zasto - nia drugiego LEON KOJ I. PROBLEM 1. Erotetic Logic 1, 2. Jak powiedziano, chodzi o zbudowanie formalnej logiki erotetycznej. praktyczne zasto nia drugiego 1 M. Prior i A. Prior, Erotetic Logic, LXIV, nr 1 (1953 January).

Bardziej szczegółowo

Wprowadzenie do logiki epistemicznej. Przekonania i wiedza

Wprowadzenie do logiki epistemicznej. Przekonania i wiedza Logika w zastosowaniach kognitywistycznych Wprowadzenie do logiki epistemicznej. Przekonania i wiedza (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl wersja beta 1.1 (na podstawie:

Bardziej szczegółowo

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

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ę

Bardziej szczegółowo

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 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

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest

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

Rachunek zdao i logika matematyczna

Rachunek zdao i logika matematyczna Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki

Bardziej szczegółowo

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie), Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości

Bardziej szczegółowo

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

O badaniach nad SZTUCZNĄ INTELIGENCJĄ O badaniach nad SZTUCZNĄ INTELIGENCJĄ Wykład 7. O badaniach nad sztuczną inteligencją Co nazywamy SZTUCZNĄ INTELIGENCJĄ? szczególny rodzaj programów komputerowych, a niekiedy maszyn. SI szczególną własność

Bardziej szczegółowo

Szacowanie wartości i udzielanie zamówień objętych projektem współfinansowanym ze środków Unii Europejskiej.

Szacowanie wartości i udzielanie zamówień objętych projektem współfinansowanym ze środków Unii Europejskiej. Szacowanie wartości i udzielanie zamówień objętych projektem współfinansowanym ze środków Unii Europejskiej. Ustawa z dnia 29 stycznia 2004 r. - Prawo zamówień publicznych zwana dalej ustawą PZP zastrzega

Bardziej szczegółowo

Recenzja rozprawy doktorskiej mgr Malgorzaty Grzeszczuk-Gniewek pt. Systemy

Recenzja rozprawy doktorskiej mgr Malgorzaty Grzeszczuk-Gniewek pt. Systemy Prof. dr hab. Sławomir I. Bukowski, prof. zw. Uniwersytet Technologiczno-Humanistyczny im. Kazimierza Pułaskiego w Radomiu Wydział Nauk Ekonomicznych i Prawnych Katedra Biznesu i Finansów Międzynarodowych

Bardziej szczegółowo

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"

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

KONCEPCJA ZASTOSOWANIA INTELIGENTNYCH SYSTEMÓW TRANSPORTOWYCH W DZIELNICY MOKOTÓW W WARSZAWIE

KONCEPCJA ZASTOSOWANIA INTELIGENTNYCH SYSTEMÓW TRANSPORTOWYCH W DZIELNICY MOKOTÓW W WARSZAWIE PRACE NAUKOWE POLITECHNIKI WARSZAWSKIEJ z. 113 Transport 2016 Zbigniew Kasprzyk, Mariusz Rychlicki, Kinga Tatar KONCEPCJA ZASTOSOWANIA INTELIGENTNYCH SYSTEMÓW TRANSPORTOWYCH W DZIELNICY MOKOTÓW W WARSZAWIE

Bardziej szczegółowo

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

O badaniach nad SZTUCZNĄ INTELIGENCJĄ O badaniach nad SZTUCZNĄ INTELIGENCJĄ Jak określa się inteligencję naturalną? Jak określa się inteligencję naturalną? Inteligencja wg psychologów to: Przyrodzona, choć rozwijana w toku dojrzewania i uczenia

Bardziej szczegółowo

Ogólna metodologia nauk

Ogólna metodologia nauk 1. Podział logiki: - semiotyka logiczna - logika formalna - ogólna metodologia nauk Ogólna metodologia nauk 2. Ogólna metodologia nauk zajmuje się metodami (sposobami postępowania) stosowanymi w poznawaniu

Bardziej szczegółowo

1. WPROWADZENIE. Metody myślenia ta części logiki, która dotyczy zastosowania. praw logicznych do praktyki myślenia.

1. WPROWADZENIE. Metody myślenia ta części logiki, która dotyczy zastosowania. praw logicznych do praktyki myślenia. 1. WPROWADZENIE Metody myślenia ta części logiki, która dotyczy zastosowania praw logicznych do praktyki myślenia. Zreferowane będą poglądy metodologów, nie zaś samych naukowców. Na początek potrzebna

Bardziej szczegółowo

Prawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne.

Prawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne. Prawa rachunku zbiorów to takie wyra enia j zyka tego rachunku, które staj si zdaniami prawdziwymi przy ka dym podstawieniu nazw zbiorów za zmienne. PRAWA RACHUNKU ZBIORÓW LP PRAWO NAZWA 1 A B = B A A

Bardziej szczegółowo

Elementy logiki i teorii mnogości

Elementy logiki i teorii mnogości Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy

Bardziej szczegółowo

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne

Bardziej szczegółowo

O METAFIZYCE SYTUACJI

O METAFIZYCE SYTUACJI EDUKACJA FILOZOFICZNA VOL. 64 2017 ARTYKUŁY I ROZPRAWY MIECZYSŁAW OMYŁA Uniwersytet Kardynała Stefana Wyszyńskiego O METAFIZYCE SYTUACJI Dedykowane Pamięci Profesora Bogusława Wolniewicza 1. Wprowadzenie

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

LOGIKA Klasyczny Rachunek Zdań

LOGIKA Klasyczny Rachunek Zdań LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć

Bardziej szczegółowo

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1

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

Bardziej szczegółowo

Przedstawiony tu obraz sytuacji metodologicznej w lingwistyce ma

Przedstawiony tu obraz sytuacji metodologicznej w lingwistyce ma BARBARA STANOSZ logicznej teorii Przedstawiony tu obraz sytuacji metodologicznej w lingwistyce ma waniu tematu czych niek nych punktach charakter hipotez. zachowania. 196 BARBARA STANOSZ. Opis ten nie

Bardziej szczegółowo

5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016

5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016 5. Rozważania o pojęciu wiedzy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Wiedza przez znajomość [by acquaintance] i wiedza przez opis Na początek

Bardziej szczegółowo

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017 Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu

Bardziej szczegółowo

KILKA UWAG O POSTULACIE JASNOŚCI I POJĘCIU ANALIZY JĘZYKOWEJ

KILKA UWAG O POSTULACIE JASNOŚCI I POJĘCIU ANALIZY JĘZYKOWEJ LESZEK NOWAK KILKA UWAG O POSTULACIE JASNOŚCI I POJĘCIU ANALIZY JĘZYKOWEJ Najbardziej bodaj elementarnym postulatem, propagowanym przez szeroko pojętą logikę, jest postulat jasności. Postulat ten, choć

Bardziej szczegółowo

Szacowanie wartości i udzielanie zamówień, w tym zamówień objętych projektem współfinansowanym ze środków Unii Europejskiej

Szacowanie wartości i udzielanie zamówień, w tym zamówień objętych projektem współfinansowanym ze środków Unii Europejskiej Szacowanie wartości i udzielanie zamówień, w tym zamówień objętych projektem współfinansowanym ze środków Unii Europejskiej Ustawa z dnia 29 stycznia 2004 r. - Prawo zamówień publicznych (Dz. U. z 2013

Bardziej szczegółowo

Tworzenie wypowiedzi o kompozycji.

Tworzenie wypowiedzi o kompozycji. Tworzenie wypowiedzi o kompozycji. CZYM JEST TEKST? PODSTAWOWE INFORMACJE Tekst jest ponadzdaniową (tzn. wyższą typologicznie, niekoniecznie większą rozmiarami) jednostką językową, makroznakiem samodzielnym

Bardziej szczegółowo

Logika Matematyczna (1)

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:

Bardziej szczegółowo

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

O badaniach nad SZTUCZNĄ INTELIGENCJĄ O badaniach nad SZTUCZNĄ INTELIGENCJĄ SZTUCZNA INTELIGENCJA dwa podstawowe znaczenia Co nazywamy sztuczną inteligencją? zaawansowane systemy informatyczne (np. uczące się), pewną dyscyplinę badawczą (dział

Bardziej szczegółowo

Uniwersytet Śląski w Katowicach str. 1 Wydział

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)

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

Wstęp do logiki. Klasyczny Rachunek Zdań III

Wstęp do logiki. Klasyczny Rachunek Zdań III Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję

Bardziej szczegółowo

Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;)

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

Bardziej szczegółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,

Bardziej szczegółowo

RODZAJE ARGUMENTÓW W DYSKURSIE PRAWNICZYM

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

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

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

Wprowadzenie do logiki Język jako system znaków słownych

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;

Bardziej szczegółowo

Filozofia z elementami logiki O czym to będzie?

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

Bardziej szczegółowo

Uwagi wstępne: (ilustruje to Przypadek I) (ilustruje to Przypadek II) (ilustruje to Przypadek III)

Uwagi wstępne: (ilustruje to Przypadek I) (ilustruje to Przypadek II) (ilustruje to Przypadek III) Uwagi wstępne: Regulamin Studiów w Uniwersytecie Śląskim 1 określa wystawianie oceny końcowej z modułu w następujący sposób: 19 5. Ocena może być ustalana: 1) na podstawie ocen uzyskanych w ramach zaliczeń

Bardziej szczegółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać

Bardziej szczegółowo

LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013

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

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

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

Lekcja 3: Elementy logiki - Rachunek zdań

Lekcja 3: Elementy logiki - Rachunek zdań Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań IV

Wstęp do logiki. Klasyczny Rachunek Zdań IV Wstęp do logiki Klasyczny Rachunek Zdań IV KRZ: kontrola poprawności wnioskowań WYPOWIEDŹ ARGUMENTACYJNA (1) Ponieważ PRZESŁANKI, więc WNIOSEK. Np. Ponieważ Zenek bał się przyznać do winy, więc skłamał.

Bardziej szczegółowo

Dalszy ciąg rachunku zdań

Dalszy ciąg rachunku zdań Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f

Bardziej szczegółowo

Santander Consumer Bank S.A.

Santander Consumer Bank S.A. Santander Consumer Bank S.A. Stosowane stawki oprocentowania środków na rachunkach bankowych - depozyty; terminy kapitalizacji odsetek Aktualna oferta depozytowa Banku LOKATA DIRECT+ Oprocentowanie, wg

Bardziej szczegółowo

Diagnoza psychologiczna: podstawowe kompetencje (II część - decyzje diagnostyczne) Rola intuicji w diagnozie

Diagnoza psychologiczna: podstawowe kompetencje (II część - decyzje diagnostyczne) Rola intuicji w diagnozie Uniwersytet im. Adama Mickiewicza w Poznaniu Instytut Psychologii Anna Słysz Diagnoza psychologiczna: podstawowe kompetencje (II część - decyzje diagnostyczne) konwersatorium/wykład Poznań 2008 1 Rola

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

LOGIA WIARY I LOGIKA WIERZENIA. ks. Adam Olszewski UPJP2, Copernicus Center

LOGIA WIARY I LOGIKA WIERZENIA. ks. Adam Olszewski UPJP2, Copernicus Center LOGIA WIARY I LOGIKA WIERZENIA ks. Adam Olszewski UPJP2, Copernicus Center 19.10.2012 John Henry Newman (1801-1890) An Essay in Aid of a Grammar of Assent (1870); polski tytuł Logika Wiary. Part I Assent

Bardziej szczegółowo

Ogólna charakterystyka kontraktów terminowych

Ogólna charakterystyka kontraktów terminowych Jesteś tu: Bossa.pl Kurs giełdowy - Część 10 Ogólna charakterystyka kontraktów terminowych Kontrakt terminowy jest umową pomiędzy dwiema stronami, z których jedna zobowiązuje się do nabycia a druga do

Bardziej szczegółowo

A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy.

A = n. 2. Ka»dy podzbiór zbioru sko«czonego jest zbiorem sko«czonym. Dowody tych twierdze«(elementarne, lecz nieco nu» ce) pominiemy. Logika i teoria mnogo±ci, konspekt wykªad 12 Teoria mocy, cz ± II Def. 12.1 Ka»demu zbiorowi X przyporz dkowujemy oznaczany symbolem X obiekt zwany liczb kardynaln (lub moc zbioru X) w taki sposób,»e ta

Bardziej szczegółowo

W pracy - A - K znakiem ikonicznym przedmiotu B przedmiot A. F i jest podobny do przedmiotu B pod W, A F, B - dnym uznania odpowiedniego obiektu

W pracy - A - K znakiem ikonicznym przedmiotu B przedmiot A. F i jest podobny do przedmiotu B pod W, A F, B - dnym uznania odpowiedniego obiektu 1 W pracy A K znakiem ikonicznym przedmiotu B przedmiot A F i jest podobny do przedmiotu B pod W, A F, B K F W 1. analogia. Wymaganie to stanowi w cyto obiektu dnym uznania odpowiedniego obiektu znak konkretny

Bardziej szczegółowo

Stanowisko Rzecznika Finansowego i Prezesa Urzędu Ochrony Konkurencji i Konsumentów w sprawie interpretacji art. 49 ustawy o kredycie konsumenckim

Stanowisko Rzecznika Finansowego i Prezesa Urzędu Ochrony Konkurencji i Konsumentów w sprawie interpretacji art. 49 ustawy o kredycie konsumenckim Prezes Urzędu Ochrony Konkurencji i Konsumentów Warszawa, 16 maja 2016 r. Stanowisko Rzecznika Finansowego i Prezesa Urzędu Ochrony Konkurencji i Konsumentów w sprawie interpretacji art. 49 ustawy o kredycie

Bardziej szczegółowo

CELEM NAPISANIA PRACY MAGISTERSKIEJ JEST WYKAZANIE, ŻE STUDENT: 1. POTRAFI POSŁUGIWAĆ SIĘ NABYTĄ WIEDZĄ 2.ROZSZERZYŁ SWOJĄ WIEDZĘ O OPISYWANYM W

CELEM NAPISANIA PRACY MAGISTERSKIEJ JEST WYKAZANIE, ŻE STUDENT: 1. POTRAFI POSŁUGIWAĆ SIĘ NABYTĄ WIEDZĄ 2.ROZSZERZYŁ SWOJĄ WIEDZĘ O OPISYWANYM W CELEM NAPISANIA PRACY MAGISTERSKIEJ JEST WYKAZANIE, ŻE STUDENT: 1. POTRAFI POSŁUGIWAĆ SIĘ NABYTĄ WIEDZĄ 2.ROZSZERZYŁ SWOJĄ WIEDZĘ O OPISYWANYM W PRACY ZAGADNIENIU 3.DOSTRZEGA PRAWIDŁOWOŚCI WYSTĘPUJĄCE

Bardziej szczegółowo

Filozofia I stopień. Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia studiów

Filozofia I stopień. Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia studiów Załącznik nr 1 do Uchwały Nr 49/2015 Senatu UKSW z dnia 23 kwietnia 2015 r. Filozofia I stopień Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia

Bardziej szczegółowo

Logika matematyczna i teoria mnogości (I) J. de Lucas

Logika matematyczna i teoria mnogości (I) J. de Lucas Logika matematyczna i teoria mnogości (I) J. de Lucas Ćwiczenie 1. (Zad. L. Newelskiego) Niech p oznacza zdanie Ala je, zaś q zdanie As wyje. Zapisz jako formu ly rachunku zdań nastȩpuj ace zdania: 1.1.

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

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1

Matematyka I. BJiOR Semestr zimowy 2018/2019 Wykład 1 Matematyka I BJiOR Semestr zimowy 2018/2019 Wykład 1 Zasady współpracy https://mat.ug.edu.pl/~matpz/ wykłady nie są obowiązkowe, ale nieobecności będą odnotowywane nieobecności nie należy usprawiedliwiać,

Bardziej szczegółowo

Justyna Krasowska Rap głosem miasta: odpowiedź Zbigniewowi Ryklowi. Przestrzeń Społeczna (Social Space) 3/1 (5),

Justyna Krasowska Rap głosem miasta: odpowiedź Zbigniewowi Ryklowi. Przestrzeń Społeczna (Social Space) 3/1 (5), Justyna Krasowska Rap głosem miasta: odpowiedź Zbigniewowi Ryklowi Przestrzeń Społeczna (Social Space) 3/1 (5), 228-231 2013 Komentarze Commentaries Rap głosem miasta. Odpowiedź Zbigniewowi Ryklowi Justyna

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

Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016

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

Bardziej szczegółowo

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia

Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Metoda tabel syntetycznych (MTS) MTS

Bardziej szczegółowo

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony

Bardziej szczegółowo

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 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

Bardziej szczegółowo

Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji

Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji Logika dla socjologów Część 3: Elementy teorii zbiorów i relacji Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zbiory 2 Pary uporządkowane 3 Relacje Zbiory dystrybutywne

Bardziej szczegółowo

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 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

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

Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań

Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań Elementy logiki i teorii mnogości Wyk lad 1: Rachunek zdań Micha l Ziembowski m.ziembowski@mini.pw.edu.pl www.mini.pw.edu.pl/ ziembowskim/ October 2, 2016 M. Ziembowski (WUoT) Elementy logiki i teorii

Bardziej szczegółowo

Relacje. Zdania opisujące stosunki dwuczłonowe mają ogólny wzór budowy: xry, co czytamy: x pozostaje w relacji R do y.

Relacje. Zdania opisujące stosunki dwuczłonowe mają ogólny wzór budowy: xry, co czytamy: x pozostaje w relacji R do y. Zdania stwierdzające relację Pewne wyrazy i wyraŝenia wskazują na stosunki, czyli relacje, jakie zachodzą między róŝnymi przedmiotami. Do takich wyrazów naleŝą m. in. wyrazy: nad, pod, za, przy, braterstwo,

Bardziej szczegółowo

SYSTEM DIAGNOSTYCZNY OPARTY NA LOGICE DOMNIEMAŃ. Ewa Madalińska. na podstawie prac:

SYSTEM DIAGNOSTYCZNY OPARTY NA LOGICE DOMNIEMAŃ. Ewa Madalińska. na podstawie prac: SYSTEM DIAGNOSTYCZNY OPARTY NA LOGICE DOMNIEMAŃ Ewa Madalińska na podstawie prac: [1] Lukaszewicz,W. (1988) Considerations on Default Logic: An Alternative Approach. Computational Intelligence, 44[1],

Bardziej szczegółowo

OPIS EFEKTÓW KSZTAŁCENIA na kierunku edukacja artystyczna w zakresie sztuki muzycznej

OPIS EFEKTÓW KSZTAŁCENIA na kierunku edukacja artystyczna w zakresie sztuki muzycznej OPIS EFEKTÓW KSZTAŁCENIA na kierunku edukacja artystyczna w zakresie sztuki muzycznej dotyczy planów studiów zatwierdzonych uchwałami od 27/2012/2013 do 30/2012/2013 z dnia 19 czerwca 2013 r. i od 45/2012/2013

Bardziej szczegółowo

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 8. Modalności i intensjonalność 1 Coś na kształt ostrzeżenia Ta prezentacja jest nieco odmienna od poprzednich. To,

Bardziej szczegółowo

OFERTA SZKOLENIA. 1. posiada prawo wykonywania zawodu; 2. posiada co najmniej dwuletni staż pracy w zawodzie;

OFERTA SZKOLENIA. 1. posiada prawo wykonywania zawodu; 2. posiada co najmniej dwuletni staż pracy w zawodzie; OFERTA SZKOLENIA Państwowa Wyższa Szkoła Zawodowa w Ciechanowie Wydział Ochrony Zdrowia i Nauk Humanistycznych działając na mocy zezwoleń Centrum Kształcenia Podyplomowego Pielęgniarek i Położnych ogłasza

Bardziej szczegółowo

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

Bardziej szczegółowo

Rok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne

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

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

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:

Bardziej szczegółowo

Czy cesja umożliwia zaliczanie rat leasingowych w koszty przez firmę, na rzecz której ta cesja została dokonana?

Czy cesja umożliwia zaliczanie rat leasingowych w koszty przez firmę, na rzecz której ta cesja została dokonana? Czy cesja umożliwia zaliczanie rat leasingowych w koszty przez firmę, na rzecz której ta cesja została dokonana? Pytanie Spółka cywilna podpisała umowę leasingu operacyjnego samochodu osobowego na 2 lata.

Bardziej szczegółowo

Etyka pomiędzy teorią a praktyką. Dr Mariusz Szynkiewicz Instytut Filozofii UAM, ZFTiRC

Etyka pomiędzy teorią a praktyką. Dr Mariusz Szynkiewicz Instytut Filozofii UAM, ZFTiRC Etyka pomiędzy teorią a praktyką Dr Mariusz Szynkiewicz Instytut Filozofii UAM, ZFTiRC marszyn@amu.edu.pl Normy Moralne Obyczajowe Prawne Różnice: - Źródło - Sankcja - Zakres (za: M.Ś.) Etyka (ethos) Dział

Bardziej szczegółowo

Elementy Modelowania Matematycznego

Elementy Modelowania Matematycznego Elementy Modelowania Matematycznego Wykład 8 Programowanie nieliniowe Spis treści Programowanie nieliniowe Zadanie programowania nieliniowego Zadanie programowania nieliniowego jest identyczne jak dla

Bardziej szczegółowo

Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)

Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat) Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: matematyka, studia I stopnia, rok I Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat) 1. Informacje ogólne koordynator modułu Tomasz

Bardziej szczegółowo

Uniwersytet w Białymstoku. Wydział Prawa. Bartłomiej Oszkinis. Streszczenie rozprawy doktorskiej pt.

Uniwersytet w Białymstoku. Wydział Prawa. Bartłomiej Oszkinis. Streszczenie rozprawy doktorskiej pt. Uniwersytet w Białymstoku Wydział Prawa Bartłomiej Oszkinis Streszczenie rozprawy doktorskiej pt. Macierzyństwo w prawie materialnym i procesowym. Aspekty prywatnoprawne Promotor: Dr hab. Katarzyna Bagan

Bardziej szczegółowo

analiza drzewa zdarzeń

analiza drzewa zdarzeń Ocena ilościowa ryzyka: Zajęcia 7 analiza drzewa zdarzeń dr inż. Piotr T. Mitkowski piotr.mitkowski@put.poznan.pl Materiały dydaktyczne, prawa zastrzeżone Piotr Mitkowski 1 Plan zajęć Analiza drzewa zdarzeń

Bardziej szczegółowo