Acronimi e Definizioni

Question 1

BAO

Answer 1

Boolean Algebra with Operators

Question 2

GR

Answer 2

General Relativity

Question 3

NBG

Answer 3

Von Neumann-Bernays-Gödel (Teoria degli Insiemi di)

Question 4

NWF

Answer 4

Non-wellfounded sets (Insiemi Non-benfondati)

Question 5

QFT

Answer 5

Quantum Field Theory

Question 6

QM

Answer 6

Quantum Mechanics

Question 7

RGL

Answer 7

Raddoppio dei Gradi di Libertà

Question 8

RSE

Answer 8

Realismo Strutturale Epistemico

Question 9

RSO

Answer 9

Realismo Strutturale Ontico

Question 10

SR

Answer 10

Special Relativity

Question 11

TC

Answer 11

Teoria delle Categorie

Question 12

TCS

Answer 12

Theoretical Computer Science

Question 13

TI

Answer 13

Teoria degli Insiemi

Question 14

ZF

Answer 14

Zermelo-Fraenkel (teoria degli insiemi di)

Question 15

ZFC

Answer 15

ZF + Choice Axiom (ZF con l’Assioma di Scelta)

Question 16

Due principi primi della logica formale.

Answer 16

Il principio d’identità e quello di non contraddizione.

Question 17

Neopositivismo

Answer 17

Lo stesso che Empirismo logico.
Indirizzo instaurato dal Circolo di Vienna che riduce la filosofia all’analisi del linguaggio.

Question 18

Falsificazionismo

Answer 18

Dottrina epistemologica che scorge nella falsificabilità il principale contrassegno delle teorie scientifiche.

Question 19

Falsificabilità

Answer 19

Criterio di demarcazione proposto da Popper allo scopo di distinguere le teorie empirico-scientifiche da quelle che non sono tali.

Question 20

Esistenza, entità, essere comune e l’essere dell’essenza.
Metti in ordine questi termini.

Answer 20

L’esistenza è l’essere comune.
L’entità è l’essere dell’essenza.

Question 21

Induzione e enumerazione infinita.

Answer 21

Induzione: Procedimento che dai particolari porta all’universale.
Enumerazione infinita: Problema che sollevò Hume e che consiste nell’impossibilità di ricondurci a principi universali partendo dai particolari in quanto impossibilitati a riprodurre una casistica infinita di casi per avvalorare una qualsiasi ipotesi e quindi i principi universali che da tale ipotesi dovrebbero derivare.

Question 22

Qual è la differenza tra assiomi e postulati?

Answer 22

Gli assiomi sono autoevidenti e non dimostrabili, mentre i postulati sono in sé dimostrabili (ma posti senza dimostrazione) e vengono posti per rendere dimostrabile un’altra ipotesi.

Question 23

V postulato di Euclide

Answer 23

Se una retta taglia altre due rette determinando dallo stesso lato angoli interni la cui somma è minore di quella di due angoli retti, prolungando indefinitamente le due rette, esse si incontreranno dalla parte dove la somma dei due angoli è minore di due angoli retti.

Question 24

I tre postulati (o leggi) fondamentali della meccanica.

Answer 24

Il principio di inerzia, quello di proporzionalità e quello di azione e reazione.

Question 25

Intensionale/Estensionale

Answer 25

Con intensionale s’intende la capacità di trasmettere significati di un singolo termine/simbolo/elemento utilizzato in una scienza o in una disciplina, in contrapposizione a estensionale, che si riferisce al numero di termini/simboli/significati di cui deve servirsi una scienza o una disciplina nelle sue formulazioni e risultati.

Question 26

Categoria

Answer 26

Il primo significato attribuito a questo termine è una particolare determinazione della realtà. In secondo luogo, la categoria è una nozione che serve a indagare e a comprendere la realtà stessa.

Secondo Platone:essere, movimento, quiete, identità, alterità

Question 27

Omomorfismo

Answer 27

Nella TC, lo stesso che adeguazione o conformità.

Question 28

Set elementhood

Answer 28

Elementarietà insiemistica o appartenenza ad un insieme/classe che, nella TI, viene supposta per qualsivoglia elemento preso in considerazione dalla teoria stessa.
La definizione fu data da B. Russell nei Principia.

Question 29

Logica Modale

Answer 29

Tipo di logica che studia le modalità con cui una proposizione può essere vera. La LM utilizza i concetti di dovere, di avvenimenti nel tempo, di possibilità o di necessità.

Question 30

Funtore

Answer 30

Un omomorfismo fra categorie.
Un funtore F: 𝒞 ⟶ 𝒟 è dato da:
* Una mappa-oggetto che assegna un oggetto A di 𝒟 a ciascun oggetto
A di 𝒞.
* Una mappa-freccia che assegna una freccia 𝐹𝑓: 𝑓𝐴 → 𝑓𝐵 di 𝒟 a
ciascuna freccia 𝑓: 𝐴 → 𝐵 di 𝒞 in modo tale che composizioni e
identità siano preservate: 𝐹(𝑔 ∘ 𝑓) = 𝐹𝑔 ∘ 𝐹𝑓; 𝐹id𝐴 = id𝐹𝐴 .

Question 31

Filosofia della Natura.

Answer 31

Filosofia della Natura ha a che fare con l’ontologia delle discipline scientifiche (cioè con gli enti che sono oggetto di studio delle discipline scientifiche).

Question 32

Filosofia della Scienza.

Answer 32

La Filosofia della Scienza ha a che fare con le questioni logiche ed epistemologiche delle diverse discipline scientifiche.

Question 33

Spazio Vettoriale

Question 34

Omotopia

Question 35

Funtore

Answer 35

Omomorfismo tra Categorie.

Question 36

Pos

Answer 36

Insieme parzialmente ordinato.