Dichiarazioni false e vere sono spesso usate nella pratica linguistica. La prima valutazione è percepita come una negazione della verità (falsità). In re altà vengono utilizzati anche altri tipi di valutazione: incertezza, indimostrabilità (dimostrabilità), insolvibilità. Discutendo per quale numero x l'affermazione è vera, è necessario considerare le leggi della logica.
L'emergere della "logica multivalore" ha portato all'uso di un numero illimitato di indicatori di verità. La situazione con gli elementi della verità è confusa, complicata, quindi è importante chiarirla.
Principi teorici
Una dichiarazione vera è il valore di una proprietà (attributo), che viene sempre considerata per una determinata azione. Che cos'è la verità? Lo schema è il seguente: "La proposizione X ha un valore di verità Y nel caso in cui la proposizione Z sia vera."
Guardiamo un esempio. È necessario capire per quale delle affermazioni date l'affermazione è vera: "L'oggetto a ha il segno B". Questa affermazione è falsa in quanto l'oggetto ha l'attributo B e falsa in quanto a non ha l'attributo B. Il termine "falso" in questo caso è usato come negazione esterna.
Determinazione della verità
Come viene determinata un'affermazione vera? Indipendentemente dalla struttura della proposizione X, è consentita solo la seguente definizione: "La proposizione X è vera quando c'è X, solo X."
Questa definizione permette di introdurre il termine "vero" nella lingua. Definisce l'atto di concordare o parlare con ciò che dice.
Detti semplici
Contengono un'affermazione vera senza una definizione. Ci si può limitare a una definizione generale nella proposizione "Non-X" se questa proposizione non è vera. La congiunzione "X e Y" è vera se X e Y sono vere.
Esempio di dire
Come capire per quale x l'affermazione è vera? Per rispondere a questa domanda usiamo l'espressione: "La particella a si trova in una regione dello spazio b". Considera i seguenti casi per questa affermazione:
- impossibile osservare la particella;
- puoi osservare la particella.
La seconda opzione suggerisce alcune possibilità:
- la particella si trova effettivamente in una certa regione dello spazio;
- non è nella parte prevista dello spazio;
- la particella si muove in modo tale che sia difficile determinare l'area della sua posizione.
In questo caso, si possono usare quattro termini di valore di verità che corrispondono alle possibilità date.
Per strutture complesse, sono appropriati più termini. Questo èindica valori di verità illimitati. Per quale numero l'affermazione è vera dipende dall'opportunità pratica.
Il principio dell'ambiguità
Secondo ciò, qualsiasi affermazione è falsa o vera, cioè è caratterizzata da uno dei due possibili valori di verità: "falso" e "vero".
Questo principio è alla base della logica classica, che è chiamata teoria dei due valori. Il principio di ambiguità è stato utilizzato da Aristotele. Questo filosofo, discutendo per quale numero x l'affermazione è vera, la considerava inadatta per quelle affermazioni che si riferiscono a futuri eventi casuali.
Stabilì una relazione logica tra il fatalismo e il principio dell'ambiguità, predestinazione di ogni azione umana.
Nelle epoche storiche successive, le restrizioni imposte a questo principio sono state spiegate dal fatto che complica notevolmente l'analisi delle affermazioni su eventi pianificati, nonché su oggetti inesistenti (non osservabili).
Pensando a quali affermazioni sono vere, non è sempre stato possibile trovare una risposta chiara con questo metodo.
I dubbi emergenti sui sistemi logici sono stati dissipati solo dopo lo sviluppo della logica moderna.
Per capire per quale dei numeri dati l'affermazione è vera, è adatta la logica a due valori.
Principio di ambiguità
Se riformulatovariante di un'affermazione a due valori per rivelare la verità, puoi trasformarla in un caso speciale di polisemia: qualsiasi affermazione avrà un n valore di verità se n è maggiore di 2 o minore di infinito.
Come eccezioni ai valori di verità aggiuntivi (sopra "falso" e "vero") ci sono molti sistemi logici basati sul principio di ambiguità. La logica classica a due valori caratterizza gli usi tipici di alcuni segni logici: “o”, “e”, “non”.
La logica multivalore che pretende di essere concretizzata non dovrebbe contraddire i risultati di un sistema a due valori.
La convinzione che il principio di ambiguità porti sempre a un'affermazione di fatalismo e determinismo è considerata erronea. Inoltre è errata l'idea che la logica multipla sia vista come un mezzo necessario per realizzare un ragionamento indeterministico, che la sua accettazione corrisponda al rifiuto dell'uso del determinismo rigoroso.
Semantica dei segni logici
Per capire per quale numero X l'affermazione è vera, puoi armarti di tavole di verità. La semantica logica è una sezione della metalogica che studia la relazione con gli oggetti designati, il loro contenuto di varie espressioni linguistiche.
Questo problema era considerato già nel mondo antico, ma nella forma di una vera e propria disciplina indipendente fu formulato solo a cavallo tra il XIX e il XX secolo. Opere di G. Frege, C. Pierce, R. Carnap, S. Kripkeha permesso di svelare l'essenza di questa teoria, il suo realismo e la sua convenienza.
Per un lungo periodo di tempo, la logica semantica si è basata principalmente sull'analisi dei linguaggi formalizzati. Solo di recente la maggior parte della ricerca è stata dedicata al linguaggio naturale.
Ci sono due aree principali in questa tecnica:
- teoria della notazione (riferimento);
- teoria del significato.
Il primo riguarda lo studio del rapporto di varie espressioni linguistiche con gli oggetti designati. Come le sue categorie principali, si possono immaginare: "designazione", "nome", "modello", "interpretazione". Questa teoria è la base per le dimostrazioni nella logica moderna.
La teoria del significato si occupa della ricerca di una risposta alla domanda su quale sia il significato di un'espressione linguistica. Spiega la loro identità nel significato.
La teoria del significato gioca un ruolo significativo nella discussione dei paradossi semantici, nella cui soluzione qualsiasi criterio di accettabilità è considerato importante e rilevante.
Equazione logica
Questo termine è usato nel metalinguaggio. Sotto l'equazione logica, possiamo rappresentare il record F1=F2, in cui F1 e F2 sono formule del linguaggio esteso delle proposizioni logiche. Risolvere una tale equazione significa determinare quegli insiemi di valori veri di variabili che saranno inclusi in una delle formule F1 o F2, in base alle quali verrà osservata l'uguaglianza proposta.
Il segno di uguale in matematica in alcune situazioniindica l'uguaglianza degli oggetti originali e in alcuni casi è impostato per dimostrare l'uguaglianza dei loro valori. La voce F1=F2 può indicare che stiamo parlando della stessa formula.
In letteratura molto spesso con logica formale si intende un sinonimo come "il linguaggio delle proposizioni logiche". Le "parole corrette" sono formule che servono come unità semantiche usate per costruire il ragionamento in una logica informale (filosofica).
Una frase agisce come una frase che esprime una proposizione particolare. In altre parole, esprime l'idea della presenza di qualche stato di cose.
Qualsiasi affermazione può essere considerata vera nel caso in cui lo stato di cose in essa descritto esista nella re altà. In caso contrario, tale affermazione sarà falsa.
Questo fatto divenne la base della logica proposizionale. C'è una divisione delle affermazioni in gruppi semplici e complessi.
Quando si formalizzano semplici varianti di istruzioni, vengono utilizzate formule linguistiche elementari di ordine zero. La descrizione di affermazioni complesse è possibile solo con l'uso di formule linguistiche.
Sono necessari connettivi logici per denotare le unioni. Una volta applicate, semplici affermazioni si trasformano in forme complesse:
- "non",
- "non è vero che…",
- "o".
Conclusione
La logica formale aiuta a scoprire per quale nome un'affermazione è vera, implica la costruzione e l'analisi di regole per trasformare determinate espressioni che le preservanovero valore indipendentemente dal contenuto. Come sezione separata della scienza filosofica, apparve solo alla fine del diciannovesimo secolo. La seconda direzione è la logica informale.
Il compito principale di questa scienza è sistematizzare le regole che consentono di derivare nuove affermazioni basate su affermazioni comprovate.
Il fondamento della logica è la possibilità di ottenere alcune idee come conseguenza logica di altre affermazioni.
Questo fatto permette di descrivere adeguatamente non solo un certo problema della scienza matematica, ma anche di trasferire la logica alla creatività artistica.
L'indagine logica presuppone la relazione che esiste tra le premesse e le conclusioni da esse tratte.
Può essere attribuito al numero di concetti iniziali e fondamentali della logica moderna, che è spesso chiamata la scienza di "ciò che ne consegue".
È difficile immaginare di provare teoremi in geometria, spiegare fenomeni fisici, spiegare i meccanismi delle reazioni in chimica senza tale ragionamento.
