Docsity
Docsity

Prepara i tuoi esami
Prepara i tuoi esami

Studia grazie alle numerose risorse presenti su Docsity


Ottieni i punti per scaricare
Ottieni i punti per scaricare

Guadagna punti aiutando altri studenti oppure acquistali con un piano Premium


Guide e consigli
Guide e consigli


domande esame logica, Esercizi di Logica

Possibili domande esame di logica, prof Matarese

Tipologia: Esercizi

2022/2023
In offerta
30 Punti
Discount

Offerta a tempo limitato


Caricato il 01/12/2023

Luisaplomba
Luisaplomba 🇮🇹

4.4

(10)

27 documenti

1 / 11

Toggle sidebar

Questa pagina non è visibile nell’anteprima

Non perderti parti importanti!

bg1
(quando ci sono i quadrati vuol dire che ci sono più
risposte)
Data la forma argomentativa Г LP ϕ un suo
controesempio
indica che vi è almeno un caso in cui ϕ è vero
e Г è falso
indica che vi è almeno un caso in cui Г è vero
e ϕ è falso
indica che la forma argomentativa è senz’altro
invalida
indica che la forma argomentativa può essere
invalida
Data una forma argomentativa Гϕ la stessa è valida
se e solo se
Conserva la verità in virtù del significato delle
sue costanti logiche e non logiche
Conserva la verità in virtù della sua forma
logica X
Conserva la verità in virtù del significato delle
sue costanti non-logiche
La argomentazione è
Una parte del discorso in cui dalla verità di
premesse si tenta di inferire la verità della
conclusione
Una parte del discorso che tratta di un
argomento
Una parte del discorso in cui si cerca di
stabilire la verità delle premesse
L’argomentazione si svolge normalmente
In un contesto dialogico di scambio dialettico
In un contesto in cui uno o più interlocutori
svolge/svolgono un ruolo puramente passivo
In un contesto in cui l’interlocutore non può
anche essere argomentante
Nella argomentazione
L’uditorio non puo’ condizionare il dibattito
L’uditorio, con la sua sola presenza,
condiziona il dibattito
Non vi è uditorio ma solo un interlocutore e
un argomentante
Nella argomentazione, normalmente…
si realizza una quadrangolazione tra
argomentante, interlocutore, pubblico e
oggetto del dibattito
Si realizza una triangolazione tra
argomentante, pubblico e uditorio
Si realizza una triangolazione tra
argomentante, uditorio e oggetto del dibattito
In un’argomentazione, per identificare le premesse e le
conclusioni
È utile cercare indicatori di premesse e di
conclusione
È utile cercare gli enunciati non-dichiarativi
È fuorviante cercare gli indicatori di premesse
e di conclusione
Gli indicatori di premesse, solitamente possono essere:
Poiché, dal momento che, dato che
Ne consegue che, pertanto, si evince che
Perché, poiché, pertanto
Gli indicatori di conclusione, solitamente possono
essere:
Poiché, dal momento che, dato che
Ne consegue che, pertanto, si evince che
Perché, poiché, pertanto
In una argomentazione…
Tutti i tipi di enunciati possono fare parte di
una argomentazione
Solo gli enunciati dichiarativi possono far
parte di una argomentazione
Solo gli enunciati esplicativi possono far parte
di una argomentazione
In una argomentazione, generalmente:
Solo gli enunciati che non hanno valori di
verità possono essere conclusioni
Solo gli enunciati che sono equivalenti
verofunzionalmente possono essere
conclusioni e premesse
Solo gli enunciati che hanno valori di verità
possono svolgere il ruolo di premesse o
conclusioni
In una argomentazione:
Si offrono spiegazioni per una determinata
conclusione
Si offrono spiegazioni o argomentazioni per
una determinata conclusione
Si offrono argomentazioni per una
determinata conclusione
pf3
pf4
pf5
pf8
pf9
pfa
Discount

In offerta

Anteprima parziale del testo

Scarica domande esame logica e più Esercizi in PDF di Logica solo su Docsity!

