Groups
Groups
Sign in
Groups
Groups
Lógica no Avião
Conversations
About
Send feedback
Help
Lógica no Avião
Contact owners and managers
1–30 of 97
Grupo de [Lógica no Avião] da
Universidade
de Brasília
[[ Seminário Permanente '
Lógica no Avião
']].
Mark all as read
Report group
0 selected
Lógica no Avião
12/2/25
Ivan Beschastnyi no "Seminário Permanente 'Lógica no Avião'"
Ivan Beschastnyi (Inria Centre d'Université Côte d'Azur) Finiteness of prolongation
unread,
Ivan Beschastnyi no "Seminário Permanente 'Lógica no Avião'"
Ivan Beschastnyi (Inria Centre d'Université Côte d'Azur) Finiteness of prolongation
12/2/25
Lógica no Avião
11/14/25
Nilton Barroso no "Seminário Permanente 'Lógica no Avião'"
Nilton Barroso (MAT-UnB) O princípio de Eudoxo e seus ecos na formação do pensamento matemático Dia:
unread,
Nilton Barroso no "Seminário Permanente 'Lógica no Avião'"
Nilton Barroso (MAT-UnB) O princípio de Eudoxo e seus ecos na formação do pensamento matemático Dia:
11/14/25
Lógica no Avião
5/22/25
João Alberto de Oliveira Lima no "Seminário Permanente 'Lógica no Avião'"
João Alberto de Oliveira Lima (Senado Federal/Instituto Legislativo Brasileiro) Aplicação da Teoria
unread,
João Alberto de Oliveira Lima no "Seminário Permanente 'Lógica no Avião'"
João Alberto de Oliveira Lima (Senado Federal/Instituto Legislativo Brasileiro) Aplicação da Teoria
5/22/25
Lógica no Avião
5/5/25
Erick Lima (PPGFIL/UnB) no "Seminário Permanente 'Lógica no Avião'"
Erick Lima (PPGFIL/UnB) Semântica Inferencialista, Pragmática Normativa e Expressivismo Lógico: notas
unread,
Erick Lima (PPGFIL/UnB) no "Seminário Permanente 'Lógica no Avião'"
Erick Lima (PPGFIL/UnB) Semântica Inferencialista, Pragmática Normativa e Expressivismo Lógico: notas
5/5/25
Lógica no Avião
4/22/25
Fábio Nolasco (PPGFIL/UnB) no "Seminário Permanente 'Lógica no Avião'"
Fábio Nolasco (PPGFIL/UnB) Dialética e matemática: pressupostos históricos e direcionamento geral da
unread,
Fábio Nolasco (PPGFIL/UnB) no "Seminário Permanente 'Lógica no Avião'"
Fábio Nolasco (PPGFIL/UnB) Dialética e matemática: pressupostos históricos e direcionamento geral da
4/22/25
Lógica no Avião
1/10/25
VI Colóquio UnB–USP de Lógica e Filosofia da Lógica
VI Colóquio UnB–USP de Lógica e Filosofia da Lógica Universidade de Brasília 23 e 24 de janeiro de
unread,
VI Colóquio UnB–USP de Lógica e Filosofia da Lógica
VI Colóquio UnB–USP de Lógica e Filosofia da Lógica Universidade de Brasília 23 e 24 de janeiro de
1/10/25
Lógica no Avião
12/7/24
Philippe Lacour (PPGFIL-UnB) no "Seminário Permanente 'Lógica no Avião'"
Philippe Lacour (PPGFIL-UnB) As condições proto-lógicas das línguas naturais Dia: 10 de dezembro,
unread,
Philippe Lacour (PPGFIL-UnB) no "Seminário Permanente 'Lógica no Avião'"
Philippe Lacour (PPGFIL-UnB) As condições proto-lógicas das línguas naturais Dia: 10 de dezembro,
12/7/24
Lógica no Avião
11/22/24
Fundamentos do Forcing - Aulas
Segue abaixo a playlist com as duas primeiras aulas do curso "Fundamentos do Forcing"
unread,
Fundamentos do Forcing - Aulas
Segue abaixo a playlist com as duas primeiras aulas do curso "Fundamentos do Forcing"
11/22/24
Lógica no Avião
8/12/24
André Neiva (UFAL) - Palestra no LnA
André Neiva (UFAL) Variedades de Probabilismo Dia: 20 de agosto, 2024 Local: FIL-UNB (Módulo 20)
unread,
André Neiva (UFAL) - Palestra no LnA
André Neiva (UFAL) Variedades de Probabilismo Dia: 20 de agosto, 2024 Local: FIL-UNB (Módulo 20)
8/12/24
Lógica no Avião
7/31/24
PPGFIL-UnB (mestrado e doutorado)
Escrevemos para divulgar o edital de seleção para mestrado e doutorado no PPGFIL/UnB. Os seguintes
unread,
PPGFIL-UnB (mestrado e doutorado)
Escrevemos para divulgar o edital de seleção para mestrado e doutorado no PPGFIL/UnB. Os seguintes
7/31/24
Lógica no Avião
12/14/23
V Colóquio UnB-USP de Lógica e Filosofia da Lógica (JAN, 2024)
V Colóquio UnB-USP de Lógica e Filosofia da Lógica 18 e 19 de janeiro de 2024 Quinta-feira, dia 18 de
unread,
V Colóquio UnB-USP de Lógica e Filosofia da Lógica (JAN, 2024)
V Colóquio UnB-USP de Lógica e Filosofia da Lógica 18 e 19 de janeiro de 2024 Quinta-feira, dia 18 de
12/14/23
Lógica no Avião
12/4/23
João Vitor Schmidt (UnB) no LnA (UnB)
João Vitor Schmidt (UnB) Axioms and Postulates as Speech Acts (joint work with Giorgio Venturi) Dia:
unread,
João Vitor Schmidt (UnB) no LnA (UnB)
João Vitor Schmidt (UnB) Axioms and Postulates as Speech Acts (joint work with Giorgio Venturi) Dia:
12/4/23
Lógica no Avião
11/10/23
Irina Starikova (UFMG) no LnA (UnB)
Irina Starikova (UFMG) Proof by contradiction in the context of mathematical thought experiments Dia:
unread,
Irina Starikova (UFMG) no LnA (UnB)
Irina Starikova (UFMG) Proof by contradiction in the context of mathematical thought experiments Dia:
11/10/23
Lógica no Avião
11/9/23
Irina Starikova (UFMG) no "Seminário Permanente 'Lógica no Avião'"
Irina Starikova (UFMG) Proof by contradiction in the context of mathematical thought experiments Dia:
unread,
Irina Starikova (UFMG) no "Seminário Permanente 'Lógica no Avião'"
Irina Starikova (UFMG) Proof by contradiction in the context of mathematical thought experiments Dia:
11/9/23
Lógica no Avião
12/12/22
Concurso Público (FIL-UnB) - Área: Lógica
Departamento de Filosofia Classe: A - Denominação: Adjunto "A" - Nível: 1. Área de
unread,
Concurso Público (FIL-UnB) - Área: Lógica
Departamento de Filosofia Classe: A - Denominação: Adjunto "A" - Nível: 1. Área de
12/12/22
Lógica no Avião
12/7/22
UnB - Duas vagas (pós-doutorado) - Inteligência Artificial: Desafios Filosóficos
Mais informações: http://posfil.unb.br/images/Artigos/Edital_007_2022_PPGFIL_PDPG_Ps-
unread,
UnB - Duas vagas (pós-doutorado) - Inteligência Artificial: Desafios Filosóficos
Mais informações: http://posfil.unb.br/images/Artigos/Edital_007_2022_PPGFIL_PDPG_Ps-
12/7/22
Lógica no Avião
10/9/22
Newton Marques Peron no "Seminário Permanente 'Lógica no Avião'"
Newton Marques Peron (UFFS) Algumas abordagens multivaloradas para raciocínios envolvendo ficção Dia:
unread,
Newton Marques Peron no "Seminário Permanente 'Lógica no Avião'"
Newton Marques Peron (UFFS) Algumas abordagens multivaloradas para raciocínios envolvendo ficção Dia:
10/9/22
Lógica no Avião
10/4/22
Newton Marques Peron (UFFS) - ||Lógica no Avião||
Newton Marques Peron (UFFS) Algumas abordagens multivaloradas para raciocínios envolvendo ficção Dia:
unread,
Newton Marques Peron (UFFS) - ||Lógica no Avião||
Newton Marques Peron (UFFS) Algumas abordagens multivaloradas para raciocínios envolvendo ficção Dia:
10/4/22
Lógica no Avião
4/25/22
IV Workshop: Estudos em Lógica Filosófica
IV Workshop: Estudos em Lógica Filosófica Universidade de Brasília, Departamento de Filosofia 26 de
unread,
IV Workshop: Estudos em Lógica Filosófica
IV Workshop: Estudos em Lógica Filosófica Universidade de Brasília, Departamento de Filosofia 26 de
4/25/22
Lógica no Avião
7/17/20
F. Miraglia, "An Introduction to Partially Ordered Structures and Sheaves", 2020
Informamos que o grande livro "An Introduction to Partially Ordered Structures and Sheaves"
unread,
F. Miraglia, "An Introduction to Partially Ordered Structures and Sheaves", 2020
Informamos que o grande livro "An Introduction to Partially Ordered Structures and Sheaves"
7/17/20
Lógica no Avião
2/11/20
Colóquio de Lógica e Ontologia (USP, 14 de fevereiro)
Colóquio de Lógica e Ontologia Sexta-feira, 14 de fevereiro de 2020 14:00 – 15:30: Prof. Dr. Rodrigo
unread,
Colóquio de Lógica e Ontologia (USP, 14 de fevereiro)
Colóquio de Lógica e Ontologia Sexta-feira, 14 de fevereiro de 2020 14:00 – 15:30: Prof. Dr. Rodrigo
2/11/20
Lógica no Avião
1/31/20
Rodolfo Ertola Biraben (CLE-UNICAMP)@ [Lógica no Avião]
Rodolfo Ertola Biraben CLE-UNICAMP Sobre os fragmentos da lógica intuicionista Dia: 03 de fevereiro,
unread,
Rodolfo Ertola Biraben (CLE-UNICAMP)@ [Lógica no Avião]
Rodolfo Ertola Biraben CLE-UNICAMP Sobre os fragmentos da lógica intuicionista Dia: 03 de fevereiro,
1/31/20
Lógica no Avião
1/9/20
World Logic Day @ Lógica no Avião
Dia Mundial da Lógica [World Logic Day - UNESCO] 14 de janeiro de 2020 Universidade de Brasília,
unread,
World Logic Day @ Lógica no Avião
Dia Mundial da Lógica [World Logic Day - UNESCO] 14 de janeiro de 2020 Universidade de Brasília,
1/9/20
Lógica no Avião
2
11/18/19
Itala M. Loffredo D'Ottaviano (IFCH-CLE-UNICAMP) @ [Lógica no Avião]
Itala M. Loffredo D'Ottaviano (IFCH-CLE-UNICAMP) Para além das Colunas de Hércules, uma história
unread,
Itala M. Loffredo D'Ottaviano (IFCH-CLE-UNICAMP) @ [Lógica no Avião]
Itala M. Loffredo D'Ottaviano (IFCH-CLE-UNICAMP) Para além das Colunas de Hércules, uma história
11/18/19
Lógica no Avião
10/22/19
[Mudança de data] M.E.Coniglio (Unicamp) @ LnA
Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) Teoria de modelos baseada em estruturas pragmáticas para
unread,
[Mudança de data] M.E.Coniglio (Unicamp) @ LnA
Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) Teoria de modelos baseada em estruturas pragmáticas para
10/22/19
Lógica no Avião
2
10/21/19
Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) @ <Lógica no Avião>
Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) Maximalidade e maximalidade forte entre lógicas
unread,
Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) @ <Lógica no Avião>
Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) Maximalidade e maximalidade forte entre lógicas
10/21/19
Lógica no Avião
9/23/19
Aldo Figallo-Orellano @ <Lógica no Avião>
Aldo Figallo-Orellano [Universidad Nacional del Sur (AR) & Unicamp] A noção algébrica das teorias
unread,
Aldo Figallo-Orellano @ <Lógica no Avião>
Aldo Figallo-Orellano [Universidad Nacional del Sur (AR) & Unicamp] A noção algébrica das teorias
9/23/19
Lógica no Avião
8/29/19
Aldo Figallo-Orellano @ <Lógica no Avião>
Aldo Figallo-Orellano [Universidad Nacional del Sur (AR) & Unicamp] A noção algébrica das teorias
unread,
Aldo Figallo-Orellano @ <Lógica no Avião>
Aldo Figallo-Orellano [Universidad Nacional del Sur (AR) & Unicamp] A noção algébrica das teorias
8/29/19
Lógica no Avião
8/19/19
Jean-Yves Béziau (UFRJ) @ <Lógica no Avião>
Jean-Yves Béziau (UFRJ) O conjunto vazio Dia: 21 de agosto, 2019 Local: Sala de Reuniões (FIL-UnB)
unread,
Jean-Yves Béziau (UFRJ) @ <Lógica no Avião>
Jean-Yves Béziau (UFRJ) O conjunto vazio Dia: 21 de agosto, 2019 Local: Sala de Reuniões (FIL-UnB)
8/19/19
Lógica no Avião
8/8/19
Jean-Yves Béziau (UFRJ) @ <Lógica no Avião>
Jean-Yves Béziau (UFRJ) O conjunto vazio Dia: 21 de agosto, 2019 Local: a determinar Horário: 15h-
unread,
Jean-Yves Béziau (UFRJ) @ <Lógica no Avião>
Jean-Yves Béziau (UFRJ) O conjunto vazio Dia: 21 de agosto, 2019 Local: a determinar Horário: 15h-
8/8/19