logika

ZNAK - przedmiot (zjawisko, układ rzeczy) A jest znakiem przedmiotu B, gdy spostrzeżenie A wywołuje w spostrzegającym myśl o przedmiocie B.

JĘZYK - zbiór znaków wzbogacony o zbiór reguł używania ich

FUNKCJA PRAGMATYCZNA WYRAŻEŃ - sposób rozumienia wyrażenia przypisywany przez reguły języka

ZDANIE W SENSIE LOGICZNYM - wypowiedź oznajmiająca, posiadająca wartość logiczną

NAZWA - wyrażenie mogące pełnić funkcję podmiotu lub orzecznika orzeczenia imiennego w zdaniu podmiotowo-orzecznikowym postaci "A jest B"

FORMA ZDANIOWA - wyrażenie zawierające zmienne wolne, które staje się zdaniem m.in. po podstawieniu za te zmienne stałych tej samej kategorii co zmienne

FORMA NAZWOWA - wyrażenie zawierające zmienne wolne, które staje się nazwą po podstawieniu za zmienne odpowiednich stałych

FUNKTOR - wyrażenie tworzące wraz ze swymi argumentami wyrażenie złożone

FUNKTOR PRAWDZIWOŚCIOWY - taki funktor zdaniotwórczy, że wartość logiczna każdego zdania utworzonego za jego pomocą jest wyznaczona tylko przez wartości logiczne jego argumentów

OPERATOR - wyrażenie wiążące zmienne

DWA WYRAŻENIA należą do tej samej kategorii składniowej, gdy po zastępieniu jednego z tych wyrażeń drugie, dowolne wyrażenie zdaniowe zawierające wyrażenie zastępowane, po zastąpieniu pozostaje wyrażeniem zdaniowym.

EKWIWOKACJA - wyraz potencjalnie wieloznaczny użyty jest w danym rozumowaniu kilka razy i za każdym razem w innym znaczeniu

ELIPSA - wieloznaczność wyrażeń złożonych pochodząca z użycia wyrażeń okazjonalnych, bądź pochodząca z niedopowiedzeń

AMFIBOLIA - błąd niewłaściwej składni

DEF. RÓWNOŚCIOWA - zbudowana z 3 członów: definiowanego (definiendum), definiującego (definiens) i spójki definiującej o charakterze równości

DEF. KLASYCZNA - def. równościowa, w której definiens zbudowany jest z 2 części, tj. rodzaju najbliższego (genus proximus) i różnicy gatunkowej (differentia specifica)

WAR. FORM. POPR. DEF. - 1) w definiens nie może wystąpić wyraz definiowany ani żaden termin określany za pomocą tego wyrazu; 2) w definiendum żadna zmienna nie może się powtarzać; 3) zmienna występująca wolno po jednej stronie, powinna wystąpić jako zmienna wolna po drugiej stronie

PODZ. LOG. POJ. - układ przynajmniej 2 pojęć względem niego podrzędnych i zarazem między sobą równorzędnych

WAR. PRZEKŁADNOŚCI LOG. - język naturalny odnosi się do świata pośrednio, natomiast nie w każdej wypowiedzi językowej odnosimy się do świata

KANONY MILLA - pozwalają ustalić związki przyczynowe między występowaniem zjawisk różnego rodzaju 1) jednej zgodności 2) jednej różnicy 3) zmian towarzyszących 4) zgodności i różnicy 5) reszty

WYNIKANIE LOGICZNE - z wyr. zdaniowych wynika logiczne wyrażenie zdaniowe. Implikacja jest podstawieniem prawa logiki.

NIEZAWODNY SCH. WNIOSK. LOG. - schemat zapisany wyłącznie za pomocą stałych logicznych i zmiennych, w którym wniosek wynika logicznie z przesłanek, a racja stosunku wynikania jest prawdziwa

DED. SCH. WNIOSK. - schematy reguł gwarantujące odpowiednie wynikanie logiczne

WNIOSKOWANIE - proces myślowy, w którym na podst. uznania zdań zwanych jego przesłankami dochodzimy do uznania innego zdania zwanego jego wnioskiem

IND. NIEZUP. - ogólna prawidłowość uznana zostaje na podstawie skończonej liczby zdań stwierdzających niektóre występowanie tej prawidłowości

IND. ZUP. - ogólna prawidłowość uznana zostaje na podst. zdań stwierdzających wszystkie możliwe przypadki występowania prawidłowości

ROZUM. DEDUKCYJNE - wniosek wynika logicznie z przesłanek

ROZUM. REDUKCYJE - przesłanki (przede wszystkim przyczyny) stwierdza się na podstawie przyjętej tezy

PER ANALOGIAM - wnioskowanie przez analogię, podobne fakty pociągają te same (względnie podobne) konsekwencje

IND. MATEMATYCZNA - udowodnienie twierdzenia dla wartości początkowej i następnie uzasadnianie, że twierdzenie jest prawdziwe dla wartości większych