Γιατί οι Νόμοι της Φύσης εξηγούν; 2 Νοεμβ. 2016

Σχετικά έγγραφα
Βιολογικοί Νόμοι & Μηχανισμοί

Βιολογικοί Νόμοι & Μηχανισμοί. Σταύρος Ιωαννίδης ΙΦΕ/ΕΚΠΑ

Επιστημονική Εξήγηση. 26 Οκτ. 2016

Η ΓΝΩΣΗ ΚΑΙ ΤΟ ΠΡΑΓΜΑΤΙΚΟ ΣΤΟΝ ΠΛΑΤΩΝΑ ΚΑΙ ΤΟΝ ΑΡΙΣΤΟΤΕΛΗ

Every set of first-order formulas is equivalent to an independent set

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008

The Simply Typed Lambda Calculus

Εγχειρίδια Μαθηµατικών και Χταποδάκι στα Κάρβουνα

Other Test Constructions: Likelihood Ratio & Bayes Tests

Μη γράφετε στο πίσω μέρος της σελίδας

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

5. Choice under Uncertainty

Aλγεβρα A λυκείου α Τομος

Distances in Sierpiński Triangle Graphs

Πυθαγόρειες Τριάδες: από την ανακάλυψη μιας κανονικότητας στη διατύπωση και την απόδειξη μιας πρότασης

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

ΕΙΣΑΓΩΓΗ ΣΤΗ ΦΙΛΟΣΟΦΙΑ

Φιλοσοφία της Επιστήμης ΙΙ

Αριστοτέλης ( π.χ) : «Για να ξεκινήσει και να διατηρηθεί μια κίνηση είναι απαραίτητη η ύπαρξη μιας συγκεκριμένης αιτίας»

Υποθέσεις - - Θεωρήματα Υποθέσεις - Θεωρήματα Στα μαθηματικά και στις άλλες επιστήμες κάνουμε συχνά υποθέσεις. Οταν δείξουμε ότι μια υπόθεση είναι αλη

Η ΨΥΧΙΑΤΡΙΚΗ - ΨΥΧΟΛΟΓΙΚΗ ΠΡΑΓΜΑΤΟΓΝΩΜΟΣΥΝΗ ΣΤΗΝ ΠΟΙΝΙΚΗ ΔΙΚΗ

Προτάσεις. Εισαγωγή στις βασικές έννοιες των Μαθηματικών. Ποιες είναι προτάσεις; Προτάσεις 6/11/ ο Μάθημα Μαθηματική Λογική (επανάληψη)

ΒΑΣΙΚΕΣ ΕΝΝΟΙΕΣ ΛΟΓΙΚΗΣ

Finite Field Problems: Solutions

Σχόλιο. Παρατηρήσεις. Παρατηρήσεις. p q p. , p1 p2

Bounding Nonsplitting Enumeration Degrees

ΥΠΟΛΟΓΙΣΤΕΣ ΙΙ. Τι χρειάζεται η εντολή if ; Εντολή if. Παράδειγμα #1. Παράδειγμα #1

Υπολογιστικά & Διακριτά Μαθηματικά

Φιλοσοφία της Γλώσσας

ΚΑΤΗΓΟΡΗΜΑΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Ι

Σημεία Προσοχής στην Παράγραφο Ε1.

Space-Time Symmetries

ΔΙΑΛΕΞΗ ΙΙ ΕΝΑ ΒΗΜΑ ΠΑΡΑΠΑΝΩ ΜΕ SCRATCH ΕΠΙΛΕΓΩΝΤΑΣ & ΕΠΑΝΑΛΑΜΒΑΝΟΝΤΑΣ

ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΚΡΗΤΗΣ ΣΧΟΛΗ ΔΙΟΙΚΗΣΗΣ ΚΑΙ ΟΙΚΟΝΟΜΙΑΣ ΤΜΗΜΑ ΛΟΓΙΣΤΙΚΗΣ ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ

Σ.ΛΟ.Τ. αριθ. πρωτ.: 2077 ΕΞ Συνεκδικαζόμενες προδικαστικές υποθέσεις C-444/16 και C-445/16

