Simboluri Logic - logica - este disponibil pentru toți

simboluri logice

Fiecare știință este un sistem de cunoaștere, care este reprezentat într-o anumită limbă de filozofie, logică, matematică, care a creat diferite tipuri de logică (logica a teoriei) pentru a da cunoștințe despre metodele și tipurile de motive, forme și legi de gândire abstractă logică, rațională, metode de cunoaștere create limbaj special pentru imaginea în mod adecvat cunoștințele logice.

Limba logică - limbajul științei logicii, care a fost creată pentru o imagine adecvată a cunoștințelor logice; sistem de simboluri prin care a simulat cunoașterea logică despre obiect, a studiat știința logicii într-o anumită etapă a dezvoltării sale istorice.

Simbolismul logicii - un sistem de semne (caractere) utilizate în logica pentru a se referi la termenii, predicate, funcțiile logice propozitionale, relațiile dintre propoziții. set de caractere de simboluri numite logica. Simbolurile logice sunt împărțite în majore și minore

Apariția logicii simbolice a condus:

- dând conținut noi termeni logici, care au fost introduse în logica tradițională, deoarece momentul creării sale în secolul IV î.Hr.. e;

Noile teorii logice au început să iasă din cele 20-IES a secolului XX și dezvoltate în secolul XXI. Logica tradițională pentru mai mult de două mii de ani, folosit pentru a descrie gândire într-un limbaj comun. Abia în secolul al XIX-lea. treptat, a stabilit ideea că ar trebui să existe un limbaj artificial special care este construit pe o reguli strict formulate în scopuri logice. Această limbă nu este destinat pentru comunicare. Ar trebui să fie doar o singură sarcină - identificarea legăturile logice ale gândurilor noastre, dar pentru a rezolva această problemă este de a fi cu cea mai mare eficiență.

Principii de construcție a unui limbaj logic artificiale sunt bine concepute în logica modernă. Crearea era aproximativ aceeași valoare în domeniul de gândire pentru a inferență de inginerie care, în producție a fost tranziția de la muncă manuală la muncă mecanizată.

Special creat în scopul limbajului logicii se numește formalizat. Cuvintele lingvistice obișnuite sunt înlocuite cu litere individuale există și diferite caractere speciale. Limba formalizate - este „simbolic prin“ limba în care nu există nici un cuvânt de limbaj obișnuit. În limbajul formal al expresiei semantice sunt înlocuite cu litere, ci ca un simboluri logice.

; ¬ - semne care servesc pentru a indica negație; citește: „nu“, „care nu este adevărat“;

•; Λ; - semne de disjuncție, numit o conjuncție; citi: „și“;

V - semna pentru a indica ligamentului logic, numit disjuncție neexclusivă; Se poate citi: „sau“;

V - semn de stricte, sau eliminarea, disjuncției; citește: „fie, sau“;

→; - semne de implicare; Se poate citi: „în cazul în care, atunci“;

≡; ↔ - semne de echivalență propozițiilor; Se poate citi: „dacă și numai dacă“;

- cuantificator universal; Se citește „pentru toți“, „toate“;

- cuantificator existențial; Se citește „acolo“, „există cel puțin un“;

L; N, - semne pentru operatorul modal necesare; citi: „este necesar ca“;

M - semn pentru operatorul modal de posibilitate; citi: „este posibil ca“.

Alături de cele de mai sus, în logica sistemelor multiple utilizate și alte caractere specifice, de fiecare dată când explica exact ceea ce înseamnă un anumit simbol și modul în care este citit.

Ca semne de punctuație în limbi artificiale ale logicii sunt utilizate, ca și în limbajul matematicii, între paranteze.

Să luăm, de exemplu, unele observații și prezintă un pregnant număr de intrarea lor în limba logicii:

a) "Cel care crede în mod clar, prevede în mod clar" - (A → B); litera A este propoziția „Omul crede în mod clar,“ În - spunând: „Omul spune clar“ → - o grămadă de „dacă, atunci“;

b) „El - persoană educată nu este adevărat că el nu este familiarizat cu sonete lui Shakespeare“ - A Λ

B; Și - propoziția „El este un om educat,“ B - „El nu este familiarizat cu sonete lui Shakespeare,“ lambda - ligamentului „și“

c) "Dacă lumina are un caracter val, atunci când acesta este reprezentat ca un flux de particule (corpusculi), permise de eroare" - (A → (B → C)); A - „are natura de undă a luminii“ B - „lumina este reprezentat ca un flux de particule,“ C - „err“;

g) "Dacă ai fost la Paris, ai văzut Louvre sau Turnul Eiffel văzut" - (A → (B V c)); A - „Ai fost la Paris,“ B - „Ai văzut Luvru“ C - „Ai văzut Turnul Eiffel“;

d) „Dacă se încălzește materialul, se va topi sau se evapora, dar poate exploda“ - (A → (B V. Cu V D)); A - "Substanța este încălzită," B - "topit substanță" S - "substanță se evaporă," E - "explodează" substanță.

Aici este un alt exemplu simplu al tranziției de limba artificială a logicii limbajului obișnuit. Să variabila A spune „Teoria lui Darwin este o științifică“ B - „teoria datelor experimentale a lui Darwin poate fi confirmată prin“ C - „Teoria lui Darwin poate fi combătut prin date experimentale“ Ce declarații exprimate de formulele semnificative:

Răspunsul la această întrebare sunt, respectiv, trei declarații:

a) În cazul în care teoria lui Darwin este științifică, în cazul în care acesta poate fi confirmat de datele experimentale, acesta poate fi, de asemenea le-a negat;

b) În cazul în care teoria lui Darwin poate fi confirmată de datele experimentale, dar nu poate fi răsturnată de ei, nu este științific;

c) În cazul în care teoria lui Darwin nu poate fi confirmat prin date experimentale și nu poate fi răsturnată de ei, nu este științific.