Libro acquistabile con carte di credito e carte prepagate Postepay.

     

    Libro acquistabile con Carta Docente.

     

    Libro acquistabile con Carta Cultura Giovani e Carta del Merito.

     

    Libro acquistabile in tre rate mensili Klarna.

     

    Il costo del libro sarà addebitato solo all’avvio della consegna.

     

    Scegli il punto di ritiro dei libri più comodo.

    Elementi di storia della logica formale

    Riferimento: 9788869722981

    Editore: Bonomo
    EAN: 9788869722981
    isbook: 1
    Autore: Bagni Giorgio T.
    Collana: Matematica: didattica, storia e divulgazione
    In commercio dal: 01 Settembre 2023
    Pagine: 127 p., Libro in brossura
    Non disponibile
    14,50 €
    IVA inclusa
    Quantità
    Non disponibile

    Ricordati che otterrai la ricompensa del 5 per cento del prezzo di copertina quando acquisterai una copia di questo libro. La ricompensa potrà essere utilizzata per pagare i tuoi prossimi acquisti, oppure essere convertita in codici voucher o bonificata sul tuo conto bancario.
    Aderisci al nostro programma di affiliazione per proporre la vendita di questo libro. Guadagnerai commissioni ogni volta che ne favorirai la vendita.
    Iscriviti al programma di affiliazione
    Chiudere

    Descrizione

    La logica formale è lo studio del ragionamento deduttivo: quello che conta è la forma delle affermazioni, non la loro verità; conta la validità della deduzione (comunque, una deduzione valida porta da un'affermazione vera a un'affermazione pure vera). Essa risale ad Aristotele, che per primo costruì la teoria di una particolare forma di ragionamento, il sillogismo. Con la scolastica medioevale si ebbe un'altra rifioritura della logica formale, con acute analisi. La logica formale si identifica oggi con la logica matematica, sviluppatasi a partire dalla metà dell'Ottocento come applicazione alla logica di metodi matematici. Con la crisi dei fondamenti della matematica, la logica è considerata da alcuni come la base su cui costruire la matematica, da altri come il linguaggio base delle teorie formalizzate.
    E-book non acquistabile