Sistema de BS

27 de maio de 2018

1 / 43
 Sintaxe

• Sintaxe
Alfabeto
• Sintaxe
• Sintaxe
• Sintaxe
• Sintaxe • Letras latinas (termos usados para expressar generalidade) —
• Semântica
dois tipos (§1 de BS)
• Semântica
• Semântica
• Regras de inferências
• Regras de inferências 1. a, b, c, d, x, y, z — usadas para conteúdos conceituais
• Regras de inferências
2. f, g, h, F — usadas para funções
• Regras de inferências
• Traduções
• Axiomas
• Axiomas • Letras góticas: (§11 de BS)
• Axiomas
• a, b, v, d — percorrendo conteúdos conceituais
• Axiomas
• Axiomas • F — percorrendo funções
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 2 / 43
 Sintaxe

• Sintaxe
Conteúdos Conceituais São divididos em conteúdos judicáveis e
• Sintaxe
• Sintaxe conteúdos não-judicáveis (§2)
• Sintaxe
• Sintaxe
• Semântica
• Traço de juízo: (§2)
• Semântica
• Semântica • Traço de conteúdo: (§2)
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 3 / 43
 Sintaxe

• Sintaxe
• Traço condicional: (§5)
• Sintaxe
• Sintaxe
• Sintaxe • Traço de negação: (§7)
• Sintaxe
• Semântica • Identidade de contéudo: ≡ (§8)
• Semântica
• Semântica
• Quantificador universal: (§11)
• Regras de inferências
• Regras de inferências
• Regras de inferências Regras de Boa Formação
• Regras de inferências
• Traduções
• Axiomas • Se A for um termo que designa um conteúdo judicável, então
• Axiomas
• Axiomas A será um termo
• Axiomas
• Axiomas
• Se Ae B forem termos, então B será um termo
• Axiomas A
• Observação
• Axiomas
• Se A é um termo, então A será um termo
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 4 / 43
 Sintaxe

• Sintaxe
• Sintaxe
• Se A e B forem termos que expressam conteúdos conceituais,
• Sintaxe A ≡ B será um termo
• Sintaxe
• Sintaxe
• Se T for uma funcão n-ária e u1 , u2 , . . . , un expressarem
• Semântica conteúdos conceituais, então T (u1, u2 , . . . , un ) será um termo
• Semântica
• Semântica • Se T (u1, u2 , . . . , un ) expressar um conteúdo judicável, então
• Regras de inferências T (u1, u2 , . . . , un ) será um termo
• Regras de inferências
• Regras de inferências • Se T (u) for um termo, então a T (a) será um termo.
• Regras de inferências
• Traduções
• Fórmulas são obtidas anexando-se o traço de juízo: A
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 5 / 43
 Sintaxe

• Sintaxe
A importância do traço horizontal: eliminar uso de parênteses.
• Sintaxe
• Sintaxe Suponha que Frege tivesse apenas o traço condicional, como ele
• Sintaxe
• Sintaxe
poderia expressar p → (q → p) e (p → q) → p?
• Semântica
• Semântica
• Semântica p
• Regras de inferências q
• Regras de inferências
• Regras de inferências p
• Regras de inferências
• Traduções
• Axiomas p
• Axiomas q
• Axiomas
• Axiomas p
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 6 / 43
 Semântica

• Sintaxe • Traço do conditional

• Sintaxe
• Sintaxe
• Sintaxe Dados dois conteúdos judicáveis A e B , há 4 possibilidades:
• Sintaxe
• Semântica 1. A é o caso e B é o caso
• Semântica
• Semântica
2. A é o caso e B não é o caso
• Regras de inferências 3. A não é o caso e B é o caso
• Regras de inferências
• Regras de inferências 4. A não é o caso e B não é o caso
• Regras de inferências
• Traduções O símbolo B 1 exclui a linha 2. Assim, a traço conditional é uma
• Axiomas
• Axiomas
A
• Axiomas espécie de condicional material
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
1
• Observação A → B é verdadeiro.
• Observação
• Axioma
• Axiomas 7 / 43
 Semântica

• Sintaxe • Traço de Negação

• Sintaxe
• Sintaxe
• Sintaxe Dado um conteúdo conceitual A, há duas possibilidades
• Sintaxe
• Semântica 1. A é o caso
• Semântica
• Semântica
2. A não é o caso
• Regras de inferências
• Regras de inferências A exclui a linha 1.
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 8 / 43
 Semântica