(quando ci sono i quadrati vuol dire che ci sono più risposte) Data la forma argomentativa Г ⊨LP ϕ un suo controesempio ▪ indica che vi è almeno un caso in cui ϕ è vero e Г è falso ▪ indica che vi è almeno un caso in cui Г è vero e ϕ è falso ▪ indica che la forma argomentativa è senz’altro invalida ▪ indica che la forma argomentativa può essere invalida Data una forma argomentativa Г⊨ϕ la stessa è valida se e solo se

  • Conserva la verità in virtù del significato delle sue costanti logiche e non logiche
  • Conserva la verità in virtù della sua forma logica X
  • Conserva la verità in virtù del significato delle sue costanti non-logiche La argomentazione è
  • Una parte del discorso in cui dalla verità di premesse si tenta di inferire la verità della conclusione
  • Una parte del discorso che tratta di un argomento
  • Una parte del discorso in cui si cerca di stabilire la verità delle premesse L’argomentazione si svolge normalmente
  • In un contesto dialogico di scambio dialettico
  • In un contesto in cui uno o più interlocutori svolge/svolgono un ruolo puramente passivo
  • In un contesto in cui l’interlocutore non può anche essere argomentante Nella argomentazione
  • L’uditorio non puo’ condizionare il dibattito
  • L’uditorio, con la sua sola presenza, condiziona il dibattito
  • Non vi è uditorio ma solo un interlocutore e un argomentante Nella argomentazione, normalmente…
  • si realizza una quadrangolazione tra argomentante, interlocutore, pubblico e oggetto del dibattito
  • Si realizza una triangolazione tra argomentante, pubblico e uditorio
  • Si realizza una triangolazione tra argomentante, uditorio e oggetto del dibattito In un’argomentazione, per identificare le premesse e le conclusioni
  • È utile cercare indicatori di premesse e di conclusione
  • È utile cercare gli enunciati non-dichiarativi
  • È fuorviante cercare gli indicatori di premesse e di conclusione Gli indicatori di premesse, solitamente possono essere:
  • Poiché, dal momento che, dato che
  • Ne consegue che, pertanto, si evince che
  • Perché, poiché, pertanto Gli indicatori di conclusione, solitamente possono essere:
  • Poiché, dal momento che, dato che
  • Ne consegue che, pertanto, si evince che
  • Perché, poiché, pertanto In una argomentazione…
  • Tutti i tipi di enunciati possono fare parte di una argomentazione
  • Solo gli enunciati dichiarativi possono far parte di una argomentazione
  • Solo gli enunciati esplicativi possono far parte di una argomentazione In una argomentazione, generalmente:
  • Solo gli enunciati che non hanno valori di verità possono essere conclusioni
  • Solo gli enunciati che sono equivalenti verofunzionalmente possono essere conclusioni e premesse
  • Solo gli enunciati che hanno valori di verità possono svolgere il ruolo di premesse o conclusioni In una argomentazione:
  • Si offrono spiegazioni per una determinata conclusione
  • Si offrono spiegazioni o argomentazioni per una determinata conclusione
  • Si offrono argomentazioni per una determinata conclusione

Nell’enunciato ‘ho letto il libro di Sartre perché è interessante, ‘è interessante, svolge il ruolo di:

  • Premessa
  • Spiegazione
  • Argomentazione In una argomentazione
  • Non ha senso cercare di distinguere argomentazione e spiegazione
  • La spiegazione viene sempre introdotta da ‘perché’, mentre una argomentazione viene introdotta da 'poiché’
  • L’indicatore ‘perché’ puo’ introdurre sia una spiegazione sia una argomentazione In una argomentazione complessa…
  • Le premesse non possono mai essere conclusioni
  • Le conclusioni non possono mai essere premesse
  • Le conclusioni possono svolgere il ruolo di premesse, e le premesse possono essere derivate. In una argomentazione complessa
  • Le premesse fondamentali possono essere derivate
  • Le premesse derivate sono conclusioni
  • Le conclusioni intermedie e premesse derivate non sono mai gli stessi enunciati Nell’analizzare una argomentazione, il diagramma è utile per:
  • Vedere i passi argomentativi e identificare quali sono le premesse e quali sono le conclusioni
  • Valutare la fondatezza di una argomentazione Valutare la probabilità induttiva di una argomentazione Le premesse di una argomentazione convergente
  • Forniscono un supporto cumulativo a una conclusione comune
  • Sono vulnerabili di un effetto domino, essendo le premesse interconnesse
  • Non sono logicamente autonome, e quindi forniscono un supporto piu’ forte di una argomentazione seriale Una argomentazione si dice fondata se:
  • Almeno una delle sue premesse è vera
  • Tutte le sue premesse sono vere
  • La sua conclusione è vera Una argomentazione si dice infondata se:
  • … solo se tutte le sue premesse sono false

