Controtest Filosofia della scienza 2

Quale tra queste regole di inferenza esprime la «eliminazione del condizionale»?. Data una derivazione di una fbf b con l'aiuto di un'ipotesi a, possiamo «scaricare» (ossia abbandonare) l'ipotesi e inferire "se a, allora b". Nessuna delle precedenti. Da una fbf della forma non-a, possiamo inferire a. Da un condizionale e dal suo antecedente possiamo inferire il conseguente.

Nella logica formale esistono fallacie formali?. Dipende dalle fallacie. No. Sì. Dipende dalle proposizioni.

A differenza della «teoria ingenua» degli insiemi, il «paradosso di Russell» pone alcune restrizioni al principio di. bivalenza. estensionalità. non-contraddizione. comprensione.

Che cosa afferma esplicitamente il «principio di indeterminazione» di Heisenberg?. Esso afferma che non è possibile stabilire con la medesima precisione e nello stesso momento alcune coppie di proprietà (come posizione-velocità o tempo-energia) dei sistemi fisici subatomici. Esso afferma che la luce si propaga in uno spazio vuoto con la stessa velocità in tutti i sistemi di riferimento inerziali, indipendentemente dalla velocità della sorgente di luce o di quella dell'osservatore. Esso afferma le leggi di natura sono le stesse in ogni sistema di riferimento inerziale. Esso afferma che nella fisica atomica e sub-atomica non esiste determinismo.

In che modo lo schema della «convenzione V» di Tarski fornisce una valida definizione logica della «verità»?. Perché ne rispetta le condizioni «materiali» di adeguatezza, senza prendere in considerazione quelle «formali». Perché ne rispetta le condizioni «formali» di adeguatezza, senza prendere in considerazione quelle «materiali». Perché considera la «verità» come assoluta. Perché è in grado di determinare la precisa estensione del predicato di verità per un qualunque linguaggio.

Quale tra questi NON è una proprietà degli asserti «protocollari»?. L'essere ulteriormente riducibili ad altri asserti. L'essere formulati nel linguaggio universale della fisica. L'essere elementari e controllabili. L'essere asserzioni «personali».

Che cos'è una «funzione proposizionale»?. Un'entità logica che ha trova il proprio riferimento oggettivo in un determinato individuo. Una proposizione vera o falsa. Una funzione "satura". La semplice forma logica di una proposizione della logica del primo ordine.

In logica, di cosa si occupa la «semantica»?. La «semantica» concerne il modo in cui i simboli di base dell'«alfabeto» di un linguaggio logico possono venir legittimamente combinati in base a determinate regole di formazione al fine di ottenere fbf. Nessuna delle precedenti. La «semantica» riguarda le mere manipolazioni di simboli e le loro relazioni formali, senza alcun riguardo al loro significato. In particolar modo essa riguarda i modi in cui possiamo trasformare o dedurre formule da altre formule mediante determinate regole di derivazione. La «semantica» riguarda il rapporto tra i segni logico-linguistici e le entità che essi possono significare.

Quale tra le seguenti NON è una proprietà dell'insieme vuoto?. L'insieme vuoto, in quanto tale, è un insieme infinito. Ogni insieme contiene come suo sottoinsieme l'insieme vuoto. L'insieme vuoto è unico. L'insieme vuoto, in quanto tale, è un insieme finito.

Siano x una variabile individuale e P una proprietà. Come si legge la formula logica ∃x P(x)?. «Per ogni x, x ha la proprietà P». Nessuna delle precedenti. «Esiste un x tale che x ha la proprietà P». «Se x ha la proprietà P, allora x è x».

Teoremi di incompletezza di Gödel sanciscono la fine del "sogno" di. ridurre la matematica all'aritmetica. esprimere l'aritmetica con il linguaggio della logica del primo ordine. formulare una teoria assiomatica della geometria. ridurre i princìpi dell'aritmetica alle verità della logica del primo ordine.

Che cos'è una fallacia semantica?. Un ragionamento in cui la verità di ciò che si intende dimostrare viene di fatto presupposta. Una fallacia che viene commessa quando la probabilità con cui viene stabilita la conclusione di un ragionamento induttivo, a partire dalle sue premesse, è inferiore a quanto si suppone o si voglia far credere. Una fallacia che viene commessa quando ci si affida a una regola d'inferenza invalida, o quando viene applicata in modo non-corretto una regola d'inferenza valida. Un ragionamento "ingannevole" in cui i termini linguistici utilizzati vengono impiegati in modo vago, ambiguo, indeterminato o molteplice.

Nella logica del primo ordine, che cosa si intende per «termine aperto»?. Un termine che contiene variabili individuali. Una quantificazione vacua. Un termine che non contiene variabili individuali. Nessuna delle precedenti.

Che cosa afferma il «principio della composizionalità del significato»?. Il significato di un'espressione linguistica è dato dal suo essere ciò che gli altri non sono. Il significato di un'espressione linguistica composta dipende funzionalmente dai significati dei suoi costituenti. Il significato di un'espressione linguistica è dato dal fatto che essa è in grado di comunicarci un senso precedentemente ignoto. Il significato di un'espressione linguistica può essere intuito, ma non detto.

In che senso il «convenzionalismo» di Poincaré è "moderato"?. Perché riguarda soltanto le leggi della meccanica di Newton. Perché non riguarda l'aritmetica né alcune leggi naturali. Perché riguarda soltanto gli asserti della geometria. Perché riguarda anche l'aritmetica e alcune leggi naturali.