• Sintaxe
• Identidade de conteúdos
• Sintaxe
• Sintaxe
• Sintaxe A ≡ B será o caso, se A e B expressarem o mesmo conteúdo
• Sintaxe
conceitual; não será o caso, caso contrário
• Semântica
• Semântica
• Semântica
• Quantificação
• Regras de inferências
• Regras de inferências
a F (a) é o caso, se F (a) é o caso qualquer que seja a
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 9 / 43
 Regras de inferências

• Sintaxe • Modus Ponens

• Sintaxe
• Sintaxe
• Sintaxe
• Sintaxe B
• Semântica A
• Semântica A (§6)
• Semântica
• Regras de inferências
B
• Regras de inferências
• Regras de inferências
• Regras de inferências • Regra de substituição uniforme para conteúdos conceituais
• Traduções
• Axiomas • Seja a fórmula: a
• Axiomas
b
• Axiomas
• Axiomas a
• Axiomas
• Isso é uma tautologia. Substitua b por d
• Axiomas
• Observação c
• Axiomas • A fórmula resultante a será uma tautologia
• Observação
• Prova d
• Observação
• Observação
c
• Observação a
• Axioma
• Axiomas 10 / 43
 Regras de inferências

• Sintaxe
• Regra de substituição uniforme para funções
• Sintaxe
• Sintaxe • Seja a fórmula F (c)
• Sintaxe a
• Sintaxe
F (a)
• Semântica • Isso é uma verdade lógica. Substitua a função F ξ pela função
• Semântica
• Semântica
H(Γ)
• Regras de inferências G(Γ)
• Regras de inferências
• Regras de inferências
• Obtemos a fórmula H(c) , que continua sendo uma
• Regras de inferências G(c)
• Traduções
a H(a)
• Axiomas
• Axiomas
G(a)
• Axiomas
• Axiomas verdade lógica.
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 11 / 43
 Regras de inferências

• Sintaxe
• Sintaxe
• Regra de generalização universal: de F (a), derive a F (a)
• Sintaxe
• Sintaxe
• Sintaxe
• Semântica
• Semântica
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 12 / 43
 Regras de inferências

• Sintaxe
• Regra de confinamento do quantificador universal ao
• Sintaxe
• Sintaxe consequente: de
• Sintaxe
• Sintaxe
• Semântica
T (u),
• Semântica A
• Semântica
• Regras de inferências onde u não ocorre em A, podemos derivar
• Regras de inferências
• Regras de inferências
• Regras de inferências a T (a),
• Traduções
• Axiomas A
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 13 / 43
 Traduções

• Sintaxe
• Sintaxe
• Todo A é B : a B(a)
• Sintaxe A(a)
• Sintaxe
• Sintaxe
• ∀x(A(x) → B(x))
• Semântica • Nenhum A é B : a B(a)
• Semântica
• Semântica A(a)
• Regras de inferências • ∀x(A(x) → ¬B(x))
• Regras de inferências
• Regras de inferências • Algum A é B : a B(a)
• Regras de inferências
• Traduções
A(a)
• Axiomas • ¬∀x(A(x) → ¬B(x))
• Axiomas
• Axiomas
• Algum A não é B : a B(a)
• Axiomas A(a)
• Axiomas
• Axiomas
• ¬∀x(A(x) → B(x))
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 14 / 43
 Axiomas

• Sintaxe
• Sintaxe a (Axioma 1)
• Sintaxe
• Sintaxe b
• Sintaxe a
• Semântica
• Semântica
• Semântica • ⊢ a → (b → a)
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 15 / 43
 Axiomas

• Sintaxe
• Sintaxe c (Axioma 2)
• Sintaxe
• Sintaxe a
• Sintaxe b
• Semântica
• Semântica a
• Semântica
• Regras de inferências
c
• Regras de inferências b
• Regras de inferências
• Regras de inferências
a
• Traduções
• Axiomas
• Axiomas
• ⊢ a → (b → c). → .(a → b) → (a → c)
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 16 / 43
 Axiomas

• Sintaxe
• Sintaxe c (Axioma 8)
• Sintaxe
• Sintaxe a
• Sintaxe b
• Semântica
• Semântica c
• Semântica
• Regras de inferências
b
• Regras de inferências a
• Regras de inferências
• Regras de inferências
• Traduções • ⊢ a → (b → c). → .b → (a → c)
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 17 / 43
 Axiomas

• Sintaxe
• Sintaxe a (Axioma 28)
• Sintaxe
• Sintaxe b
• Sintaxe b
• Semântica
• Semântica a
• Semântica
• Regras de inferências
• Regras de inferências
• ⊢ a → b. → .¬b → ¬a
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 18 / 43
 Axiomas

