lunedì 2 ottobre 2017

Lezione 1, lunedì 2 ottobre 2017



La logica si occupa di:

a) proposizioni, dimostrazioni con le quali le proposizioni sono accettate, refutazioni con le quali le proposizioni sono respinte, dibattiti
b) classificazioni
c) programmi, macchine, reti
d) organizzazione delle conoscenze

perché si tratta di attività che si compiono in tutte le branche della nostra conoscenza (e le"discipline" sono branche della nostra conoscenza).

Un utile esercizio è individuare proposizioni (vedi ad esempio l'elenco fatto nelle pagine 3-4 del testo) e immaginare come possano essere fatte le dimostrazioni e le refutazioni di tali proposizioni.

Mostrare proposizioni che sono linguisticamente differenti ma logicamente uguali, perché si comportano nella stessa maniera nelle dimostrazioni, nelle refutazioni e nei dibattiti.

La logica si occupa anche di

negazione ("non")
congiunzione ("e")
disgiunzione ("o")
implicazione ("se ... allora...")
quantificazione universale ("ogni")
quantificazione particolare (qualche")
...

perché si tratta di concetti che sono presenti nelle proposizioni di tutte le branche della nostra conoscenza, e dunque sono "concetti logici".

(vedere il testo pagg. 3-4)


Un utile esercizio è quello di individuare i "concetti logici" presenti nelle proposizioni che comunemente facciamo.

Commenti?
Chiarimenti? 

5 commenti:

  1. Buongiorno Professore,
    in merito al paragrafo del libro: ”Concetti logici interni alle proposizioni,proposizioni logiche”, vorrei chiederLe un esempio pratico per chiarirmi la differenza tra concetto logico e preposizione logica.

    La ringrazio
    Buona giornata

    RispondiElimina
    Risposte
    1. Concetti logici: "e", "oppure", "ogni", ecc.
      Proposizioni logiche: proposizioni che hanno solo concetti logici; ad esempio: "Per ogni proposizione A, vale A oppure vale la negazione di A"

      Elimina
    2. Questo commento è stato eliminato dall'autore.

      Elimina
    3. La ringrazio molto e Le auguro Buona serata

      Elimina
  2. Buonasera signore
    Non capisco bene secondo il libro 1.1.3.2 le dimostrazioni logiche da ipotesi. le mosse logiche. Dualità logica e Le specifiche dei processi. Vorrei chiedere le spiegazioni con gli esempli pratici.
    La ringrazio

    RispondiElimina