Test logica filosofia scienza4

Come si legge la formula ¬p?. non-p. è vero che p. allora p. se p.

Quale intuizione si cela alla base del paradosso zenoniano della "freccia"?. La freccia, pur in movimento, di fatto risulta immobile. Nessuna delle precedenti. La freccia, pur immobile, di fatto risulta in movimento. Uno spazio finito non è divisibile all'infinito.

Che cosa si intende con "logica della scoperta"?. Nessuna delle precedenti. Il procedimento attraverso il quale si giunge a "scoprire" qualcosa, come ad es. una legge di natura. Il procedimento attraverso il quale vengono "scoperte" tutte e sole le verità della logica. Il procedimento attraverso il quale si argomenta a favore di una tesi che vogliamo dimostrare come "scientifica" o fondata.

Nella logica del primo ordine, che cosa si intende per «formula aperta»?. Non sono concepibili formule aperte nella logica del primo ordine. Nessuna delle precedenti. Una formula che contiene almeno una variabile con un'occorrenza libera. Una formula che non contiene occorrenze libere di variabili, ovvero è priva di variabili o ne contiene soltanto di vincolate in ogni loro occorrenza.

Un ragionamento può essere. corretto o scorretto. semplice o molteplice. vero o falso. cogente o convincente.

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.

Il calcolo dei predicati è. indecidibile. incorretto e incompleto. decidibile. incompleto.

In quale opera tra queste vengono trattate le dottrine indiane dell'inferenza e del sillogismo?. Il Tractatus logico-philosophicus. Gli Aforismi sulla logica. L'Organon. La Scienza della logica.

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.

Secondo Frege qual è il «significato» (Bedeutung) di un termine?. L'oggetto che denota. Nessuno dei precedenti. Il modo in cui viene espresso. La rappresentazione psicologica che procura.

Come si chiama la teoria che formulò Russell in alternativa alla «teoria ingenua» degli insiemi?. Teoria assiomatica degli insiemi. Teoria dei tipi. Teoria modale. Teoria delle forme.

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

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.

Per il neopositivismo logico le proposizioni sintetiche a priori sono. illegittime e inammisibili. il fondamento della scienza. ciò su cui si basa l'effettiva pratica scientifica. legittime e ammissibili, ma solo nel campo della scienza.

Gli Stoici inaugurarono la "logica proposizonale" fornendo per la prima volta nella storia della logica. un'analisi dei connettivi. una grammatica scientifica. un sistema assiomatico. la dottrina della rappresentazione "catalettica".

Aristotele impiega di rado il termine «logica» per indicare ciò che noi intendiamo con essa. Quale locuzione usa Aristotele per indicarla?. «Sapere corretto non necessariamente veritiero». «Sapere analitico non reale». «Sapere certo analitico». «Sapere certo sintetico».

Stando a Kuhn, date due teorie scientifiche rivali, la scelta della comunità scientifica a favore dell'adozione di una delle due. è dettata da criteri razionali. è dettata da criteri empirici. non è dettata da criteri razionali. non è dettata da criteri irrazionali.

Il calcolo dei predicati è. corretto, completo e decidibile. corretto e incompleto. corretto, completo e indecidibile. incorretto, incompleto e indecidibile.

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».

Dal modo di argomentare di Eraclito possiamo accertare che le conclusioni cui egli giunse provengono: da nessuna delle precedenti. da un'osservazione ripetuta di stati di cose. dalla considerazione della struttura del reale come necessariamente concordante con la struttura del linguaggio. dalla non-identità di realtà e linguaggio.

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

Come si chiama il criterio messo a punto da Carnap per «verificare» asserti di contenuto empirico quantificati universalmente?. Critero del «falsificazionismo». Criterio delle «congetture e confutazioni». Criterio dell'«olismo». Criterio della «confermazione».

Il ragionamento induttivo è intrinsecamente. vero. vulnerabile. corretto e completo. inconsistente.

Quale situazione paradossale consegue dal «principio di indeterminazione» di Heisenberg?. Se il tempo "scorre" in un certo modo per un determinato sistema inerziale, allora non è possibile stabilire con precisione come "scorrerà" per un altro sistema inerziale. Se il tempo "scorre" in un certo modo per un determinato sistema inerziale, allora "scorrerà" in altro modo per un altro sistema inerziale. Se osserviamo un sistema fisico subatomico, esso ha valori definiti per tutte le sue proprietà; se invece non lo osserviamo, allora non possiamo stabilire con la massima precisione alcune sue proprietà. Se non osserviamo un sistema fisico subatomico, esso ha valori definiti per tutte le sue proprietà; se invece lo osserviamo, allora non possiamo stabilire con la massima precisione alcune sue proprietà.