845 resultados para Propositions
Resumo:
Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistent form. We introduce logical spaces of all possible worlds and all propositions. We operate on a proposition, in all possible worlds, at the same time. We define logical transformations, possibility and necessity relations, in proposition space, and give a criterion to determine whether a proposition is classical. We show that proofs, based on the conditional, infer gaps only from gaps and that negative and positive infinity operate as bottom and top values.
Resumo:
Includes bibliography
Resumo:
Incluye Bibliografía
Resumo:
Inclut la bibliographie
Resumo:
Includes bibliography
Resumo:
La tesi affronta la tematica del sessismo linguistico e analizza le proposte elaborate dalle autorità dei paesi francofoni (Belgio, Francia, Québec, Svizzera) per far fronte a questo problema e garantire una migliore rappresentazione delle donne nella lingua. Dopo una breve spiegazione sul sessismo linguistico, la tesi si sofferma sui decreti, le guide e le circolari ministeriali proposti nel tempo dai singoli paesi, mettendo in luce una sempre maggiore attenzione da parte delle autorità a questa tematica delicata. L'elaborato si conclude con un confronto fra le proposte dei vari paesi, da cui emerge come il Québec sia il paese più all'avanguardia in materia di femminizzazione dei nomi di mestiere, titolo, grado e funzione e la Svizzera lo stato più attivo in quanto a redazione non discriminatoria dei testi.