★ Wolnej encyklopedii. Czy wiesz? strona 218




                                               

Regressus ad infinitum

Regressus ad infinitum – nieskończonym łańcuchem lub do tyłu kroków, myślenie związane z uzasadnianiem definicja lub zrozumienie. Klasyczny przykład regressus ad w nieskończoność-to wyjaśnienie pojęć. Wyjaśnić sens "w domu", mogą opisać i inne po ...

                                               

Reguła dedukcyjna

Reguła Dedukcyjna i regułą inferencyjną, polecenie reguły są prawidłowe dla danego systemu dedukcyjnego, zasada przyjmować oferty, na podstawie aktualnych zdań o określonej strukturze, znane wcześniej. To formalnie wykształcenie zasady rozumowani ...

                                               

Reguła opuszczania koniunkcji

Zasada obniżenia dobrze – zasada zespołu polega na tym, że jeśli uznajemy prawdę?∧?, {\właściwości wyświetlania stylu wartość \alpha \land \beta}, to musimy również uznać, każdy z elementów pojedycznych to dobrze, tak? {\właściwości wyświetlania ...

                                               

Reguła podstawiania

Zasada substytucji, prawo Leibniza – jednym z kryteriów ekstensjonalności. Opowiada ona o niektórych właściwościach różnych wyrażeń odnoszących się do tego samego. A mianowicie, warunek X = Y, AX, można stwierdzić: Ai. Oznacza to, że jeśli obiekt ...

                                               

Reguła wnioskowania

Niech f {\właściwości wyświetlania stylu wartość F} być dowolny zestaw. Zasada e {\właściwości wyświetlania stylu wartość f} - taką relację R ⊆ ℘ (e × f {\właściwości wyświetlania stylu wartość P\subseteq \WP e\raz E}, dla których ∅ ∉ P DM. {\\wł ...

                                               

Reguły aksjomatyczne

Zazwyczaj maksymę, że - jak zwykle charakterystyczne zdania języka naturalnego jako pracy dyplomowej, niezależnie od logicznego znaczenia wszelkie inne sugestie zawarte w jeden i ten sam język. Ich odwrót zwykle inferencyjne.

                                               

Rozmaitość (logika tradycyjna)

Różnorodność, pojęcie z zakresu tradycyjnej logiki. Różnorodność nietożsamość gatunków. Pojęcie różnorodności odpowiada pojęć różnica dla rzadkich gatunków, które nietożsamością gatunków, a także izolacji, która wynosi jednostki nietożsamością.

                                               

Rozumowanie

Rozumowanie to proces myślowy, opierającego się na uznaniu za prawdziwe lub przekonań zgodnie z przekonaniami lub opinią uznanego wcześniej prawdziwe. W znaczeniu potocznym rozumowanie jest poprawne, to rozumowanie, które wymagają stosowania zasa ...

                                               

Rozumowanie abdukcyjne

Rozumowanie Abdukcyjne, abdukcja – pojęcie pochodne od filozofii Charles Pierce, utworzone dla oznaczenia procesu wyjaśnienia, jest to proces, wierząc, że dla pewnego zbioru faktów tworzy najbardziej prawdopodobne wyjaśnienie. Abdukcja termin cza ...

                                               

Rozumowanie dedukcyjne

Дедукция-to rozumowanie, logikę, cele, dojść do określonego wniosku na podstawie utworzono wcześniej założeń. Дедуктивное rozumowanie, w przeciwieństwie do indukcyjne rozumowanie, w całości zawiera się w swoich przypuszczeniach, czyli nie wymaga ...

                                               

Rozumowanie indukcyjne

Indukcja-jest to forma myślenia nazywa редуктивной likwidacji "od szczegółu do ogółu", czyli wniosek o wiarygodności prawdziwości konsekwencjami i rodzaju indukcji jest bardziej skomplikowane niż prosty indukcję enumeracyjną niekompletne wnioski ...

                                               

Rozumowanie redukcyjne

Przejście rozumowania – ma obsesję na punkcie Jan Łukasiewicz, logika rozumowania. Zdaniem Łukasiewicza, metody przywództwa można podzielić na uprawnienia do odliczenia i przemijające. Indukcyjna rozumowanie, że większość autorów opowiada się prz ...

                                               

Różnica (logika)

Różnica w logice tradycyjnej – charakterystyka przedmiotu i porównywanego z obiektu B, obiekt B cechy posiada. Tradycyjna logika jest wspólne, aby zrozumieć różnice jakościowe i ilościowe różnice. Zasadnicza różnica w przeciwieństwie do pojęcia p ...

                                               

Sąd (logika)

Sąd w sensie logicznym – sens zdania w sensie logiki. Sąd spełnia różne zdania o tym samym znaczeniu, co jest dość logiczne. Od sądów w sensie logicznego różni się sądy w sensie psychologicznym, i doświadczenie, odpowiednie sądy w sensie logiki. ...

                                               

Schemat wnioskowania

Schemat rozumowania, schemat inferencyjny systemu wyrażenia, podnosząc się z prośbą zastąpić, tak jak to założenia i deklaracje zmiennych zdaniowymi. Schemat powstawania mogą dokładnie określić, jak kilka postaci, gdzie X jest dowolną stałą i koń ...

                                               

Soryt (logika)

Soryt – zwarcie sylogizmów, w którym wyniki myślenia od najmłodszych sylogizmów podstaw do wypłaty w przyszłości sylogizmów.

                                               

Sprawdzanie

Sprawdź również konfirmacja jest jedną z głównych odmian rozumowania obok tworzenia, zarządzania i wyjaśnienia. Zameldowanie Ajdukiewiczem definicja – oferta, na przykład, oferta "A, B" rozwiązania problemu, który znajdzie swoje werbalne wyrażeni ...

                                               

Sprzeczność (kwadrat logiczny)

Sprzeczność jest jednym z logicznych powiązań, kwadrat logiczny, który występuje między zdaniami. Zdania są ze sobą sprzeczne, jeśli jeden jest bezpośrednim zaprzeczeniem drugiego. Dwa zdania, które są sprzeczne jedno musi być prawdziwe, a drugie ...

                                               

Stan rzeczy

Stan rzeczy ważne lub ewentualnego związku obiektów, semantycznych kart, oferty sensowne. To, co się dzieje-to fakt. Sytuacji mogą być następujące: Między tymi obiektami istnieje pewna więź. Dzieje się w procesie. Jakieś wydarzenie. (Some events) ...

                                               

Sylogizm

Sylogizm – schemat wnioskowania na podstawie dwóch paczek, które zawierają wspólny element, a każdy element wniosku zawiera dokładnie jeden pokój.

                                               

Sztywny desygnator

Dysk logo – w logice modalnej termin desygnuje jeden i ten sam obiekt we wszystkich możliwych światach, w których obiekt istnieje. Wyrażenie to zostało po raz pierwszy zdefiniowane, Saul Kripke w "nazywanie i konieczność". Kripke uważa, że nazwy ...

                                               

Świat możliwy

Świat jest możliwy – w logice i modalnej. jak to wszystko może wyglądać. Dokładniej: być może świat jest pełny lub najlepszy stan rzeczy, w którym pełnia może być zdefiniowana w następujący sposób: załóżmy, że stan s zawiera stan rzeczy, jeśli ni ...

                                               

Tautologia (logika)

Tautologia – wyrażenie, które jest zawsze prawdziwe. W logicznym znaczeniu został użyty po raz pierwszy przez Ludwika Wittgensteina Logiczno-filozoficznym traktacie 1922. Tak tautologiami wszystkie klasyczne prawa i rachunek kwantyfikatorów. Co n ...

                                               

Teoria deskrypcji

Teoria deskrypcji jest, w szczególności, teorii składania ofert, zawierających określone deskrypcję – czyli te nazwy, które mogą stać się przedmiotem i sugestie w postaci "A - B" i intencji mówiącego muszą należeć do jednego tematu), np.: "Autor ...

                                               

Teoria nazw

Teoria – sekcja logiki formalnej, w tym logiki kształtowania układu, w którym wystąpić zmienne nazwowe i funktory zdaniotwórcze od argumentów nazwowych, bada nazwy i struktury prostych zdań, zawierających nazwy. W ramach klasycznego podejścia ist ...

                                               

Teza

Teza – twierdzenie, które jest uzasadnieniem. W kategoriach matematycznych, ta część twierdzenia trzeba udowadniać, opierając się na przyjęte założenie. Teza jak filozoficznej koncepcji, stosunek do dialektyki Hegla oznacza pierwszy element triad ...

                                               

Topika

Topicu-to nauka, która bada wynajdywaniem, analiza, klasyfikacja i zastosowanie toposów, co jest często używane w argumentacji lub refutacji oświadczeń lub dyskusji. Uważa się, dyscyplina retoryka i dialektyka, a czasem i literackiej teorii klasy ...

                                               

Tożsamość (logika)

Tożsamość w logice: postawa, że każda rzecz ma się sam. Dwie rzeczy pasują do siebie wtedy i tylko wtedy, gdy jedno i to samo. Na przykład, Фосфорос i Геспер identyczne do siebie – każda z tych nazw to dysk Logos planety Wenus. Osobowość w sensie ...

                                               

Układ twierdzeń zamknięty

System zatwierdzania zamknięty – system twierdzeń, w których: Tezy twierdzenia wzajemnie się wykluczają. Założenia twierdzenia wyczerpuje wszystkich możliwości. T 1, T 2, T 3., T-n – twierdzenia P 1, p 2, p 3., n – bass Pytanie 1 Pytanie 2 Pytani ...

                                               

Uzasadnienie

Uzasadnieniem tego punktu widzenia jest to zbiór praw i przekonań, które obsługują ten punkt widzenia. Wybierz epistemiczne uzasadnienie filozoficzne, pragmatycznego lub religijne. W filozofii istnieją różne typy i teorie uzasadnienie jej potrzeb ...

                                               

Warunek konieczny

Warunkiem koniecznym do znalezienia, wynikające z tego faktu. Jeśli to musi być z tego względu, że to oświadczenie. Na przykład: jeśli liczba jest podzielna przez 15, to jej ostatnia cyfra to 0 lub 5. To oczywiste, bo liczba jest podzielona na 15 ...

                                               

Warunek wystarczający

Wystarczający warunek – warunek, z którego w jakiś sposób. Jeśli warunek tyle się dzieje, to jest ten fakt. Na przykład, jeśli liczba jest podzielna przez 10, a następnie dzieli się na 5. Fakt podzielności przez 10, to wystarczający warunek podzi ...

                                               

Własność (filozofia)

Własność – w wąskim sensie synonimem cechy. W szerszym sensie, że każde słowo, które należy do tematu: Tak, trzeba zrozumieć właściwości, typ właściwości.

                                               

Wnioskowanie

Wniosek jest jeden z głównych odmian rozumowania kolejnym testem dla drużyny i wyjaśnienia. Wniosek dla Ajdukiewiczem Kazimierz – tyle, że na podstawie dotychczas znanych zdań statki, aby dotrzeć do nowego zrozumienia do tej pory nie uznała ofert ...

                                               

Wnioskowanie entymematyczne

Wydalanie entymematyczne również entymemat lub entymem – to дедуктивное rozumowanie, w którym był ukryty, jedna z przesłanek. W weekend, w którym pominięte niektóre potrzebujesz miejsca, wniosek logicznie nie wynika z dobrze przyjętych założeń – ...

                                               

Wyjaśnianie

Wyjaśnienie jest jednym z najbardziej znanych odmian rozumowania obok wnioskowania, zarządzania i kontroli. Wyjaśnienie, zwany także tłumaczenie, zadanie, które jest wskaźnikiem wytrzymałości, który jest określony na wniosek USA. Innymi słowy, wy ...

                                               

Wynikanie logiczne

Formuła zdaniowa a języka pierwszego rzędu L nazywa się logiczną konsekwencją wielu formuł wyroku x języka l firmy WTW istnieje: dla każdej interpretacji M języka L: jeśli wszystkie formuły ze zbioru X na wartość true w interpretacji M, to formuł ...

                                               

Wypowiedź apodyktyczna

Oświadczenie władzy – w modalnej logiki wypowiedź opiera się z funktora modalnego "powinno być" o potrzebie i argument w postaci zdania lub jego zaprzeczenie. Przykład: Kraków powinien być stolicą Polski. Wypowiedzi modalne są zdania w sensie log ...

                                               

Wypowiedź problematyczna

Wniosek jest problematyczne w modalnej logiki wypowiedź opiera się z funktora modalne można, potwierdzające możliwość i argument w postaci zdania lub jego zaprzeczenie. Przykład: jan kowalski może mieć rację. Wypowiedzi modalne są zdania w sensie ...

                                               

Zasada ekstensjonalności

Zasada ekstensjonalności – zachowanie końcowego schematy zdań szkody w jego pierwotnej wartości logiczne, pomimo pojawienie się szeregu przekształceń w ten sam sposób wymienić wszystkie lub niektóre z elementów sam NAN, składający się z innych el ...

                                               

Zasada tożsamości

Zasada tożsamości zasada, względny życiowa zasada, która głosi, że wszystko, co istnieje jest to, że po raz pierwszy Parmenidesa. Ustawa gra logiczna, w postaci klasycznego rachunku zdań głoszące, że P ⟺ P {\właściwości wyświetlania stylu wartość ...

                                               

Zasada wielkoduszności

Zasada wielkoduszności – założenie o tym, że interpretacja tekstu muszę przyznać, że ten tekst nie jest racjonalne. Interpretacja spróbować zbadać go bardziej korzystne dla autora tekstu lub wypowiedzi w następujący sposób. Główną zaletą stosowan ...

                                               

Zdanie egzystencjalne

Zwroty życia – zdanie, które informuje o istnieniu rzeczy, osoby lub zjawiska w pewnych okolicznościach. W różnych językach różne struktury, mogą być wprowadzone specjalne konstrukcje, jak, na przykład, w języku angielskim, lub, przy Okazji, jak ...

                                               

Zdanie hipotetyczne

Hipotetyczne zdanie - termin dawnej tradycyjnej logice, która obejmuje trzy rodzaje zdań: Propozycje wspólnego łotewski. copulativae - zdnia wyrafinowane połączenie spójnikiem "i". Oferty несвязного łacinie. disiunctivae - oferuje to wyrafinowane ...

                                               

Zmienna indywiduowa

Indywiduowa zmienna - zmienna, której nie można wymienić na dowolny termin, który nie jest wyjątkowy. Przez Куайн, a będą traktowane jako równoważne dużo zaimków języka potocznego.

                                               

Zmienna związana

Zmienna ta związana jest - w przeciwieństwie do wolnej zmiennej do zmiennej, która znajduje się w zasięgu operatora. Dla zmiennych nie da się zastąpić innymi wyrażeniami. Przykładem zmiennych mogą być zmienne, związane кванторами.

                                               

Zupełność

W logiki, semantycznej zupełność jest testowanie systemów formalnych. System reguł semantycznie pełnej", jeśli wszystkie tautologie zatwierdzenia i "w prawo", gdy jego zatwierdzenia tautologiami. Kurt Гедель, Leon Хенкин, i Emil post Wszystkie op ...

                                               

Matematyka czysta

Czysta matematyka to matematyka, motywowane innymi celami niż jego praktyczne zastosowanie. Różni się rygoryzm i abstrakcji. Jako odrębna gałąź nauk matematycznych funkcjonuje od XIX wieku, czasami zidentyfikowano go jako matematykę spekulatywną, ...

                                               

Matematyka parakonsystentna

Matematyka parakonsystentna – próba budowania struktur matematycznych na podstawie logiki parakonsystentnej, a nie klasyczna logika. Rozwój matematyki na fundamencie parakonsystentnych została po raz pierwszy zaproponowana Newton Da Costa w 1958 ...

                                               

MSC 2000

MSC 2000 – hierarchiczna klasyfikacja badań naukowych w dziedzinie matematyki, wyrażone Amerykańskim społeczeństwem z matematyki.

Wielojęzycznym słowniku

Tłumaczenie