• La sua conclusione è falsa

• Almeno una delle sue premesse è falsa

Nell’approccio procedurale di Toulmin

• La conclusione è detta pretesa

• Le premesse sono dette pretese

• Le premesse sono dette tesi

Nell’approccio procedurale di Toulmin

• I dati o fatti sono il presupposto del

processo argomentativo

• I dati o fatti si devono sempre sottoporre

ad argomentazione

• I dati o fatti devono corrispondere a fatti

veri e accertati

Nell’approccio procedurale di Toulmin

• La garanzia serve a mediare tra i dati e la

pretesa

• La garanzia serve a mediare tra backing e

rebuttal

• La garanzia serve a delimitare il campo di

validità dell’argomentazione

Nell’approccio procedurale di Toulmin, il rebuttal

• Risponde alla domanda se la pretesa vale

incondizionatamente

• Informa sulla forza del passaggio dai dati

alla conclusione

• Risponde alla domanda sul perché credi

nella garanzia

La forma di non-sequitur:

• Puo’ avvenire in un caso dove le

premesse sono tutte vere e la

conclusione è vera

• Avviene quando le premesse sono vere e

la conclusione è falsa

• Avviene quando le premesse sono false e

la conclusione è vera

• orientata principalmente a confermare le

preconoscenze del pubblico

In base alla fallacia del cecchino texano:

• Cluster di eventi casuali vengono ritenuti

con ciò stesso inspiegabili

• Cluster di eventi casuali vengono spiegati

facendo appello a una causa efficiente

• Cluster di eventi casuali vengono spiegati

facendo appello alla casualità

Quale fallacia commette la seguente

argomentazione? “ È vero: le scelte dell’attuale

Governo hanno deteriorato l’economia del Paese,

ma anche il precedente Governo lo ha fatto”.

• Quoque tu

• Ad metum

• Ad misericordiam

Nella teoria dell’argomentazione di Toulmin la

garanzia (W)

• Colma il divario tra dati (D) e pretese (C)

• È un dato che rafforza (D)

• È un dato che rafforza ©

La disgiunzione debole è tale che

• Almeno un suo disgiunto è falso

• Almeno un suo disgiunto è vero

• Al più un suo disgiunto è vero

• Entrambi i disgiunti sono veri

Quali sono gli elementi della pratica

argomentativa?

• Argomentante, interlocutore e pubblico

• Argomentante, interlocutore, pubblico e

oggetto del dibattito

• Argomentante e interlocutore

• Argomentante e argomentazione

In base alla fallacia del pensiero magico:

• Si attribuiscono poteri causali a fattori che

non esercitano potere causale

• Non si attribuiscono poteri causali a

fattori che esercitano potere causale

• Si attribuiscono poteri causali a fattori che

non sempre esercitano potere causale

Quali fallacie commette la seguente

argomentazione? “O sei con me o sei contro di

me. Se sei con me voterai a favore della mia

mozione, se sei contro di me, voterai contro ma il

tuo voto contrario ci farà andare incontro

all’anarchia”

▪ Appello alla forza

▪ Falso dilemma

▪ Appello alla paura

▪ Falso compromesso

In base al teorema metalogico di correttezza

debole per LP vale che:

• Ogni dimostrazione è valida

• Ogni teorema è una tautologia (ogni

teorema è valido)

• Ogni tautologia è un teorema

• Vi sono dimostrazioni non valide

Se un’argomentazione è fallace…

• la sua conclusione è senz’altro falsa.

• le sue premesse sono senz’altro false.

• la sua conclusione potrebbe comunque

essere vera.

In cosa consiste il principio della disponibilità

euristica su cui si basa la fallacia aneddotica?

• In alcuni casi il riportare alla mente

aneddoti di un certo tipo consente di

effettuare inferenze corrette.

