Come si chiamano le due premesse dell'induzione logica? Luogo dell'inferenza e Ragione logica Base dell'induzione e Passo induttivo Premessa maggiore induttiva e premessa minore induttiva Premessa minore e premessa maggiore.
L'induzione logica(o «completa») è un ragionamento di tipo filosofico probabile deduttivo graduale.
Un ragionamento le cui premesse sono "Aristotele è mortale", "Platone è mortale", "Gödel è mortale" e "Marx è mortale", e la cui conclusione è "Quindi
tutti gli uomini sono mortali" è un ragionamento di tipo veritiero filosofico
induttivo deduttivo.
In logica, le definizioni ottenute mediante l'induzione logica vengono anche dette definizioni assolute definizioni ricorsive definizioni filosofiche definizioni infinite.
La «forma logica» di una proposizione dipende Nessuna delle precedenti dalla sua struttura logica dal suo contenuto dal suo riferimento.
La «forma logica» di un ragionamento dipende dalla verità delle sue premesse dalla sua struttura logica dal suo contenuto dalla verità delle sue conclusioni.
Ogni proposizione e ogni ragionamento hanno un contenuto senza forma una forma, che può venir "rimpolpata" da qualsiasi idoneo contenuto Nessuna delle precedenti né una forma né un contenuto.
Chi fu l'autore del Tractatus logico-philosophicus? Aristotele Ludwig Wittgenstein Cicerone Pietro Abelardo.
La nozione di «forma logica» di Wittgenstein è ricca di conseguenze epistemologiche, perché è un mero e arido esito di una formalizzazione astratta trasgredisce il principio di non-contraddizione espilcita quali sono i limiti di ogni linguaggio e il tipo di relazione vigente tra le proposizioni della logica e il mondo extra-logico è alla base della teoria falsificazionista del significato.
Quale tra queste rappresenta una novità nella considerazione della «forma logica» da parte di Wittgenstein introdotta nel suo saggio Alcune osservazioni
sulla forma logica? L'osservazione che nella «forma logica» di alcune particolari proposizioni deve occorrere il numero come suo tratto essenziale L'idea che la «forma logica» non esiste Il numero finito delle «forme logiche»
La relazione di «forma logica» e «gioco linguistico».
Perché la logica modale non è un contesto «estensionale»? Perché il calcolo proposizionale è incompleto Perché essa è consistente Perché essa è para-consistente
Perché in essa non è valido il «principio di vero-funzionalità».
Nel «linguaggio» della logica proposizionale, a quale «alfabeto» appartengono le variabili proposizionali? A quello «descrittivo» A quello «logico» A quello «ausiliario» Nessuna delle precedenti.
Nel «linguaggio» della logica proposizionale, a quale «alfabeto» appartengono i connettivi? Nessuna delle precedenti A quello «descrittivo» A quello «logico» A quello «ausiliario».
Quale tra queste è una proposizione «composta»? p q Nessuna delle precedenti Se p, allora q.
Che cosa afferma il «principio di vero-funzionalità»? Il valore di verità delle proposizioni composte dipende interamente da quello delle proposizioni di cui si compongono
Esistono solo e soltanto due valori di verità, il «vero» e il «falso» Ogni proposizione ha uno e un solo valore di verità La logica del «primo ordine» è semi-decidibile.
Che cosa afferma il «principio di bivalenza»? La logica del «primo ordine» è semi-decidibile Ogni proposizione ha uno e un solo valore di verità Esistono solo e soltanto due valori di verità, il «vero» e il «falso» Il valore di verità delle proposizioni composte dipende interamente da quello delle proposizioni di cui si compongono.
Che cosa afferma il «principio di determinatezza»? Il valore di verità delle proposizioni composte dipende interamente da quello delle proposizioni di cui si compongono Ogni proposizione ha uno e un solo valore di verità Esistono solo e soltanto due valori di verità, il «vero» e il «falso»
La logica del «primo ordine» è semi-decidibile
.
Quale tra queste è una proposizione «atomica»?
Se p, allora q p e non-q
q e non-p p.
1. Siano p e q due variabili proposizionali. Come si legge la formula logica p ∨ q? Se p allora q» «p o q» «p se e soltanto se q «p e q».
Siano p e q due variabili proposizionali. Come si legge la formula logica p ∧ q? «p e q»
«p o q» «Se p allora q» «p se e soltanto se q».
Per quale combinazione dei valori di verità delle variabili proposizionali la proposizone p ∨ q risulta falsa? p=0, q=0 p =1, q =0 p= 1, q=1
p =0, q =1.
Per quale combinazione dei valori di verità delle variabili proposizionali la proposizone p ∧ q risulta vera? p= 1, q=1 p =0, q =1 p =1, q =0 p =0, q=0.
Come si legge la formula ¬p è vero che p non-p allora p se p.
Volendola considerare alla stregua di un connettivo, la negazione è un connettivo unario trinario binario Nessuna delle precedenti.
Come si legge la formula p ⇒ q? p se e soltanto se q Se p, allora q Se q, allora p q se e soltanto se p.
Per quale combinazione dei valori di verità delle variabili proposizionali la proposizione p ⇒ q risulta falsa?
p=0, q=0 p =0, q=1
p=1, q=0 p=1, q=1
.
Come si chiamano le proposizioni costituenti un condizionale materiale? Congiunti Antecedente e conseguente Lato destro e lato sinistro Disgiunti.
Siano p e q due variabili proposizionali. Come si legge la formula logica: p ⇔ q? «p se e soltanto se q» «p o q» «p e q «Se p allora q».
Come si chiamano le proposizioni costituenti una doppia implicazione?
Antecedente e conseguente Lato destro e lato sinistro Disgiunti Congiunti.
Una tautologia è una formula ben formata che è vera per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono è vera per alcune combinazioni dei valori di verità delle variabili proposizionali che vi occorrono, e falsa per altre loro combinazioni
è sintatticamente incompleta è falsa per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono.
Una contingenza logica è una formula ben formata che è vera per alcune combinazioni dei valori di verità delle variabili proposizionali che vi occorrono, e falsa per altre loro combinazioni
è sintatticamente incompleta è vera per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono è falsa per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono.
Una contraddizione logica è una formula ben formata che è vera per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono è falsa per ogni combinazione possibile dei valori di verità delle variabili proposizionali che vi occorrono è sintatticamente incompleta
è vera per alcune combinazioni dei valori di verità delle variabili proposizionali che vi occorrono, e falsa per altre loro combinazion.
Siano p e q due variabili proposizionali. Quale tra queste è una contraddizione? p e non-p p o non-p Se p, allora non-q
Se p, allora q.
Quale tra queste idee è alla base delle «leggi di De Morgan»? L'incompletezza vero-funzionale della logica proposizionale Ogni possibile connettivo è esprimibile mediante una combinazione di negazioni e congiunzioni Ogni contraddizione è di fatto una tautologia La logica del «primo ordine» è incompleta.
Quale tra queste è una tautologia? p ∧ ¬p
q ⇒ ¬p ¬p ∨ p
p ⇒ q
.
Quale tra queste è una contraddizione? ¬p ∨ p p ∧ ¬p ¬q ∨ ¬p p ⇒ q.
Siano p e q due variabili proposizionali. Quale tra queste è una tautologia?
p o non-p
Se p, allora non-q p e non-p
Se p, allora q.
Siano p e q due variabili proposizionali. Quali tra questi schemi formali di argomento è un modus ponens?
(p ∧ (p⇒q)) ⇒q p ⇒ q (¬q ∧ (p⇒q)) ⇒¬p q ⇒ ¬p.
Il modus ponens e il modus tollens sono casi particolari di un'unica regola più generale che prende il nome di regola della contrazione
regola del taglio regola della congiunzione
regola dell'indebolimento.
Quali tra questi ragionamenti è un modus tollens? Francesca è andata al cinema, quindi a casa non c'è nessuno Se tutti gli uomini sono mortali, e se Socrate è un uomo, allora non è detto che Socrate sia mortale Se oggi è lunedì, allora devo andare a Napoli; oggi è lunedì; quindi, devo andare a Napoli Se Dio può ingannare, allora Dio è malvagio; Dio non è malvagio; quindi Dio non può ingannare.
Quali tra questi ragionamenti è un modus ponens? Se Dio può ingannare, allora Dio è malvagio; Dio non è malvagio; quindi, Dio non può ingannare. Se tutti gli uomini sono mortali, e se Socrate è un uomo, allora non è detto che Socrate sia mortale. Se oggi è lunedì, allora devo andare a Napoli; oggi è lunedì; quindi, devo andare a Napoli Francesca è andata al cinema, quindi a casa non c'è nessuno.
Siano p e q due variabili proposizionali. Quali tra questi schemi formali di argomento è un modus tollens?
(¬q ∧ (p ⇒ q)) ⇒¬p
(p ∧ (p ⇒ q)) ⇒ q q ⇒ ¬p p ⇒ q.
Siano p e q due variabili proposizionali. Quali tra questi schemi di argomento è un modus ponens?
Se p allora q Se q allora p Se p allora q; non-q; allora non p Se p allora, q; p; allora q
.
Siano p e q due variabili proposizionali. Quali tra questi schemi di argomento è un modus tollens? Se p allora q; non-q; allora non p Se p allora, q; p; allora q Se p allora q Se q allora p.
Che cosa rende logicamente inaccetabile la cosiddetta "dimostrazione ontologica dell'esistenza di Dio" di Anselmo di Aosta? Lo schema di ragionamento (modus ponens) adoperato nella sua semplificazione rigorosa Il fatto che Dio, in quanto oggetto astratto, non può essere oggetto di una proposizione logica Lo schema di ragionamento (consequentia mirabilis) adoperato nella sua formulazione canonica L'aver considerato l'«esistenza» alla stregua di un qualsiasi predicato ordinario
.
Quale tra le seguenti formule è la formula condizionale corrispondente di un ragionamento a fortiori? q ⇒ (p ⇒ q)
(¬ p ⇒ p) ⇒ p p ⇒ ¬p p ⇒ q.
Quale procedimento argomentativo è alla base della cosiddetta consequentia mirabilis? Se c'è una dimostrazione della proposizione p a partire dalla sua negazione, allora la stessa proposizione p deve essere vera Nessuna delle precedent Non si dà coesistenza tra un disgiunto e la sua negazione Si dà coesistenza tra un congiunto e la sua negazione.
Quale tra le seguenti formule è la formula condizionale corrispondente di una consequentia mirabilis?
p ⇒ q
p ⇒ ¬p
(¬ p ⇒ p) ⇒ p
q ⇒ (p ⇒ q)
.
In base al metodo delle tavole di verità, uno schema di ragionamento è valido se sidà più di una volta, ma non sempre, il caso che le premesse siano tutte vere e la conclusione falsa si dà almeno una volta il caso che le premesse siano tutte vere e la conclusione falsa si dà sempre il caso che le premesse siano tutte vere e la conclusione falsa non si dà mai il caso che le premesse siano tutte vere e la conclusione falsa.
Che cos'è un algoritmo? Un procedimento meccanico o effettivo, il quale, dato un input, fornisce un output in un numero finito di operazioni finite Un procedimento meccanico o effettivo, il quale, dato un input, fornisce un output in un numero infinito di operazioni infinite Un procedimento intuitivo con cui stabilire la validità delle premesse di un ragionamento Un procedimento meccanico o effettivo, il quale, dato un output, fornisce un input in un numero infinito di operazioni infinite.
In base al metodo delle tavole di verità, la formula condizionale corrispondente di un ragionamento valido deve essere nessuna delle precedenti una contingenza logica una tautologia una contraddizione.
In base al metodo degli alberi di refutazione, uno schema di ragionamento risulta valido se nessuna delle precedenti viene refutato il procedimento che porta dalle sue premesse alla sua conclusione viene refutato il procedimento che porta dalle sue premesse alla negazione della sua conclusione viene refutata la sua conclusione.
|
