• Aucun résultat trouvé

What natural numbers might be

N/A
N/A
Protected

Academic year: 2022

Partager "What natural numbers might be"

Copied!
8
0
0

Texte intégral

(1)

Philipp Keller

Geneva workshop on variables, relations, order June 4, 2004

University of Geneva, Switzerland, philipp.keller@lettres.unige.ch.

(2)

The plan

• HP

• HP

• Frege on counting

• numerical quantifiers

• semantic relationism

• numbers are argument-places

(3)

Our starting point

(1) There is a bijection between the Fs and the Gs.

Hence, the number of Fs = the number of Gs

HP For any concepts F and G,

there is bijection between the F and the G iff the number of Fs = the number of Gs

HP0 ∀F, G ∃R ∀x ((F x → ∃y(Gx∧

∀z(R(x, z) → z = y)) ∧ Gx → ∃y(F y∧

∀z(R(z, x) → z = y))) ←→ Nx(F x) = Nx(Gx)

Philipp Keller, University of Geneva 2

(4)

If there are numbers

HP For any concepts F and G, if there is such an object as the number of Fs or the number of Gs, there is bijection between the F and the G iff the number of Fs = the number of Gs

C For any concept F, there is such an object as the number of Fs

(5)

Frege on counting

“Wenn wir die zu einem Begriffe Φ(ζ) geh¨orende Anzahl bestimmen, oder, wie man gew¨ohnlich sagt, wenn wir die unter den Begriff Φ(ζ) fallenden Gegenst¨ande z¨ahlen, so ordnen wir diese den Zahlw¨ortern von Eins an der Reihe nach zu bis zu einem Zahlworte “N”, das dadurch bestimmt wird, dass die zuordnende Beziehung den Begriff Φ(ζ) in den Begriff “Glied der Reihe der Zahlw¨orter von “Eins” bis “N” ” und dass die umgekehrte Beziehung diesen Begriff in jenen abbildet.

Dann bezeichnet “N” die gesuchte Anzahl; d.h. N ist diese Anzahl.” (Grundgesetze, §108)

“If we determine the number belonging to a concept word Φ(ζ) – or, as one ordinarily says, if we count the objects falling under the concept Φ(ζ) – then we successively co-ordinate these objects with the number- words from “one” up to a number-word “N”. This number-word is determined through the co-ordinating relation’s mapping the concept Φ(ζ) into the concept

“member of the series of number-words from “one” to

“N” ” and the converse relation’s mapping the latter concept into the former. “N” then designates the number sought; i.e. N is this number.”

Philipp Keller, University of Geneva 4

(6)

The “radical adjectival strategy”

(2) ∃x, y (x is needed to fix a lightbulb ∧ y is needed to fix a lightbulb ∧ x 6= y

∧ ∀z(z is needed to fix a lightbulb → (z = x∨z = y))))

0 ; ∃0xF x := ∀x¬F x

1 ; ∃1xF x := ¬∀x¬F x ∧ ∀x∀y((F x ∧ F y)

→ x = y)

n + 1 ; ∃n+1xF x := ∃x(F x ∧ ∃ny(F y ∧ x 6= y))

(7)

Semantic relationism

Fine, “The role of variables”:

Semantic relationism:

There are external semantic relations, i.e. relations not supervenient on intrinsic semantic features of their relata.

Semantics of telegraphic notation for variables:

The simultaneous assignment of values to different variables must provide them with a coordination scheme, i.e. tell which occurrences are to be coordinated with which other occurrences of the same or different variable.

Philipp Keller, University of Geneva 6

(8)

What numbers might be

Fine, “Neutral relations”

positionalism: they are argument-places

anti-positionalism: they are abstract of constituents in relational complexes with respect to the relation co-positionality

Références

Documents relatifs

Dans le cadre de ces «conditions générales régissant l’utilisation de la carte de carburant MOVERI WIR» (ci après «conditions générales»), le titulaire de la carte est

160 Autoversicherung:Bis Ende November lauft die Wechselsaison - welche Tarife mehr Leistung für die Kunden bieten. 171 Erbschaftsteuer: Geschwister zahlen ab

(pour chaque compte supplémentaire) 50 CHF plus 7,70% de TVA Envois Direct Mail Service plus frais de port 0.22 CHW. Ordre d’écriture, set de 10 unités, par unité 0.50 CHF

Frege’s account of natural numbers as Anzahlen, presupposes, as Rumfitt (2001b: 527) has noted, that determining the number belonging to some concept F is the counting the F s.. This

(5 Punkte) Formalisieren Sie die folgenden Argumente in der Sprache der Prädikatenlogik und überprüfen Sie mittels Venn-Diagrammen, ob sie gültig sind:.. (a) Alle Zeugen, die

wohnen jetzt nicht mehr so zentral wie früher, aber hier ist es viel ruhiger und wir 12.. können manchmal abends oder am Wochenende draussen sitzen, spielen

Zu den grundlegenden Merkmalen eines Prozesses gehört die Komposition aus zu- standsverändernden Elementen und das Vorkommen kausaler, zeitlicher oder anderer

Nous sommes fière de vous Offrire une huile d’olive de haute qualité et de composition, qui confère à chaque plat l’arôme parfait.. Chaque récolte est différente de l`autre