Strukturalna poprawność argumentu.

Περί της Ταξινόμησης των Ειδών

τι είναι αυτό που κάνει κάτι αληθές; τι κριτήρια έχουμε, για να κρίνουμε πότε κάτι είναι αληθές;

Dr. D. Dinev, Department of Structural Mechanics, UACEG

Διπλώματα Ευρεσιτεχνίας για Προγράμματα Υπολογιστή: Εισαγωγή και ανάλυση επιμέρους ζητημάτων

ΚΡΙΤΙΚΗ ΣΤΗΝ ΠΕΡΙΓΡΑΦΙΚΗ ΘΕΩΡΙΑ ΤΩΝ ΟΝΟΜΑΤΩΝ

ΜΕΘΟΔΟΛΟΓΙΑ ΕΡΕΥΝΑΣ. ΈΈρευνα και Θεωρία. Καθηγητής Α. Καρασαββόγλου Επίκουρος Καθηγητής Π. Δελιάς

ΠΛΗΡΟΦΟΡΙΚΗ Ι JAVA Τμήμα θεωρίας με Α.Μ. σε 3, 7, 8 & 9 8/11/07

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή

C.S. 430 Assignment 6, Sample Solutions

Κεφάλαιο 3 Η Σημασιολογία των Γλωσσών Προγραμματισμού

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων

Lecture 2. Soundness and completeness of propositional logic

Στα επόμενα θεωρούμε ότι όλα συμβαίνουν σε ένα χώρο πιθανότητας ( Ω,,P) Modes of convergence: Οι τρόποι σύγκλισης μιας ακολουθίας τ.μ.

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Πρόταση. Αληθείς Προτάσεις

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΚΑΙ ΑΠΟΔΕΙΞΗ

Lecture 13 - Root Space Decomposition II

Τεχνητή Νοημοσύνη (ΥΠ23) 6 ο εξάμηνο Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ουρανία Χατζή

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Εργαστήριο Ανάπτυξης Εφαρμογών Βάσεων Δεδομένων. Εξάμηνο 7 ο

ΑΣΚΗΣΕΙΣ ΣΤΗ ΛΟΓΙΚΗ Α Ψ Α Ψ viii) 9. Α Ψ ix) Α Ψ xi) Α Ψ xii) 0 0. Α Ψ xiii) Α Ψ xiv) Α Ψ xv)

ΓΥΜΝΑΣΙΟ ΚΑΘΟΛΙΚΗΣ ΛΕΜΕΣΟΥ ΣΧΟΛΙΚΗ ΧΡΟΝΙΑ ΓΡΑΠΤΕΣ ΑΠΟΛΥΤΗΡΙΕΣ ΕΞΕΤΑΣΕΙΣ ΙΟΥΝΙΟΥ 2014 ΜΑΘΗΜΑ: ΦΥΣΙΚΗ ΗΜΕΡΟΜΗΝΙΑ: 13 /6/14.

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Προσέξτε πως η παράσταση μπορεί να περιλαμβάνει όχι μόνο μία τιμή ή μια άλλη μεταβλητή αλλά μια ολόκληρη μαθηματική παράσταση, όπως η εξής:

Λογική Δημήτρης Πλεξουσάκης Ασκήσεις στον Κατηγορηματικό Λογισμό Τμήμα Επιστήμης Υπολογιστών

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Προγραμματισμός ΗΥ και Υπολογιστική Φυσική. Χρήστος Γκουμόπουλος

f(t) = (1 t)a + tb. f(n) =

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

Lecture 15 - Root System Axiomatics

ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ

Σύµφωνα µε την Υ.Α /Γ2/ Εξισώσεις 2 ου Βαθµού. 3.2 Η Εξίσωση x = α. Κεφ.4 ο : Ανισώσεις 4.2 Ανισώσεις 2 ου Βαθµού

Review Test 3. MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

Ψηφιακή ανάπτυξη. Course Unit #1 : Κατανοώντας τις βασικές σύγχρονες ψηφιακές αρχές Thematic Unit #1 : Τεχνολογίες Web και CMS