• Sintaxe
• Sintaxe a (Axioma 31)
• Sintaxe
• Sintaxe a
• Sintaxe
• Semântica
• Semântica
• ⊢ ¬¬a → a
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 19 / 43
 Axiomas

• Sintaxe
• Sintaxe a (Axioma 41)
• Sintaxe
• Sintaxe a
• Sintaxe
• Semântica • a → ¬¬a
• Semântica
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 20 / 43
 Observação

• Sintaxe
No prefácio a BS, Frege sugere que as fórmulas 31 e 41 podem ser
• Sintaxe
• Sintaxe derivadas a partir da seguinte fórmula: ( a ≡ a), que poderia ter
• Sintaxe
• Sintaxe
sido inclu´ida como axioma. Ele não apresenta a derivação, que
• Semântica depende dos axiomas 52 e do teorema 57.
• Semântica
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 21 / 43
 Axiomas

• Sintaxe
• Sintaxe F (b) (Axioma 52)
• Sintaxe
• Sintaxe F (a)
• Sintaxe (a ≡ b)
• Semântica
• Semântica
• Semântica • ⊢ a ≡ b → (F (a) → F (b))
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 22 / 43
 Observação

• Sintaxe
A partir do axioma 52, Frege deriva a fórmula 57 (teorema 57):
• Sintaxe
• Sintaxe
• Sintaxe
• Sintaxe
F (a) (Teorema 57)
• Semântica F (b)
• Semântica
• Semântica (a ≡ b)
• Regras de inferências
• Regras de inferências É partir destas duas fórmulas (52 e 57) que as fórmulas 31 e 41
• Regras de inferências
• Regras de inferências
seriam obtidas se Frege tivesse introduzido ( a ≡ a) como
• Traduções axioma.
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 23 / 43
 Prova

• Sintaxe
• Sintaxe
• Assuma que ( a ≡ a)
• Sintaxe • Pela regra de substituição para conteúdos conceituais (em 52),
• Sintaxe
• Sintaxe temos: F (a)
• Semântica F ( a)
• Semântica
• Semântica ( a ≡ a)
• Regras de inferências • Pela regra de substituição de funções, a saber, substituir a
• Regras de inferências
• Regras de inferências função F (Γ) por Γ, obtemos: a
• Regras de inferências a
• Traduções
• Axiomas ( a ≡ a)
• Axiomas • Por modus ponens, obtemos a
• Axiomas
• Axiomas a
• Axiomas • A fórmula 41 seria obtida da mesma forma, usando-se o teorema
• Axiomas
• Observação 57.
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 24 / 43
 Observação

• Sintaxe
Em geral, acredita-se que o axioma 52 compõe a lógica de
• Sintaxe
• Sintaxe predicados de Frege. Mas, na verdade, ele faz parte também da
• Sintaxe
• Sintaxe
lógica proposicional. De fato, uma crítica que Frege faz a Boole é
• Semântica justamente a separação entre proposições primárias e proposições
• Semântica
• Semântica secundárias. Na sua visão, a conceitografia não faz tal distinção.
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 25 / 43
 Observação

• Sintaxe
• Observação: na verdade, por causa do traço de conteúdo, ainda
• Sintaxe
• Sintaxe há um resquício de tal divisão. Isso só será completamente
• Sintaxe
• Sintaxe
superado quando o traço de conteúdo é tranformado no
• Semântica horizontal que representa uma função característica:
• Semântica
• Semântica

• Regras de inferências  = V, se ∆ é V


• Regras de inferências 

• Regras de inferências
• Regras de inferências
∆
• Traduções



• Axiomas

= F, se ∆ não é o V

• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 26 / 43
 Observação

• Sintaxe
Em BS, 2 é mal-formado, portanto não tem valor de verdade.
• Sintaxe
• Sintaxe Em Grundgesetze (GGA), 2 é bem-formado e se refere ao F
• Sintaxe
• Sintaxe
(uma vez que 2 não é verdadeiro)
• Semântica Em BS, 2 é mal formado. Portanto, na fórmula a, ‘a’ refere-se
• Semântica
• Semântica 2 a
• Regras de inferências apenas a conteúdos judicáveis.
• Regras de inferências
• Regras de inferências
Em GGA, 2 é bem-formado e refere-se ao verdadeiro. É uma
• Regras de inferências 2
• Traduções
• Axiomas
instância de a e, portanto, podemos afirmar: 2
• Axiomas a 2
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 27 / 43
 Axioma

• Sintaxe
• Sintaxe c≡c (Axioma 54)
• Sintaxe
• Sintaxe
• Sintaxe
• Semântica
• Semântica
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 28 / 43
 Axiomas