• Più è facile riportare alla mente eventi di

un certo tipo, più è alta la probabilità che

eventi di questo stesso tipo possano

ripetersi.

• Più è facile riportare alla mente eventi di

un certo tipo, più si percepisce alta la

probabilità che eventi di questo stesso

tipo possano ripetersi

Qual è la reale forma logica della fallacia

dell’estensione dell’analogia? (il simbolo: ||

significa “dunque”)

• A è come B (rispetto a P) B è come C

(rispetto a P) ||A è come C

• A è come B (rispetto a P) B è come C

(rispetto a Q) ||A è come C

• A è come B B è come C ||A è come C

Il simbolo ⊨ esprime

▪ Una relazione sintattica

▪ La relazione di conseguenza logica

▪ Una relazione semantica

▪ La relazione di derivabilità logica

Un’argomentazione fondata…

• non è detto che sia anche valida

• è anche valida

• ha premesse in maggior parte vere

• ha premesse vere

Si valuti la seguente argomentazione: “Se piove,

prendo l’ombrello. Dunque se non piove, non

prendo l’ombrello”:

• commette la fallacia della negazione

dell’antecedente

• commette la fallacia della trasposizione

impropria

• non commette nessuna fallacia

Quale tra i seguenti brani non costituisce una fallacia?

  • La mia tesi è vera perché tu non hai dimostrato che è falsa
  • La tua tesi è falsa perché io ti ho dimostrato che è falsa
  • La tua tesi è falsa perché tu non hai dimostrato che è vera Quale dei seguenti schemi argomentativi trascrive la fallacia del post hoc ergo propter hoc?
  • A accade assieme a B; dunque A causa B
  • A accade dopo B; dunque B causa A
  • A accade dopo B; dunque A causa B Quale dei seguenti schemi argomentativi trascrive la fallacia del cum hoc ergo propter hoc?
  • A accade assieme a B, dunque A causa B
  • A accade nello stesso luogo di B, dunque, A causa B
  • A accade dopo a B, dunque B causa A Quali brani, tra i seguenti, contengono genuine argomentazioni? ▪ Gli animali non provano dolore e non hanno un’anima ▪ Solo chi ha un’anima prova dolore. Gli animali non hanno un’anima e pertanto non provano dolore ▪ Solo chi ha un’anima prova dolore. Per questo gli animali non provano dolore ▪ Ti chiedi perché gli animali non provano dolore? Gli animali non provano dolore perché non hanno un’anima Indicare quale fallacia commette la seguente argomentazione: “O siamo liberi di sostenere argomenti fallaci o rinunciamo alla nostra libertà”:
  • Generalizzazione frettolosa
  • Falso dilemma
  • Pensiero magico Si indichi quale tipo di fallacia commette la seguente argomentazione: “Tom sostiene che i lavoratori dovrebbero pagare meno tasse. Ma questa è una idea comunista e noi dovremmo rigettarla”
  • Fallacia dell’estensione analogica
  • Fallacia ad hominem abusiva
  • Fallaci ad hominem non abusiva In LP il simbolo “ꓕ”…
  • Esprime un operatore nullario
  • Non esprime un operatore
  • Esprime un operatore binario
  • Non esprime un operatore vero-funzionale La fallacia dei due torti:
  • Consiste nel ritenere che due torti costituiscano una ragione
  • Consiste nel ritenere che chi ha torto non può avere ragione
  • Consiste nel ritenere che è ingiusto rispondere a un torto con un altro torto Si indichino quali delle seguenti affermazioni sono vere, in un modello M=(D,I) di FOL, una funzione di assegnazione g(x): ▪ È utile se M non specifica costanti individuali interpretate ▪ Assegna stabilmente una denotazione alla variabile ▪ Assegna temporaneamente una denotazione alla variabile ▪ Non è utile se in D vi sono elementi mappati su costanti individuali Nella teoria dell’argomentazione di Toulmin la pretesa:
  • Indica un atteggiamento ambizioso dell’argomentante
  • Indica i dati di partenza che l’argomentante pretende vengano accettati dal pubblico

Si specifichi nel riquadro, indicando un numero naturale (0,1,2,3…), il numero che esprime la n-arietà della seguente costante logica del vocabolario di LP:


Si specifichi nel riquadro, indicando un numero naturale (0,1,2,3…), il numero che esprime la n-arietà della seguente costante logica del vocabolario di LP: - > : ____ Si specifichi nel riquadro, indicando un numero naturale (0,1,2,3…), il numero che esprime la n-arietà della seguente costante logica del vocabolario di LP: :


Si specifichi nel riquadro, indicando un numero naturale (0,1,2,3…), il numero che esprime la n-arietà della seguente costante logica del vocabolario di LP: :


Dato il simbolo ˫ il pedice ▪ Specifica il sistema formale entro cui soltanto la derivazione logica è valida ▪ Specifica che la derivazione è valida ▪ Specifica il sistema formale rispetto al quale la derivazione logica è valida ▪ Specifica il sistema formale di riferimento Dato il simbolo ˫x il pedice ▪ Specifica il sistema formale entro cui soltanto la derivazione logica è valida ▪ Specifica che la derivazione è valida ▪ Specifica il sistema formale rispetto al quale la derivazione logica è valida ▪ Specifica il sistema formale di riferimento Dato lo schema di una costante predicativa ∏nα

  • il pedice indica la saturabilità del predicato trascritto
  • il pedice specifica il numero di costanti predicative che possono seguire a ∏
  • il pedice differenzia costanti predicative indicate da una stessa lettera Data una tesi T, quale delle seguenti affermazioni potrebbe essere corretta?
  • T è vera perché non è stato dimostrato che è falsa
  • T è falsa perché non è stato dimostrato che è vera
  • Anche se T non è stata dimostrata, può essere comunque vera Un controesempio in LP: ▪ Indica una situazione possibile in cui le premesse di una forma argomentativa sono false e la sua conclusione vera ▪ È una riga della tavola di verità congiunta di una forma argomentativa che esibisce “1” in prossimità di ogni premessa e “0” in prossimità della conclusione ▪ È una riga della tavola di verità congiunta di una forma argomentativa che esibisce “0” in prossimità di almeno una premessa e “0” in prossimità della conclusione ▪ Indica una situazione possibile in cui le premesse di una forma argomentativa sono vere e la sua conclusione falsa La probabilità induttiva di un’argomentazione complessa seriale:
  • È identica alla probabilità induttiva del suo ramo più debole
  • È identica alla probabilità induttiva del suo ramo più forte
  • È una funzione della probabilità induttiva del suo ramo più forte Nella FOL una costante predicativa: ▪ è una forma generalizzata n-adica di una lettera enunciativa ▪ si comporta sempre come una lettera enunciativa ▪ è contraddistinta da una propria n-adicità ▪ ha come correlato una lettera enunciativa Un dominio in FOL ▪ È un insieme che contiene almeno un elemento ▪ Contiene le denotazioni delle costanti individuali ▪ Contiene le denotazioni degli operatori verofunzionali ▪ È l’insieme di tutto ciò che nel nostro mondo attuale esiste Un’argomentazione che conserva la verità con un coefficiente di probabilità induttiva pari a 0 (zero) è classificata come:
  • Falsa
  • parzialmente valida
  • invalida