B = {x A : f(x) = 1}.

ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΤΩΝ & ΥΠΟΛΟΓΙΣΤΙΚΗ ΦΥΣΙΚΗ

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΥΓΕΙΑΣ. Πτυχιακή εργασία ΑΓΧΟΣ ΚΑΙ ΚΑΤΑΘΛΙΨΗ ΣΕ ΓΥΝΑΙΚΕΣ ΜΕ ΚΑΡΚΙΝΟΥ ΤΟΥ ΜΑΣΤΟΥ ΜΕΤΑ ΑΠΟ ΜΑΣΤΕΚΤΟΜΗ

«Η ΕΦΑΡΜΟΓΗ ΤΟΥ ΑΠΟΚΕΝΤΡΩΤΙΚΟΥ ΣΥΣΤΗΜΑΤΟΣ ΔΙΟΙΚΗΣΗΣ ΣΤΟ Ε.Σ.Υ., ΜΕ ΒΑΣΗ ΤΟΥΣ Ν. 2889/2001 & 3329/2005»

6 ο ΜΑΘΗΜΑ Έλεγχοι Υποθέσεων

Generating Set of the Complete Semigroups of Binary Relations

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Κεφάλαιο 4 : Λογική και Κυκλώματα

Στοιχεία προτασιακής λογικής

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

ΑΝΑΠΤΥΞΗ ΕΦΑΡΜΟΓΩΝ Κεφάλαιο 2 ο. Επικοινωνία:

1. Επιστημονική εξήγηση

Ανοιχτή πρόσβαση και πνευματική ιδιοκτησία : μια ευαίσθητη ισορροπία;

K24 Ψηφιακά Ηλεκτρονικά 4: Σχεδίαση Συνδυαστικών Κυκλωμάτων

Υποθετικές προτάσεις και λογική αλήθεια

2 Composition. Invertible Mappings

ΕΚΠ 413 / ΕΚΠ 606 Αυτόνοµοι (Ροµ οτικοί) Πράκτορες

Σκεπτικισμός. Το τρίλλημα του Αγρίππα: άπειρη αναδρομή, κυκλικότητα, δογματισμός.

ΥΠΟΛΟΓΙΣΤΕΣ ΙI. Άδειες Χρήσης. Εντολή if. Διδάσκοντες: Αν. Καθ. Δ. Παπαγεωργίου, Αν. Καθ. Ε. Λοιδωρίκης

ΤΕΧΝΟΛΟΓΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΣΧΟΛΗ ΕΠΙΣΤΗΜΩΝ ΥΓΕΙΑΣ. Πτυχιακή Εργασία

Εντολές επιλογής Επαναλήψεις (if, switch, while)

ΠΑΙΓΝΙΑ Παιχνίδια Γενική Θεώρηση μεγιστοποιήσει την πιθανότητά

Overview. Transition Semantics. Configurations and the transition relation. Executions and computation

Οδηγός συμβατότητας εκτυπωτή, προαιρετικού εξαρτήματος και βάσης. Εκτυπωτές λέιζερ

Transcript:

Γιατί οι Νόμοι της Φύσης εξηγούν; 2 Νοεμβ. 2016

Γενικά ερωτήματα πώς οι νόμοι εξηγούν; τί είναι οι νόμοι της φύσης (laws of nature) - τί τους χαρακτηρίζει; (ιδιότητες ή χαρακτηριστικά) - πώς διαφέρουν από άλλες γενικεύσεις(κριτήρια) 2 οικογένειες φιλοσοφικών θεωριών - Νόμοι ως κανονικότητες (regularity theories) - Θεωρίες Αναγκαιότητας (necessitarian views)

Σημασία των νόμων στην επιστήμη Η επιστήμη αποσκοπεί να ανακαλύψει νόμους >Γιατί οι νόμοι εξηγούν; Τί είναι οι νόμοι; Ποια είναι τα χαρακτηριστικά τους; Τι τους κάνει να διαφέρουν από άλλες προτάσεις που δεν έχουν εξηγητική δύναμη;

