Aula 5 - Curso de Construtíveis

Aula 4 - curso de construtíveis

Aula 3 - curso de construtíveis

Aula 2 - curso de construtíveis

Aula 1 - curso de construtíveis

Dives in good order

Good order

Proof of the recursion theorem

Recursion in natural numbers - Ordinals and transfinite recursion

Order of natural numbers and strong induction - Ordinals and transfinite recursion

Naturals and ordinals - Ordinals and transfinite recursion

Partial and total order - Ordinals and transfinite recursion

Ordinals and Transfinite Recursion - Introduction

Uniqueness of Reals - Constructibles

Cardinals and aleph sequence - constructibles

Ordinals and transfinite recursion - constructibles

Consistency of the continuum hypothesis - Constructibles

Consistency of the axiom of choice - constructibles

The Constructibles and Absolutity

Models and Consistency - Constructibles

Constructibles - Consistency of the axiom of choice and the continuum hypothesis

Schröder's error. TCDB, part 7

The Dedekind argument. TCDB, part 6

Bernstein's argument. TCDB, part 5

One problem, two formulations. TCDB, part 4

Axioma da Escolha e teorema de Cantor Dedekind Bernstein. TCDB, parte 3

Enunciado do teorema de Cantor-Dedekind-Bernstein. TCDB, parte 2

Teorema de Cantor-Schröder-Bernstein

Resolução dos exercícios do vídeo 10, parte 2, do curso de lógica de predicados

Resolução dos exercícios do vídeo 10 do curso de lógica de predicados

Resolução dos exercícios do vídeo 9 do curso de lógica de predicados

Resolução dos exercícios do vídeo 11 do curso de lógica de predicados

Resolução dos exercícios do vídeo 8 do curso de lógica de predicados

Resolução dos exercícios do vídeo 7 do curso de lógica de predicados

Dois dogmas do empirismo

Exercícios - vídeo 12, 13, 14 - Funções e completudes Booleanas

Incompletude e verificabilidade

1º Teorema de Gödel e a analiticidade da aritmética

Paradoxo do corvo - Carl Hempel

Counterfeiting, the Vienna Circle and Popper

Ciências Unificadas e o Barco de Neurath

Exercícios - vídeo 11 - Teorema da dedução e Provas por contradição

Resolução dos exercícios do vídeo 6 do curso de lógica de predicados

Exercícios - vídeo 10 - Usando o sistema dedutivo - MAIS REGRAS

Probabilidade

Semântica e Lógica Modal

Exercícios - vídeo 9 (parte 2) - usando o sistema dedutivo

Resolução dos exercícios do vídeo 5 do curso de lógica de predicados

Exercícios - vídeo 9 (parte 1) - usando o sistema dedutivo

Propriedades disposicionais

Exercícios vídeo 8 - o que é lógica

Resolução dos exercícios do vídeo 4 do curso de lógica de predicados

Resolução dos exercícios do vídeo 3 do curso de lógica de predicados

Resolução dos exercícios do vídeo 2 do curso de lógica de predicados

Números complexos: conjuntos numéricos, vídeo 15

Exercícios vídeo 7 - o que é lógica

Relação de Inclusão, parte 2 (conjuntos Numéricos, vídeo 14)

Multiplicação de cortes de Dedekind: conjuntos numéricos, vídeo 13

Adição de cortes de Dedekind, parte 2: conjuntos numéricos, vídeo 12

Problema da causalidade