Che cosa si intende per «legge logica»?. Una formula vera o falsa, dipendentemente dai valori di verità delle variabili. Una formula vera rispetto almeno a un'assegnazione di valore in almeno un'interpretazione. Una formula che non viene «soddisfatta» rispetto a tutte le assegnazioni in tutte le interpretazioni. Una formula «soddisfatta» rispetto a tutte le assegnazioni in tutte le interpretazioni.

Qual è la definizione di Frege di «proposizione "analitica"»?. «Analitica» è una proposizione che può essere ricondotta a una "verità logica" per mezzo di definizioni esplicite. «Analitica» è una proposizione che può essere ricondotta a una "verità logica" per mezzo di definizioni implicite. «Analitica» è una proposizione che è fondamento dell'esperienza oggettiva. «Analitica» è una proposizione che è fondamento dell'esperienza oggettiva, e che ha statuto a posteriori.

Per Kant lo spazio è. un mero "ricettacolo" per gli accadimenti fisici («sensorium Dei»). una forma pura e a priori (= non derivata dall'esperienza diretta) della nostra facoltà di conoscenza sensibile. una categoria scientificamente giustificabile mediante induzione. una componente «materiale» del mondo.

Per Tarski la «verità» è anzitutto. una relazione tra noi e il mondo. una proprietà di proposizioni. una nozione contraddittoria. una nozione inesprimibile.

Per Quine, le osservazioni dirette. non possono né «verificare» né «falsificare» i "gruppi" di asserti che compongono una teoria scientifica. non possono «verificare», ma possono «falsificare» i "gruppi" di asserti che compongono una teoria scientifica. possono sia «verificare» sia «falsificare» i "gruppi" di asserti che compongono una teoria scientifica. possono «verificare», ma non possono «falsificare» i "gruppi" di asserti che compongono una teoria scientifica.

Per Einstein, quale tra questi tipi di simultaneità è effettivamente osservabile?. La simultaneità locale. La simultaneità tra eventi così distanti da non poter esserre "afferrata" da un unico atto percettivo. Nessuna delle precedenti. La simultaneità non-locale.

Nella logica del primo ordine, che cos'è un «individuo»?. Un elemento che appartiene a «termini di classe». Una proprietà. Un'espressione che denota una classe o un insieme di oggetti. Una relazione tra gli insiemi designati da termini di classe.

Quale tra questi asserti esprime il principio dell'«anarchismo epistemologico» di Feyerabend?. «Nulla va bene». «Nulla è a caso». «Qualsiasi cosa va bene». «Tutto è dominato dal caos».

Ammessa la sua equivalenza logica con il principio del "terzo escluso" e con il "principio di identità", che cosa afferma di preciso il cosiddetto "principio di non contraddizione" nella sua formulazione classica?. Se a uguali si tolgono uguali rimangono uguali. Non è possibile affermare e negare al contempo uno stesso predicato a un medesimo soggetto. Ogni cosa è uguale a se stessa. Da premesse vere scaturiscono necessariamente conclusioni vere.

Stando ad Aristotele e Frege, che grado di esistenza hanno gli insiemi?. Gli insiemi esistono in sé. Gli insiemi sono «reali», come tutti gli oggetti matematici. Gli insiemi sono individui reali. Gli insiemi sono una costruzione fittizia e convenzionale, come tutti gli oggetti matematici.

Che cos'è una fallacia induttiva?. Una fallacia che viene commessa quando la probabilità con cui viene stabilita la conclusione di un ragionamento induttivo, a partire dalle sue premesse, è inferiore a quanto si suppone o si voglia far credere. Un ragionamento "ingannevole" in cui i termini linguistici utilizzati vengono impiegati in modo vago, ambiguo, indeterminato o molteplice. Una fallacia che viene commessa quando ci si affida a una regola d'inferenza invalida, o quando viene applicata in modo non-corretto una regola d'inferenza valida. Un ragionamento le cui premesse hanno una scarsa (o nulla) relazione con la sua conclusione.

Per Quine, nella scienza l'unità minima di controllo. sono i singoli «termini» (individui, concetti) di cui si compongono le proposizioni. è la metafisica che ne è alla base. è la singola proposizione. è la teoria, ossia "gruppi" di proposizioni tra loro logicamente connesse.

Per Poincaré la "verità" delle asserzioni geometriche e di gran parte delle teorie fisiche ha uno statuto. relativo all'assunzione di una determinata "convenzione". reale. assoluto. intuitivo.

Secondo Duhem, quale criterio avrebbe dovuto orientare la pratica effettiva degli scienziati?. Il «buon senso». La logica formale. La fede religiosa. L'induzione informale.

Che cosa si intende per «sottodeterminazione delle teorie da parte dei dati»?. Il particolare rapporto simmetrico tra un flusso sensoriale di dati in entrata relativamente ricco e una povertà di ipotesi intese a collegarli. Il particolare rapporto asimmetrico tra un flusso sensoriale di dati in entrata relativamente ricco e una povertà di ipotesi intese a collegarli. Il particolare rapporto simmetrico tra un flusso sensoriale di dati in entrata relativamente povero e una torrenziale ricchezza di ipotesi intese a collegarli. Il particolare rapporto asimmetrico tra un flusso sensoriale di dati in entrata relativamente povero e una torrenziale ricchezza di ipotesi intese a collegarli.