Οντολογικό ζήτημα Καθολική πρόταση? (universal statement) Προσοχή! Νόμοι της φύσης (laws of nature ή natural laws ή laws of physics) vs. προτάσεις που εκφράζουν νόμους (statements of laws) και θεωρίες για το ποιοι νόμοι υπάρχουν (scientific theories)

Οντολογικό ζήτημα Καθολική πρόταση? (universal statement) -όλα τα Α είναι Β -κανένα Α δεν είναι Β -αν ένας τύπος συμβάντος Α συμβεί, θα συμβεί και ένας τύπος συμβάντος Β >εκφράζουν όλες οι καθολικές προτάσεις νόμους; -αρκεί να έχουν αυτή τη λογική μορφή (all Fs are Gs);

1. Όλα τα αέρια που περιέχονται σε δοχεία σταθερού όγκου ασκούν ασκούν μεγαλύτερη πίεση όταν θερμαίνονται. 2. Όλα τα κλειδιά στο μπρελόκ μου είναι ασημένια. 3. Όλα τα τετράποδα έχουν τέσσερα πόδια. 4. Όλα δείγματα χρυσού έχουν ατομικό αριθμό 79. 5. Κανένα σήμα δεν ταξιδεύει γρηγορότερα από την ταχύτητα του φωτός. 6. Καμιά χρυσή σφαίρα δεν έχει μάζα μεγαλύτερα από 100.000 kg. 7. Καμιά σφαίρα εμπλουτισμένου ουράνιου δεν έχει μάζα μεγαλύτερη από 100.000kg. 8. Αν είναι Τετάρτη 15.30, τότε στην αίθουσα Α γίνεται μάθημα φιλοσοφίας της επιστήμης ΙΙ. 9. Αν αφήσω ένα μήλο θα κινηθεί προς το κέντρο της γης. 10. Όλοι οι άρτιοι αριθμοί διαιρούνται με το 2 (χωρίς υπόλοιπο).

> Μπορούμε να αποδώσουμε χαρακτηριστικά στις καθολικές προτάσεις που εκφράζουν νόμους; > Μπορούμε να βρούμε επιπλέον συνθήκη ή κριτήριο για να τις διακρίνουμε από αυτές που δεν εκφράζουν νόμους;

1. Όλα τα αέρια που περιέχονται σε δοχεία σταθερού όγκου ασκούν ασκούν μεγαλύτερη πίεση όταν θερμαίνονται. 2. Όλα τα κλειδιά στο μπρελόκ μου είναι ασημένια. 3. Όλα τα τετράποδα έχουν τέσσερα πόδια. 4. Όλα δείγματα χρυσού έχουν ατομικό αριθμό 79. 5. Κανένα σήμα δεν ταξιδεύει γρηγορότερα από την ταχύτητα του φωτός. 6. Καμιά χρυσή σφαίρα δεν έχει μάζα μεγαλύτερα από 100.000 kg. 7. Καμιά σφαίρα εμπλουτισμένου ουράνιου δεν έχει μάζα μεγαλύτερη από 100.000kg. 8. Αν είναι Τετάρτη 15.30, τότε στην αίθουσα Α γίνεται μάθημα φιλοσοφίας της επιστήμης ΙΙ. 9. Αν αφήσω ένα μήλο θα κινηθεί προς το κέντρο της γης. 10. Όλοι οι άρτιοι αριθμοί διαιρούνται με το 2 (χωρίς υπόλοιπο).

> Οι νόμοι δεν είναι a priori αλήθειες, είναι εμπειρικές δεν είναι αληθείς εξ ορισμού αλλά γεγονότα μέσα στον κόσμο τους κάνουν αληθείς. -Αρκεί ως κριτήριο;

