Logo del repository
  1. Home
 
Opzioni

Elementi di logica

Crisma, Lucio
2006-07
  • Controlled Vocabulary...

Abstract
Per una descrizione dell'incertezza mediante eventi definiti da nffrrnazioni di un linguaggio naturale. quale quella proposta da de Finetti e da noi adottata, sono essenziali conoscenze di logica che includono nozioni un po' più avanzate, e perciò meno note di quelle che servono comunemente per Io svolgimento dei corsi istituzionali di matematica. Per una corretta comprensione dei discorsi che andremo a fare in seguito è comunque indispensabile che tutte le nozioni suddette. le note e le meno note, siano intese chiaramente nel loro significato. Per questo motivo abbiamo ritenuto utile non dare nulla per acquisito, e richiamare ed analizzare in modo approfondito in questo capitolo anche le nozioni più note. Quelle di proposizione e predicato della logica (3 1. l ) , di proposizione composta ( 5 1.2). di principio universale della logica ($ 1.3) e di conzposizione 17zulripln (8 1.4) - forse un po' meno nota quest'ultima, perché dà senso anche a composizioni di infinite proposizioni -. Ma gli argomenti meno noti sono sicuramente quelli trattati nel $ 1.5 in cui vengono introdotte le nozioni di linguaggio, metalinglraggio, stato d'irzforrnaziorze, asserzione, tutte indispensabili per dare rigore alle definizioni di evento, di evento condizionato e di loro operazioni e relazioni - ovvero ai concetti che stanno alla base di ogni descrizione dell'incertezza -.
Archivio
http://hdl.handle.net/10077/2226
Diritti
open access
Visualizzazioni
3
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback