Logika- Wykłady 2

Nasza ocena:

3
Pobrań: 7
Wyświetleń: 602
Komentarze: 0
Notatek.pl

Pobierz ten dokument za darmo

Podgląd dokumentu
Logika- Wykłady 2 - strona 1

Fragment notatki:

WIEDZA
RACJONALNA IRRACJONALNA
POTOCZNA NAUKOWA
ARTYSTYCZNO SPEKULATYWNA
- LITERACKA
Właściwości wiedzy naukowej:
OGÓLNOŚĆ
(nie ograniczamy
czasoprzestrzennie)
PEWNOŚĆ DUŻA INFORMATYCZNA PROSTOTA
EPISTEMOLOGICZNA ZAWARTOŚĆ LOGICZNA
(uzasadniona, nie tak (im większa, tym
jak wiarygodność) mniejsza ścisłość)
ŚCISŁOŚĆ
(im większa, tym mniejsza
prostota logiczna)
Zadanie:
Dziadek z babcią mają razem 100 lat. Ile ma każde z nich lat, jeżeli dziadek jest o tyle lat starszy od babci, ile babcia miała wtedy, kiedy dziadek miał tyle, ile babcia ma teraz?
Odpowiedź: Dziadek ma 60 lat, babcia 40.
Podział nauk:
WIEDZA NAUKOWA
(NAUKI)
FORMALNE EMPIRYCZNE
(egzystuje w świecie (odnoszą się do doświadczeń
konstuktów teoretycznych) np. POLITOLOGIA)
MATEMATYKA LOGIKA PRZYRODNICZE SPOŁECZNE
(HUMANISTYCZNE)
(dotyczące człowieka)
FIZYCZNE BIOLOGICZNE
(dotyczy materii (dotyczy materii
nieożywionej) ożywionej)
Nauki kompleksowe: cybernetyka, informatyka, teoria komunikacji, itp.
Nauki stykowe: biochemia, biotechnologia, psychosocjologia, fizykoterapia, itp.
Nauki stosowane: medycyna, socjologia, pedagogika, technologia, itp.
BADANIE TEORII
ŚWIAT KONSTRUKTÓW
TEORETYCZNYCH
TEORIE PRZEWIDYWANIA
FAKTY FAKTY
ŚWIAT FAKTÓW
EMPIRYCZNYCH
UZASADNIENIE:
weryfikacja - całkowite potwierdzenie prawidłowości twierdzenia,
konfirmacja - częściowe potwierdzenie, np. badania statystyczne,
dyskonfirmacja - potwierdzenie przez zaprzeczenie (orzekamy o nieistnieniu),
falsyfikacja - nie ma przypadków sprzecznych ze stwierdzeniem i są one niemożliwe.
Dedukcja - przewidywania oparte o hipotezy.
Indukcja - nagromadzenie danych, które pozwolą na stworzenie hipotezy.
Teoria - zbiór twierdzeń wewnętrznie niesprzecznych, jak najwięcej ujęć ekstremalnych.


(…)

…)
Dowód:
(RP) do (1) q / ~~ p
(p ~~ q) [( ~~ p r) (p r)]
(RP) do (4) r / p
(p ~~ q) [( ~~ p p) (p p)]
p ~~ p (z 2)
( ~~ p p) (p p) (RO)
~~ p p (3) (RO)
p p
C.B.D.O.
Zadanie:
Udowodnij prawo wyłączonego środka p v ~ p
Dowód wprost:
p p v q (z A. 9)
p (z dowodu wprost)
(RP) q / ~ p
p p v ~ p
p (z 2) (RO)
p v ~ p
C.B.D.O.
15

… … - zmienne logiczne/zdaniowe - dowolne zdanie w sensie logicznym, któremu można przypisać:
prawda = 1,
fałsz = 0.
Zdanie w sensie logicznym jest to zdanie najczęściej oznajmujące.
Można postawić pytanie, na które odpowiada się tak lub nie.
Pytania retoryczne, erystyczne, nie zawsze otrzymują odpowiedzi w sensie logicznym.
Zdanie oznajmujące może posiadać wartość logiczną - prawda/fałsz.
Spójniki zdaniowe…
…, przy której występuje.
Koniunkcja jest prawdziwa tylko, gdy obydwa człony są prawdziwe.
Alternatywa jest fałszywa, jeżeli obydwa człony są fałszywe.
Implikacja jest fałszywa, gdy poprzednik (przed strzałką) jest prawdziwy, a następnik (po strzałce) fałszywy (nie może z prawdy wynikać fałsz).
Równoważność jest prawdziwa, jeżeli jej obydwa człony są jednakowej wartości logicznej.
Dysjunkcja jest fałszywa, gdy obydwa…

obiekcie i jednej kwantyfikator
cesze lub o wielu egzystencjalny)
obiektach, ale
jednej cesze) CZYSTE MIESZANE
(zawierają (zawierają
przynajmniej kwantyfikator
jeden kwantyfikator mały i duży)
molekularny) NUMERYCZNE ŚCISŁE
ATOMOWE MOLEKULARNE (ograniczona ilość (są czaso-
(jeden obiekt, opisywanych obiektów przestrzennie
jedna cecha) i zależności) nieograniczona)
WERYFIKACJA
KONFIRMACJA
DYSKONFIRMACJA…
... zobacz całą notatkę

Komentarze użytkowników (0)

Zaloguj się, aby dodać komentarz