1. Όλα τα αέρια που περιέχονται σε δοχεία σταθερού όγκου ασκούν ασκούν μεγαλύτερη πίεση όταν θερμαίνονται. 2. Όλα τα κλειδιά στο μπρελόκ μου είναι ασημένια. 3. Όλα τα τετράποδα έχουν τέσσερα πόδια. 4. Όλα δείγματα χρυσού έχουν ατομικό αριθμό 79. 5. Κανένα σήμα δεν ταξιδεύει γρηγορότερα από την ταχύτητα του φωτός. 6. Καμιά χρυσή σφαίρα δεν έχει μάζα μεγαλύτερα από 100.000 kg. 7. Καμιά σφαίρα εμπλουτισμένου ουράνιου δεν έχει μάζα μεγαλύτερη από 100.000kg. 8. Αν είναι Τετάρτη 15.30, τότε στην αίθουσα Α γίνεται μάθημα φιλοσοφίας της επιστήμης ΙΙ. 9. Αν αφήσω ένα μήλο θα κινηθεί προς το κέντρο της γης. 10. Όλοι οι άρτιοι αριθμοί διαιρούνται με το 2 (χωρίς υπόλοιπο).

> δεν αναφέρονται σε καθέκαστα (particulars) ούτε ρητά ούτε υπόρρητα -Γιατί;

> δεν αναφέρονται σε καθέκαστα (particulars) ούτε ρητά ούτε υπόρρητα -Γιατί; -Τί σημαίνει οι νόμοι να είναι αληθείς πάντα και παντού, ανεξαρτήτως χώρου και χρόνου;

> δεν αναφέρονται σε καθέκαστα (particulars) ούτε ρητά ούτε υπόρρητα -Γιατί; -Τί σημαίνει οι νόμοι να είναι αληθείς πάντα και παντού, ανεξαρτήτως χώρου και χρόνου; > δεν αναφέρονται σε τοπικά γεγονότα (local facts)

> δεν αναφέρονται σε καθέκαστα (particulars) ούτε ρητά ούτε υπόρρητα -Γιατί; -Τί σημαίνει οι νόμοι να είναι αληθείς πάντα και παντού, ανεξαρτήτως χώρου και χρόνου; > δεν αναφέρονται σε τοπικά γεγονότα (local facts) -Αρκεί να μην αναφέρονται σε particulars;

1. Όλα τα αέρια που περιέχονται σε δοχεία σταθερού όγκου ασκούν ασκούν μεγαλύτερη πίεση όταν θερμαίνονται. 2. Όλα τα κλειδιά στο μπρελόκ μου είναι ασημένια. 3. Όλα τα τετράποδα έχουν τέσσερα πόδια. 4. Όλα δείγματα χρυσού έχουν ατομικό αριθμό 79. 5. Κανένα σήμα δεν ταξιδεύει γρηγορότερα από την ταχύτητα του φωτός. 6. Καμιά χρυσή σφαίρα δεν έχει μάζα μεγαλύτερα από 100.000 kg. 7. Καμιά σφαίρα εμπλουτισμένου ουράνιου δεν έχει μάζα μεγαλύτερη από 100.000kg. 8. Αν είναι Τετάρτη 15.30, τότε στην αίθουσα Α γίνεται μάθημα φιλοσοφίας της επιστήμης ΙΙ. 9. Αν αφήσω ένα μήλο θα κινηθεί προς το κέντρο της γης. 10. Όλοι οι άρτιοι αριθμοί διαιρούνται με το 2 (χωρίς υπόλοιπο).

> Τα local facts είναι ενδεχομενικά (contingent) -Τί σημαίνει αυτό;

> Τα local facts είναι ενδεχομενικά (contingent) -Τί σημαίνει αυτό; όλα τα μήλα στο ψυγείο μου είναι κόκκινα -αναφέρεται σε local fact -τί σημαίνει ότι είναι ενδεχομενικός ισχυρισμός; ή αλλιώς: ότι η πρόταση όλα τα μήλα στο ψυγείο μου είναι κόκκινα είναι ενδεχομενικά αληθής;

> Τα local facts είναι ενδεχομενικά (contingent) -Τί σημαίνει αυτό; όλα τα μήλα στο ψυγείο μου είναι κόκκινα -αναφέρεται σε local fact -τί σημαίνει ότι είναι ενδεχομενικός ισχυρισμός; ή αλλιώς: ότι η πρόταση όλα τα μήλα στο ψυγείο μου είναι κόκκινα είναι ενδεχομενικά αληθής; -θα μπορούσε να είναι ψευδής!