• Sintaxe
• Sintaxe f (c) (Axioma 58)
• Sintaxe
a f (a)
• Sintaxe
• Sintaxe
• Semântica
• Semântica
• ⊢ ∀xF (x) → F (c)
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 29 / 43
 Axiomas

• Sintaxe
• Sintaxe Mβ f (β) (Axioma 58*)
• Sintaxe f
• Sintaxe Mβ f(β)
• Sintaxe
• Semântica
• Semântica • ⊢ ∀F Mβ F (β) → Mβ G(β)
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 30 / 43
 Axiomas

• Sintaxe
• Sintaxe Mαβ f (α, β) (Axioma 58**)
• Sintaxe f
• Sintaxe Mαβ f(α, β)
• Sintaxe
• Semântica
• Semântica • ⊢ ∀F Mαβ F (α, β) → Mαβ G(α, β)
• Semântica
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 31 / 43
 Exemplo de derivação em BS

• Sintaxe
• Sintaxe
a
• Sintaxe a
• Sintaxe Tome o axioma 2
• Sintaxe
• Semântica c
• Semântica
• Semântica
a
• Regras de inferências b
• Regras de inferências
• Regras de inferências
a
• Regras de inferências c
• Traduções
• Axiomas b
• Axiomas a
• Axiomas
• Axiomas e faça as seguintes substituições: b por a e c por a.
• Axiomas a
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 32 / 43
 Exemplo de derivação em BS

• Sintaxe
Obtemos então:
• Sintaxe
• Sintaxe
• Sintaxe
• Sintaxe
a (1)
• Semântica a
• Semântica
• Semântica a
• Regras de inferências a
• Regras de inferências
• Regras de inferências a
• Regras de inferências
• Traduções
a
• Axiomas a
• Axiomas
• Axiomas
a
• Axiomas a
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 33 / 43
 Exemplo de derivação em BS

• Sintaxe Tome agora o axioma 1

• Sintaxe
• Sintaxe a
• Sintaxe
• Sintaxe
b
• Semântica a
• Semântica
• Semântica
e substitua b por a. Obtemos
• Regras de inferências a
• Regras de inferências
• Regras de inferências a (2)
• Regras de inferências
• Traduções a
• Axiomas
• Axiomas
a
• Axiomas a
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 34 / 43
 Exemplo de derivação em BS

• Sintaxe
Aplicando modus ponens em (1) e (2), obtemos:
• Sintaxe
• Sintaxe
• Sintaxe
• Sintaxe
a (3)
• Semântica a
• Semântica
• Semântica a
• Regras de inferências a
• Regras de inferências
• Regras de inferências a
• Regras de inferências
• Traduções Novamente, no axioma 1, substitua b por a, obtendo assim:
• Axiomas
• Axiomas
• Axiomas a (4)
• Axiomas
• Axiomas a
• Axiomas a
• Observação
• Axiomas
Aplicando MP em 3 e 4, chegamos à fórmula desejada.
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 35 / 43
 Definições

• Sintaxe
• Definição de Hereditariedade (conceito de segunda ordem)
• Sintaxe
• Sintaxe
δ
 
• Sintaxe    F (α)
• Sintaxe  d a F (a) ≡ (Hereditariedade)
α f (δ,α) 
• Semântica  f (d, a) 
• Semântica  
• Semântica F (d)
• Regras de inferências
• Regras de inferências
• Regras de inferências • Uma propriedade F é hereditária em uma relação f se e
• Regras de inferências
• Traduções somente se para quaisquer objetos x, y se x tem a propriedade
• Axiomas
• Axiomas
F e se x está na relação f com y , então y tem a propriedade F
• Axiomas • Herα,β (F (α), f (α, β)) =def ∀x∀y(F (x)&f (x, y) → F (y))
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 36 / 43
 Definições

• Sintaxe
• Definição de ancestral forte (conceito de primeira ordem)
• Sintaxe
• Sintaxe γ
 
F
≡ ∼ f (xγ , yβ ) (Ancestral forte)

• Sintaxe F(y)
• Sintaxe  a F(a)  β 
• Semântica
  
f (x, a)
 
• Semântica  
• Semântica

 δ F(α)  
• Regras de inferências  
• Regras de inferências
α f (δ,α)
• Regras de inferências
• Regras de inferências
• Traduções • y segue-se após x na relação f se e somente se para qualquer
• Axiomas
• Axiomas propriedade F , se F é hereditária na relação f e para todo z , se
• Axiomas
• Axiomas
x está na relação f com z , então z tem F , então y tem a
• Axiomas propriedade F .
• Axiomas
• Observação
• f ∗ (x, y) =def ∀F {[Herα,β (F (α), f (α, β))&∀z(f (a, z) →
• Axiomas F (z))] → F (y)}
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 37 / 43
 Definições

