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