In LP argomentazioni con premesse inconsistenti (ossia contraddittorie) sono:

  • Sempre valide
  • Contraddittorie
  • Sempre invalide
  • Irrefutabili Una fbf LP-invalida è:
  • Falsa in relazione a solo alcune interpretazioni delle lettere enunciative che in essa ricorrono
  • false in virtù del solo significato degli operatori verofunzionali che in essa ricorrono Una fbf LP invalida è ▪ False in virtù del solo significato degli operatori verofunzionali che in essa ricorrono ▪ Falsa anche in virtù del significato delle lettere enunciative che in essa ricorrono ▪ Falsa in ogni interpretazione delle lettere enunciativa che in essa ricorrono ▪ Falsa in relazione a solo alcune interpretazioni delle lettere enunciative che in essa ricorrono Nella teoria dell’argomentazione di Toulmin la riserva (R):
  • Indica una riserva di argomentazioni alternative a sostegno della medesima tesi
  • Indica la facoltà dell’argomentante di ritrarre sul tema considerato
  • Delimita le condizioni di validità dell’argomentazione Quali rapporti sussistono tra LP e FOL? ▪ Qualche fbf LP-valida è anche FOL-valida ▪ Ogni fbf LP-invalida non è anche FOL-invalida ▪ Qualche fbf FOL-valida è anche LP-valida ▪ Ogni fbf LP-valida non è anche FOL-valida Un modello in FOL: ▪ può disporre di un dominio vuoto Ha un dominio non vuoto ▪ È un singoletto (I) ▪ È una coppia (D,I) In base al teorema metalogico di completezza debole per LP vale che:
  • Ogni dimostrazione è valida
  • Vi sono dimostrazioni non valide
  • Ogni teorema è una tautologia
  • Ogni tautologia è un teorema In base al teorema metalogico di correttezza forte per LP vale che:
  • Ogni dimostrazione è valida
  • Ogni teorema è una tautologia
  • Ogni tautologia è un teorema
  • Vi sono dimostrazioni non valide Nella FOL una variabile individuale ▪ Può sostituire una costante predicativa ▪ Può ricorrere in ffbf anche non vincolata a un quantificatore ▪ Deve essere vincolata a un quantificatore per formare una fbf ▪ Può sostituire una costante individuale Quale delle seguenti definizioni della logica sono corrette? ▪ scienza della conseguenza logica ▪ scienza del ragionamento valido ▪ scienza delle conseguenze logiche vere ▪ scienza della verità In un modello della logica dei predicati, ogni costante individuale: ▪ Deve denotare un oggetto ▪ Può non denotare nessun oggetto ▪ Può denotare più oggetti ▪ Può essere sostituita da una variabile individuale vincolata ad un quantificatore L’espressione “L’attuale re di Francia” è:
  • Una descrizione definita
  • Un enunciato Le tavole di verità in LP: ▪ Costituiscono il solo modo per fornire una semantica a LP ▪ Consentono di decidere se una data fbf è o meno verofunzionalmente contingente in LP ▪ Consentono di decidere se una data fbf è o meno valida in LP ▪ Costituiscono il solo modo per testare se una forma argomentativa è LP-valida Per determinare se una formula è una fbf…
  • Occorre confrontarla con la lista delle fbf del sistema considerato
  • Occorre confrontarla con le regole di formazione del sistema
  • Occorre confrontarla con le regole di derivazione del sistema

In LP ogni forma argomentativa che ha per conclusione una fbf valida:

  • È invalida
  • È induttiva
  • È da rigettare
  • È sempre deduttiva Se una forma argomentativa non è LP-valida allora… ▪ È falsa ▪ Non è detto che sia anche LP-invalida ▪ Ha almeno un controsempio ▪ È LP-invalida Dato un modello della FOL M=<D,I>, il suo dominio D ▪ È tale da essere non vuoto (D≠ 0 ) ▪ Deve contenere ciò che esiste nel modello M ▪ Deve contenere tutto ciò che nel nostro modello esiste ▪ Può anche essere vuoto Data una fbf con quant….(non si legge)
  • Inferire senza sottodimostrazioni una fbf che non contiene la costante presente nell’esempio della formula quantificata esistenzialmente
  • Iniziare una sottodimostrazione ipotetica tale da terminare con una fbf che non contiene la costante presente nell’esempio della formula quantificata esistenzialmente
  • Iniziare una sottodimostrazione ipotetica tale da terminare con una fbf che contiene la stessa costante presente nell’esempio della formula quantificata esistenzialmente.
  • orientata principalmente alla risoluzione di una genuina questione In FOL una variabile vincolata è:
  • Una variabile costretta a spaziare su alcuni elementi del dominio
  • Una variabile legata ad almeno un quantificatore
  • Una variabile legata a esattamente un quantificatore
  • Una variabile i cui valori sono vincolati dal modello Tra gli operatori verofunzionali di LP: ▪ Vi sono operatori trascrivibili con tavole di verità ▪ Vi sono operatori nullari ▪ Vi sono operatori terziari ▪ Vi sono operatori unari Una tautologia è: ▪ Una LP-fbf o una FOL-fbf vera in virtù del significato delle costanti predicative e individuali che in essa ricorrono. ▪ Una LP-fbf vera in virtù del significato degli operatori verofunzionali ▪ Una LP-fbf o un FOL-fbf vera in virtù del significato degli operatori verofunzionali ▪ Una fbf di un qualsiasi sistema che risulta sempre e comunque vera Un’argomentazione valida… ▪ Ha premesse vere ▪ È anche fondata ▪ Conserva la verità delle premesse alla conclusione ▪ Non è detto che sia anche fondata Dato lo schema di una costante predicativa 𝜫𝑘n:
  • L’apice specifica il numero di costanti predicative che possono seguire a Π
  • L’apice indica la n-adicità del predicato trascritto
  • L’apice differenzia costanti predicative indicate da una stessa lettera Probabilità induttiva di un’argomentazione
  • Esprime l’indice di compatibilità dell’organizzazione
  • Esprime la probabilità che l’argomentazione nell’interessato sia vera
  • Esprime la probabilità che a conclusione sia.. Si indichino quali delle seguenti affermazioni sono corrette. In un modello (D,I) di FOL, la funzione I: ▪ Può assegnare a ciascuna costante individuale più elementi di D ▪ Può assegnare a ciascuna costante predicativa più sottoinsiemi di D ▪ Assegna a ciascuna costante predicativa un unico sottoinsieme di D ▪ Assegna a ciascuna costante individuale un solo elemento di D La funzione di interpretazione, I, nella FOL è tale che: ▪ Mappa costanti individuali su oggetti in D ▪ Mappa ffbf rispetto a valori di verità (0/1) ▪ Mappa costanti predicative in sottoinsiemi di D ▪ Interpreta come nomi provvisori le variabili