• Sintaxe
• Definição de ancestral fraco (conceito de primeira ordem)
• Sintaxe
• Sintaxe  γ 
(z ≡ x) ≡ ∼ f (xγ , zβ ) (Ancestral fraco)
• Sintaxe
!
• Sintaxe

γ β
• Semântica  ∼ f (xγ , zβ ) 
• Semântica β
• Semântica
• Regras de inferências
• Regras de inferências • y pertence a f-série iniciado por x se e somente se y é um
• Regras de inferências
• Regras de inferências ancestral forte de x ou y é igual a x.
• Traduções
• Axiomas
• f ∗= (x, y) =def f ∗ (x, y) ∨ y ≡ x
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 38 / 43
 Definições

• Sintaxe
• Definição de funcionalidade (conceito de segundo ordem)
• Sintaxe
• Sintaxe  
  δ
• Sintaxe
• Sintaxe
e d a (a ≡ e) ≡ I f (δ, ǫ) (Funcionalidade)
 ǫ
• Semântica  f (d, a)  
• Semântica
 
• Semântica
f (d, e)
• Regras de inferências
• Regras de inferências
• Regras de inferências • F uncαβ f (α, β) =def ∀x∀y∀z(f (x, y)&f (x, z) → y ≡ z)
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 39 / 43
 Teoremas

• Sintaxe
• Teorema 81 (Indução matemática)
• Sintaxe
• Sintaxe
• Sintaxe F (y) (Teorema 81)
• Sintaxe γ
• Semântica ∼ f (xγ , yβ )
• Semântica
β
• Semântica δ F (α)
• Regras de inferências
• Regras de inferências α f (δ,α)
• Regras de inferências F (x)
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 40 / 43
 Prova de 81

• Sintaxe
• Sintaxe
Assuma (1) F (x), (2) ∀x∀y(F (x)&f (x, y) → F (y)) e
• Sintaxe (3)∀F {[∀x∀y(F (x)&f (x, y) → F (y))&∀z(f (x, z) →
• Sintaxe
• Sintaxe F (z))] → F (y)}. Devemos derivar F (y). Instanciando
• Semântica universalmente (3), temos
• Semântica
• Semântica (4)
• Regras de inferências
• Regras de inferências
[∀x∀y(F (x)&f (x, y) → F (y))&∀z(f (x, z) → F (z))] → F (y)
• Regras de inferências (Frege usará o axioma 58* e as substituições apropriadas para
• Regras de inferências
• Traduções
funções e aplicará MP). Instanciando universalmente em (2),
• Axiomas obtemos (5) F (x)&f (x, z) → F (z). Uma vez que F (x), então
• Axiomas
• Axiomas temos (6) f (x, z) → F (z)2 . Portanto, generalizando
• Axiomas universalmente, obtemos (7) ∀z(f (x, z) → F (z)). Uma vez que
• Axiomas
• Axiomas temos (2) e (7), podemos formar a conjunção que exatamente o
• Observação
antecedente de (4). Aplicando MP, obtemos F (y).
• Axiomas
• Observação
• Prova
• Observação
2
• Observação p&q → r, p ⊢ q → r
• Observação
• Axioma
• Axiomas 41 / 43
 Teoremas

• Sintaxe
• Teorema 98 (transitividade do ancestral forte)
• Sintaxe
• Sintaxe γ
• Sintaxe ∼ f (xγ , zβ ) (Teorema 98)
• Sintaxe β
• Semântica γ
• Semântica
∼ f (yγ , zβ )
β
• Semântica γ
• Regras de inferências ∼ f (xγ , yβ )
• Regras de inferências β
• Regras de inferências
• Regras de inferências
• Traduções
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 42 / 43
 Teoremas

• Sintaxe • Teorema 133

• Sintaxe
• Sintaxe γ
• Sintaxe ∼ f (mγ , yβ ) (Teorema 133)
• Sintaxe β
• Semântica γ
• Semântica ∼ f (yγ , mβ )
• Semântica
β
γ
• Regras de inferências ∼ f (xγ , yβ )
• Regras de inferências β
• Regras de inferências γ
• Regras de inferências ∼ f (xγ , mβ )
• Traduções β
• Axiomas δ
• Axiomas I f (δ, ǫ)
• Axiomas ǫ
• Axiomas
• Axiomas
• Axiomas
• Observação
• Axiomas
• Observação
• Prova
• Observação
• Observação
• Observação
• Axioma
• Axiomas 43 / 43