→ Logika → Start Learning / Download MP3 Flashcards

Question		Answer
prawo logiczne start learning		forma zdaniowa według której musimy wnioskowac
modus ponendo ponens start learning		sposob potwierdzania przez potwierdzenie
logika formalna start learning		zajmuje sie prawami logiki. cele: formulowanie, porzadkowanie i metody weryfikacji praw logiki
syntaktyka start learning		przedmiotem skladni sa relacje miedzy wyrazeniami jezykowymi ze wzgledu na ich ksztalt (forme). inaczej stnaksa logiczna. okresla kryteria poprawnisci wyrazen jezykowych w oderwaniu od strony znacxeniowej
semantyka start learning		zajmuje sie relacjami miedzh wyrazeniami jezykowymi, a przedmiotami (desygnatami) czyli znaczniem jezyka. relacja miedzy wyrazeniem, a przedmiotem. 1) jako teoria oznaczania 2) jako teoria znaczenia
znaczenie start learning		wlasnosc wyrazen, dzieki ktorym je rozumiemy
definiowanie start learning		podanie cech istotnych dla danego przedmiotu
denotacja start learning		znaczenie, krorego zrodlem jest relacja miedzy zbiotem materilanych desygnatow, a ich nazwa
pragmatyka start learning		sposob uzycia slowa
nazwa start learning		wyrazenie ktore w zdabiach typu a jest b moze wystepowav w roli podmiotu lub orzeczenia
zdanie start learning		wyrazenie ktore podlega wartosciowaniu logicznemu
funktor start learning		wyrazenie laczace wyrazenie proste ze zlozonym
podzial zdsn kateogrycznych wd kryteriow jakosciowych start learning		twierdzace i przeczace
podzj zdan kategorycznych wg kryteriow ilosciowych start learning		ogolne i szczegolowe
bledy definiowania start learning		ifem per idem (to samo przez to samo); bledne kolo; ignotum per ignotum(niezrozumiale przez niezrozumiale); definicja za szeroka lub za waska
glowne pojecia teorii oznaczania start learning		spelnianie i definiowanie
glowne pojecia teorii znaczenia start learning		synonimicznosc, sensownosc, analitycznosc (prawdziwosc na mocy tego samego znaczenia)
pojecia wskazujace na pragmatyke start learning		stwierdzanie, uznawanie, przypuszczanie, przekonywanie, watpienie, zapytywanie, rozkazywanie
znak start learning		medium, pewnym srodkiem za pomoca ktorego dochodzi do komunikacji
typy znakow start learning		slowne, obrazowe, komunikowanke za pomoca milczenia
z czego sklada sie znak start learning		element znaczacy, oznaczony, relacja znakotworcza (cos ustalonego na mocy konwencji)
wyrazenie start learning		znak slowny stanowiacy calosc
wyrazenie zlozone start learning		sklada sie z co najmniej 2 wyrazow, polaczonycb ze soba skladniowo
wypowiedz start learning		wyrazenie pelniace funkcje komunikacyjna
rodzaje funckji start learning		komunikacyjna, opisowa, impresyjna, performatywna, ekspresywna, prezentacyjna
kategorie syntaktyczne start learning		nazwa, zdanie, funktor
desygnat start learning		przedmiot oznaczany przez dana nazwe
nazwy charakteryzuja sie start learning		forma, znaczeniem, oznaczeniem
pojecie start learning		tresc, czyli znaczenie nazwy
konotacja start learning		sposob rozumienia nazwy
cechy konstytutywne, a cechy konsekutywne start learning		konstytutywne - istotne, konsekutywne - nieistotne
podzial nazw ze wg na sposob istnienia desygnatow start learning		konkretne i abstrakcyjne
podzial nazw ze wg na sposob ujecia i strukture desygnatow start learning		zbiorowe (las), prywatne (nieupowazniony), relatywne (brat)
podzial nazw ze wg na sposob w jaki wskazuja na swoje desygnaty start learning		indywidualne (Gniezno), generalne (1. stolica polski) —> oznaczaja te sama nazwe ale maja inny sens; rownowaznosc - ten sam desygnat, rownoznacznosc ten sam sens
podzial nazw ze wg na znaczenie start learning		jednoznaczne i wieloznaczne
podzial nazw ze wg na ilosc desygnatow start learning		ogolne, jednostkowe i puste (jednorozec)
supozycje nazw start learning		prosta(jako znak konkretnego przedmiotu), formalna (jako nazwa dla calego gatunku), materialne uzycie wyrazu (jako znak dla niego samego)
zdanie w sensie logiki start learning		wyrazenie dookreslone, oznajmujace, w czasie terazniejszym lub przeszlym
wymien funktory start learning		nazwotworcze, zdaniotworcze i funkyorotworcze
cel definiowania start learning		uzyskanie jasnosci i precyzji uzywanych nazw, wprowadzenie nowego slowa do zasobu leksykalnego danego jezyka, modyfikacja dotychczasowego znaczenia i sposobu uzycia
budowa definiowania start learning		definiendum - to czego nie wiemy, definiens - zwrot orsy uzyciu ktorego definiujemy i lacznik definicyjny - spelnia funkcjd ustalnie rownowaznosci
funkcja zdaniowa start learning		wyrazenie zdaniowe, w ktorym wyatepuja ienne wolne - zmienne nazwowe
def realna start learning		odnoszaca sie do przedmiotow. odpowiedz na pytanie co to jest przedmiot, zdarzenie, relacja. podaje cechy konstytutywne
def. nominalna start learning		bez wskazywania, slowne tlumaczenie, supozycja materialna
def. kontekstowa start learning		termin DK to funktory, spojniki, kwantycikatory, operatory, nie majace znaczenia poza kontekstem
def. sprawozdawcza start learning		przekazujemy komus kto nie zna danego terminu uzywanegk w danym jezyju, albo gdy chcemy sie upewnic w jaki sposob uzywa nazwy rozmowca
def. projektujaca start learning		ustala znaczenie jakiegos slowa na przyszlosc w projektowanym sposobie uzycia slowa
def. operacyjna start learning		celem nie jest uchwycenie istoty pojecia(zjawiska) lecz poda is przepisow na zmienienie wielkosci odpowiadajacej danemu pojeciu
translacja start learning		znaczeniowa, oznaczania
rozumowanie bezposrednie start learning		opiera sie tylko na jednej przeslance
rozumowanie posrednie start learning		dwie lub wiecej przeslnek
blad formalny start learning		niepoprawny schemat wnioskowania
blad materialny start learning		ktoras z przeslanek jest niepoprawna
matematyka sylogistyki start learning		okreslenie zbioru zalozem
dwa podstawowe aksjomaty start learning		1) kazde a jest a; 2) istnieje przynajmniej jedno takie a ktore jest a
rachunek start learning		dany system musi spelniac to kryterium, aby moc mu przyznac status skutecznosci
rozstrzygalnosc start learning		w praktyce oznacza, ze kazsa regule sensowna jestemy w stanie zweryfikowac
zdanie zakresowe start learning		zdanie ktorego wartosc logiczna jest zdeterminowana przez relacje zachodzaca mieszy zakresami podmiotu i orzeczenia
przedmiot badan stlogistyki klasycznej (SK) start learning		rozumowania w ktorych przeslankami i wnioskami sa zdania zbudowane miedzy zakresami podmiotu i orzeczenia
wartosci zmiennych start learning		wartlsci nazwowe z wylaczeniem pewnych i uniwersalnych
alfabet SK start learning		1) spojniki —> a, e, i, o 2) terminy —> S, P, M1, M2
formula Sk start learning		wyrazenie sensowne ktore musi spelniac pewne kryteria skladniowe
wynikanie (ukryte) start learning		zachodzi na podstawie 1) zaleznksci podanych w przeslankach 2) mozna ustalic relacje zakresowa
sylogizm start learning		gdy mamy 3 przeslanki jawne i zdania kategoryczne
sylogizm wazny start learning		gdy spelnia wszystkie 6 warunkow
funktor start learning		koniunkcji, alternatywy zwyklej, implikacji i negacji
argument start learning		pewna liczba, zamknieta calosc
funkcja start learning		wyrazenie zawierajace zmienne, z krieego po podstawieniu wartosci za zmirnne otezymujemy zdanie
sad start learning		przynajmniej 2 pojecia polaczone spojka “jest”
sad logiczny start learning		kazdy sad mozna ujac jako wartosc pewnej funkcji dla 1 lub wielu argumentow
funkcja zdaniowa start learning		wyrazenie zawierajace zmienne, z ktorych otrzymyjemy zdania po podstawieniu za zmienne ich wartosci
typy f. zdaniowej start learning		wszystkie podstawienia sa zdaniami prawdziwi - TAUTOLOGIA, pewne tak inne nie - KONTRTAUTOLOGIA
zd. zlozone start learning		wyrazenie ktorego pewna czesc jest tez zdaniem w sensie logiki
argumentowosc start learning		z kazdym spojnikiem skojarzona jest liczba naturalna zwana jego argumentowoscia
wyrazenie jezyka KRZ start learning		kazdy skonczony ciag symboli alfabetu tego jezyka
wartosciowanie start learning		teoria zwiazkow miedzy wartoscia logiczna zdan zlozonych zbudowanych z uzyciem spojnikow ekstensjonalnych, a wartosciami logicznymi zdan skladowych
formula start learning		wyrazenie sensowne jezyka krz spelniajce warunki: kazda zmienna zdaniowa jesg wyrazeniem sensownym, jezi alfa i beta sa sensowne to alfa implikuje beta tez jest sensowne
pierwotne schematy wnioskowania start learning		przyjmujemy bez dowody ze okreone schematy sa niezawodne, sa to schematy pierwotne, a zdania stwierdzajace to nazwiemy regulami pierwotnymi
schematy wtorne start learning		opierajac sie na niezawodnosci schematow pierwotnych dowodzimy niezawodnosci innych schematow formalnych, ktore nazwiemy wtornymi
regula odrywania (RO) start learning		z implikacji i jej poprzednika wynika jego nastepnik
regula dolaczania koniunkcji (DK) start learning		z dwoch wyrazen zdaniowych wynika ich koniunkcja
regula opuszczania koniunkcji (OK) start learning		z koniunkcji wynika kazdy z jej czlonow
regula dolaczania alterntywy (DA) start learning		z dowolnego zdania wynika alternatywa, ktorej 1-szym lub 2-gim czlonem jest to zdanie
regula opuszczania alterntywy (OA) start learning		z alternatywy i negacji jedno z jej czlonow wynika 2-gi jej czlon
regula dolaczania rownowaznosci (DE) start learning		rownowaznosc odpowiadajaca danej implikacji wynika z tej implikacji i implikacji odwrotnej
regula opuszczania rownowaznosci (RE) start learning		z danej rownowsznosci wynika odpowiednia implikacja i implikacja odwrotna
dowod zalozeniowy start learning		reguly stwierdzajacej niezawodnosc danego schematu logicznego zaczynamy od wypisania zalozen dowodu ktorymi sa: przeslanki schematu, poprzedniki jego wniosku

logika

You must sign in to write a comment

More