Propunere (logică)

În filozofia și logica modernă, o propunere este conținutul sensului transmis de o propoziție . O propoziție în logica clasică are întotdeauna una dintre cele două valori de adevăr : adevărat (V) sau fals (F). Propozițiile sunt principalii constituenți ai argumentelor cu care se ocupă logica , în special în logica propozițională .

Descriere

Este posibil ca propoziții lingvistice diferite să aibă același sens, de exemplu, zăpada este albă (în engleză) și la neve è bianco (în italiană), dar ambele spun același lucru, și anume că zăpada este albă. Prin urmare, ei exprimă aceeași propoziție logică. Acest lucru se poate întâmpla și cu două propoziții lingvistice diferite exprimate în aceeași limbă, de exemplu O precipitație de mici cristale de apă înghețată este albă este exprimată în italiană, la fel cum zăpada este albă , ceea ce înseamnă același lucru. În acest sens, propoziția se distinge de propoziție, în sensul că propoziții diferite pot exprima aceeași propoziție.

Propunerile sunt denumite de obicei conținutul unei credințe sau al unei credințe . Mai mult, pot fi obiecte de dorință , preferință , intenție .

Declarații declarative

Nu toate afirmațiile pot fi asociate cu un tabel de adevăr. Declarațiile declarative sunt cele pentru care se poate decide dacă sunt adevărate sau false. Organonul lui Aristotel, în partea din primele analitice , exemplifică câteva tipuri de propoziții nedeclarative: întrebări, ordine, poezii, rugăciuni. Lingvistul Chomsky a adăugat de asemenea cazurilor de indecizie toate enunțurile lipsite de simț complet, precum: „ Ideile verzi incolore dorm furios”. ^[1]

Notă

^ Massimo Piattelli-Palmarini, limba nu poate fi învățată , la reading.corriere.it . Adus la 17 noiembrie 2020 .

Bibliografie

Irving M. Copi și Carl Cohen, Introducere în logică , Bologna, Il Mulino, 1999.

Elemente conexe

Problema lui Gettier

linkuri externe

Propoziție , în Dicționar de filosofie , Institutul Enciclopediei Italiene , 2009.
( EN ) Propunere , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.

Controlul autorității	LCCN (EN) sh85107552 · GND (DE) 4003809-9

Portalul de filosofie

Portalul de matematică

[1] Massimo Piattelli-Palmarini, limba nu poate fi învățată , la reading.corriere.it . Adus la 17 noiembrie 2020 .

[1]

V · D · M Conectori logici
Tautologie( $\top$ ${\ displaystyle \ top}$ $\top$ )
Neconjuncție ( $\uparrow$ ${\ displaystyle \ uparrow}$ $\ Săgeata în sus$ ) · Implicare inversă ( $\leftarrow$ ${\ displaystyle \ leftarrow}$ $\ sageata stanga$ ) · Implicare ( $\rightarrow$ ${\ displaystyle \ rightarrow}$ $\ sageata dreapta$ ) · Disjuncție inclusiv ( $\lor$ ${\ displaystyle \ lor}$ $\ lor$ )
Negare ( $\neg$ ${\ displaystyle \ neg}$ $\ neg$ ) · Disjuncție exclusivă ( ${\dot {\lor }}$ ${\ displaystyle {\ dot {\ lor}}}$ ${\ dot {\ lor}}$ ) · Implicare dublă ( $\leftrightarrow$ ${\ displaystyle \ leftrightarrow}$ $\ leftrightarrow$ ) · Propunere
Nedisjuncție inclusivă ( $\downarrow$ ${\ displaystyle \ downarrow}$ $\ sageata in jos$ ) · Neimplicare ( $\nrightarrow$ ${\ displaystyle \ nrightarrow}$ $\ nrightarrow$ ) · Implicare non-inversă ( $\nleftarrow$ ${\ displaystyle \ nleftarrow}$ $\ nstânga$ ) · Conjuncție ( $\land$ ${\ displaystyle \ land}$ $\ teren$ )
Contradicție ( $\bot$ ${\ displaystyle \ bot}$ $\ bot$ )