6. καμιά χρυσή σφαίρα δεν έχει μάζα μεγαλύτερα από 100.000 kg 7. καμιά σφαίρα εμπλουτισμένου ουράνιου δεν έχει μάζα μεγαλύτερη από 100.000kg -Σε τι διαφέρουν οι δύο προτάσεις;

6. καμιά χρυσή σφαίρα δεν έχει μάζα μεγαλύτερα από 100.000 kg 7. καμιά σφαίρα εμπλουτισμένου ουράνιου δεν έχει μάζα μεγαλύτερη από 100.000kg -Σε τι διαφέρουν οι δύο προτάσεις; > είναι δυνατό να είναι η 6 ψευδής; > είναι δυνατό να είναι η 7 ψευδής;

Διάκριση μεταξύ ενδεχομενικού (contingent) και αναγκαίου (necessary) >Γνήσιος νόμος = ενέχει αναγκαιότητα >Συμπτωματικά αληθής γενίκευση= είναι ενδεχομενική αλήθεια ΠΩΣ πρέπει να κατανοήσουμε τη διάκριση; -Τί είδους αναγκαιότητα (ή αδυνατότητα) είναι αυτή των νόμων;

Τι είναι αυτό που οι νόμοι έχουν αλλά οι άλλες γενικεύσεις δεν έχουν; >Υποστηρίζουν Αντιγεγονοτικές συνεπαγωγές (counterfactual conditions / counterfactuals) -Τί παρατηρούμε συγκρίνοντας τις προτάσεις για τις σφαίρες ουρανίου και χρυσού;

Οι νόμοι ως κανονικότητες -εμπειριστική άποψη μινιμαλιστική άποψη για τη σχέση μεταξύ νόμου και συγκεκριμένων περιπτώσεων ο νόμος ως κανονικότητα δεν είναι τίποτα άλλο από το σύνολο των συγκεκριμένων περιπτώσεων απλούστερη εκδοχή μινιμαλισμού: -η απλή θεωρία κανονικότητας των νόμων [ΑΘΚ] Simple Regularity Theory ΑΘΚ: είναι νόμος ότι τα Φ είναι Δ αν και μόνο αν όλα τα Φ είναι Δ -συμβατή με τις αντιγεγονοτικές συνεπαγωγές -

Οι νόμοι ως κανονικότητες -εμπειριστική άποψη -αλλά δεν μπορεί η ΑΘΚ να είναι αληθής: δεν είναι όλες και μόνο οι κανονικότητες νόμοι! 2 προβλήματα: 1. κανονικότητες που δεν είναι νόμοι - ατυχηματικά αληθείς καθολικές γενικεύσεις 2. νόμοι που δεν τους αντιστοιχεί κανονικότητα - νόμοι για τους οποίους δεν υπάρχει καμιά περίπτωση (instance) - νόμοι με μόνο μια περίπτωση

Οι νόμοι ως κανονικότητες -εμπειριστική άποψη Συστηματική Θεωρία για του νόμους Systematic Theory- Mill, Ramsey,Lewis) (Περισσότερο εκλεπτυσμένη θεωρία κανονικοτήτων) A regularity is a law of nature if and only if it appears as a theorem or axiom in that true deductive system which achieves a best combination of simplicity and strength. A sentence in any language expresses a law if it expresses a proposition of a universal form that is either an axiom or a theorem in all the deductive systems of propositions that are tied for being the best combination of simplicity and strength in describing all the local matters of particular fact in the history of the universe.

Νόμοι και Αναγκαιότητα (Armstrong)

Sum up >Γιατί οι νόμοι έχουν εξηγητική δύναμη; - χαρακτηριστικά των νόμων καθολικές προτάσεις δεν αναφέρονται σε particulars υποστηρίζουν αντιγεγονοτικές συνεπαγωγές - ως κανονικότητες πως μπορούν να τους διακρίνουμε από μη-νόμους; ανήκουν στα πιο απλά και ισχυρά αξιωματικά συστήματα ενέχουν ενός είδους αναγκαιότητα - είναι πάνω και πέρα από τις συνδέσεις μεταξύ particulars - περιγράφουν συνδέσεις μεταξύ universals