Si indichi quale fallacia commette la seguente argomentazione “Hai torto dato che la tua argomentazione è piena di errori. Dunque la tua tesi è …….”

  • Fallacia della fallacia
  • Fallacia dell’aringa rossa
  • Fallacia dei due torti Quali delle seguenti informazioni sono rappresentate dal diagramma di un’argomentazione? ▪ Verità o falsità delle premesse ▪ Serialità o convergenza ▪ Semplicità o complessità dell’argomentazione ▪ Pertinenza o non pertinenza Quali delle seguenti informazioni sono rappresentate dal diagramma di un’argomentazione? ▪ Deduttività o induttività ▪ Convergenza o non convergenza delle premesse rispetto alla conclusione ▪ Verità o falsità della conclusione ▪ Contenuto informativo delle premesse In un modello M =<D,I> la formula seguente: Fx ▪ È una fbf ▪ Non è una fbf ▪ Potrebbe essere temporaneamente una fbf rispetto a una funzione di assegnazione g(x)= α (per α ∊ D) X ▪ Non è una fbf rispetto a una funzione di assegnazione g(x)= α (per α ∊ D) Da una tesi, T, quale delle seguenti affermazioni potrebbe essere corretta: ▪ T è vera perché non è stato dimostrato che è falsa ▪ T è falsa perché non è stato dimostrato che è vera ▪ Anche se T non è stata dimostrata, può essere comunque vera La probabilità induttiva di un’argomentazione complessa convergente:
  • È identica alla probabilità induttiva del suo ramo più debole
  • È identica alla probabilità induttiva del suo ramo più forte
  • È una funzione della probabilità induttiva del suo ramo più debole e di quello più debole Una dimostrazione semi-formale in LP: ▪ Ha il medesimo livello di precisione di una corrispettiva dimostrazione formale ▪ È rappresentata esclusivamente da simboli appartenenti al vocabolario di LP ▪ È rappresentata anche con simboli non appartenenti al vocabolario di LP ▪ È meno precisa di una dimostrazione formale La logica formale rispetto alla teoria dell’argomentazione si caratterizza per: ▪ Un’attenzione alle argomentazioni concrete più che alle forme argomentative ▪ Un’attenzione alle forme enunciative più che agli enunciati specifici ▪ Una svalutazione del linguaggio ordinario Una FOL stomica in LP è tale che: ▪ È funzione di verità …. ▪ Può assumere solo due possibili valori di verità ▪ È funzione di verità delle formule ben formate molecolari che costituisce ▪ Può assumere contemporaneamente due valori di verità La soppressione di evidenza è
  • Un processo illecito
  • Un processo lecito
  • È una selezione tendenziosa delle conclusioni