Série Compartiendo Aula por Lógica MX

What is logic? por Sara Uckleman

blogic: a logic textbook por J. David Velleman

Logic Courseware, Surveyed por Justin Weinberg

Logic Matters por Peter Smith

Exercícios por Peter Smith

Resources for teaching philosophy por Neil Mehta

Exercícios por Peter Smith

Material em espanhol

Série Compartiendo Aula por Lógica MX

Material em inglês

What is logic? por Sara Uckleman

blogic: a logic textbook por J. David Velleman

Logic Courseware, Surveyed por Justin Weinberg

Logic Matters por Peter Smith

[[]https://www.logicmatters.net/ifl/ifl2-exercises-and-answers-2/|Exercícios por Peter Smith]

Resources for teaching philosophy por Neil Mehta

(por Daniel Durante)

(por Hudson Benevides)

(por Evelyn Erickson)

(por Daniel Durante)

(por Hudson Benevides)

(por Evelyn Erickson)

Material para ensino de lógica e disciplinas afins

O conteúdo segue a seguinte legenda: I (Lógica Informal), P (Lógica Proposicional), O (Lógica de Primeira Ordem), M (Lógica Modal), N (Lógicas Não-Clássicas), T (Metateoria), e F (Fundamentos). A área segue a seguinte legenda: E (Exatas) e H (Humanas).

Lógica proposicional

(:sortable:)

O conteúdo segue a seguinte legenda: I (Lógica Informal), P (Lógica Proposicional), O (Lógica de Primeira Ordem), M (Lógica Modal), N (Lógicas Não-Clássicas), T (Metateoria), e F (Fundamentos).

A área segue a seguinte legenda: E (Exatas) e H (Humanas).

Essa página começou como uma iniciativa de disponibilizar material didático para aulas remotas durante a pandemia de COVID-19, e foi expandida durante o 2º Dia Carol Blasio por Diversidade na Lógica.

Aos que desejem compartilhar seus materiais, pedimos que entrem em contato pelo email contato@sbl.org.br informando o tipo de material, área do conhecimento e/ou disciplina e URL para disponibilização.

Material para ensino de lógica

Recomendação de bibliografia

Para Todxs Natal: uma introdução à lógica formal

(por Daniel Durante)

É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática. O livro está disponível online .

A construção do argumento, Anthony Weston (trad. Alexandre Feitosa Rosas)

(por Hudson Benevides)

É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.

Você pensa o que acha que pensa?, Julian Baggini e Jeremy Stangroom (trad. Roberto Valente)

(por Evelyn Erickson)

O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. Aqui há um plano de aula baseado no capítulo 1.

Sinalário em LIBRAS

Projeto FILOLIBRAS: Lógica

Lógica proposicional

Essa página começou como uma iniciativa de disponibilizar material didático para aulas remotas durante a pandemia de COVID-19, e foi expandida durante o [https://logicasbrasileiras.wordpress.com/ii-dia-carol-blasio-por-diversidade-na-logica-2023/ 2º Dia Carol Blasio por Diversidade na Lógica].

Aos que desejem compartilhar seus materiais, pedimos que entrem em contato pelo email <u>contato@sbl.org.br</u> informando o tipo de material, área do conhecimento e/ou disciplina e URL para disponibilização.

== Material para ensino de lógica == O conteúdo segue a seguinte legenda: I (Lógica Informal), P (Lógica Proposicional), O (Lógica de Primeira Ordem), M (Lógica Modal), N (Lógicas Não-Clássicas), T (Metateoria), e F (Fundamentos).

A área segue a seguinte legenda: E (Exatas) e H (Humanas).

{| class="wikitable sortable"

rowspan="2" style="width:20pt"|Tipo

rowspan="2" style="width:20pt" | Área

rowspan="2" class="unsortable" style="width:65pt" |Autoria

colspan="7" style="width:20pt" |Conteúdo

rowspan="2" class="unsortable" |Descrição

rowspan="2" class="unsortable" style="width:25pt" |URL

rowspan="2" class="unsortable" style="width:20pt" |[https://creativecommons.org/licenses CC]

|-

I

P

O

M

N

T

F

|- |<small>Vídeos</small> |E |<small>Alfredo Roque Freire e Edgar L.B. Almeida</small> | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | |[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ ytb] | |- |<small>Video aulas e exercícios</small> |H |<small>Cezar Mortari</small> | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | style="text-align: center" | ✕ | | style="text-align: center" | ✕ |<small>Lógica I e Lógica II</small> |[https://cmortari.prof.ufsc.br/ www] | |- |<small>Videopédia</small> |E + H |<small>João Marcos</small> | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | | style="text-align: center" | ✕ | |<small>Introdução Computacional à Lógica Matemática</small> |[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica wiki] |BY |- |<small>Video aulas</small> |H |<small>Renato Mendes Rocha</small> | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | | | | | |[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I ytb] | |- |<small>Video aulas</small> |H |<small>Daniel Durante</small> | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | | | style="text-align: center" | ✕ |<small>Introdução à Lógica</small> |[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7 ytb] |BY |- |<small>Curso</small> |H |<small>Juliana Bueno-Soler e Walter Carnielli</small> | style="text-align: center" | ✕ | | | | | | |<small>Pensamento crítico e argumentação</small> |[https://www.coursera.org/learn/pensamento-critico-argumentacao www] | |- |<small>Livro</small> |H |<small>Autoria coletiva</small> | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | style="text-align: center" | ✕ | style="text-align: center" | ✕ |<small>Para Todxs Natal: uma introdução à lógica formal</small> |[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 .pdf] |BY |- |<small>Slides</small> |H |<small>Marcelo Finger (com Renata Wassermann)</small> | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | | | |<small>Introdução à Lógica e Métodos Formais</small> |[https://drive.google.com/file/d/1lLHCM6Nk3xA0EDTTH9NonHeo8x_ldRiA/view .pdf] |BY-SA |- |<small>Jogo</small> |E + H |<small>Keep Talking and Nobody Explodes</small> | | style="text-align: center" | ✕ | | | | | |<small>Um jogo sobre seguir um manual de instruções</small> |[https://keeptalkinggame.com/ www] | |- |<small>Plano de aula</small> |H |<small>Evelyn Erickson</small> | style="text-align: center" | ✕ | | | | | | |<small>Sobre contradição e consistência</small> |[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 pdf] |BY |- |<small>Videos</small> |H |<small>IdealA+</small> | | | | | | | |<small>Inteligência Artificial</small> |[https://www.youtube.com/@IdeiaMaisProjeto/featured ytb] | |- |<small>Plano de curso</small> |H |<small>Frank Thomas Sautter</small> | | | | | style="text-align: center" | ✕ | | |<small>Lógicas Não-clássicas</small> |[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c www] | |- |<small>Plano de curso</small> |H |<small>Rafaela Nunes e Márcia Laux</small> | style="text-align: center" | ✕ | | | | | | |<small>Feminismo sob uma Perspectiva Lógico-Filosófica</small> |[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica/ www] | |- |<small>Video aulas</small> |H |<small>Gisele Dalva Secco</small> | style="text-align: center" | ✕ | style="text-align: center" | ✕ | | | | | |<small>Introdução à lógica desde uma perspectiva feminista</small> |[https://logicasbrasileiras.wordpress.com/introducao-a-logica-desde-uma-perspectiva-feminista/ www] | |- |<small>Video aulas e exercícios</small> |E + H |<small>João Marcos</small> | | | | | | | style="text-align: center" | ✕ |<small>Conjuntos & funções, com um viés computacional</small> |[https://youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv ytb] | |- |<small>Video aulas</small> |E |<small>João Marcos</small> | | | style="text-align: center" | ✕ | | | | style="text-align: center" | ✕ |<small>Especificações Algébricas para Tipos de Dados Abstratos</small> |[https://www.youtube.com/playlist?list=PLekOxW8qKsV-pLZf5dSA37BBd1nrMQaNz ytb] |BY |- |<small>Video aulas</small> |E |<small>Karina Girardi Roggia</small> | | style="text-align: center" | ✕ | | | | | |<small>Lógica Matemática, voltada à Computação</small> |[https://www.youtube.com/playlist?list=PLnkV1lryuasg7Fl006iW3_RdgXRbEgzOv ytb] |BY-SA |- |<small>Vídeos</small> |H |<small>Coletivo Lógica Viva</small> | style="text-align: center" | ✕ | | | | | | |<small>Playlist de falácias informais.</small> |[https://www.youtube.com/watch?v=Hz2yBeko-Yc&list=PLmc-kTi-TUVs9j5AzLZmEORXKF0ewuyQQ ytb] | |- |<small>Video aulas, exercícios e textos</small> |E |<small>Renata de Freitas</small> | style="text-align: center" | ✕ | | | | | | style="text-align: center" | ✕ |<small>Da disciplina "Lógica, Números e Funções"</small> |[https://defreitas-renata.github.io/homepage/lnf.html www] |BY-ND |- |<small>TCC</small> |E+H |<small>Mahan Vaz Silva</small> | | | | | | |✕ |<small>Introdução a ordinais e cardinais, Filosofia da Teoria de Conjuntos</small> |.[https://www.dropbox.com/s/o7xyafxqb1ca6p8/notas_conjuntos%20-%20Mahan%20Vaz.pdf?dl=0 pdf] |BY-ND |- |<small>Slides</small> |E+H |<small>Elaine Pimentel</small> | | style="text-align: center" | ✕ | style="text-align: center" | ✕ | style="text-align: center" | ✕ | style="text-align: center" | ✕ | style="text-align: center" | ✕ | |<small>Slides e ementa do curso de Proof Theory (Mestrado/ UFRN)</small> |[https://drive.google.com/file/d/1QD_Y2MRPsj5VYqPNOvOoQjpiKmUtQ6ao/view pdf] | |- |<small>Livro</small> |E |<small>João Marcos</small> | | style="text-align: center" | ✕ | | | | | |<small>Tópicos sobre lógica proposicional</small> |[https://drive.google.com/file/d/0B-xArjpvlv9gYk55eVM3akY5Ykk/view?pli=1&resourcekey=0-lgFhrqryiH-A3ZbbAEV2kg pdf] | |- |<small>Livro</small> |E |<small>João Marcos</small> | | | style="text-align: center" | ✕ | | | | |<small>Tópicos sobre lógica de primeira ordem</small> |[https://drive.google.com/file/d/1CwDcMRe-bhsQ_M3_-58xcgVIftywsFJc/view pdf] | |- |<small>Livro</small> |E |<small>João Marcos</small> | | | | style="text-align: center" | ✕ | | | |<small>Tópicos sobre lógica modal</small> |[https://drive.google.com/file/d/0B-xArjpvlv9gQ3RlWldQcENtZVU/view?resourcekey=0-wPULHYnVKyakkkP3DY-0_g pdf] | |- |<small>Notas de aula e exercícios</small> |E |<small>João Marcos</small> | | | | | | | style="text-align: center" | ✕ |<small>Slides, exercícios e teoria sobre tipos de dados recursivos</small> |[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 www] | |- |<small>Notas de aula e exercícios</small> |E+H |<small>João Marcos</small> | | | | | | | style="text-align: center" | ✕ |<small>Tópicos sobre álgebras, especificações algébricas e tipos de dados</small> |[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 www] | |- |<small>Notas de aula e exercícios</small> |E+H |<small>João Marcos</small> | | | | | | | style="text-align: center" | ✕ |<small>Teoria dos conjuntos, funções e relações</small> |[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 www] | |}

== Recomendação de bibliografia == Há uma breve descrição ou resenha para cada recomendação, é só clicar em "expandir". Contribuições de Daniel Durante, Evelyn Erickson e Hudson Benevides. {| class="wikitable mw-collapsible mw-collapsed" |+ style="text-align: left; width:510pt" |[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 Para Todxs Natal: uma introdução à lógica formal] |É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática. |}

{| class="wikitable mw-collapsible mw-collapsed" |+ style="text-align: left; width:510pt" |[https://www.martinsfontespaulista.com.br/a-construcao-do-argumento-576556/p A construção do argumento], Anthony Weston (trad. Alexandre Feitosa Rosas) | É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais. |}

{| class="wikitable mw-collapsible mw-collapsed" |+ style="text-align: left; width:510pt" |Você pensa o que acha que pensa?, Julian Baggini e Jeremy Stangroom (trad. Roberto Valente) |O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 Aqui] há um plano de aula baseado no capítulo 1. |}

== Sinalário em LIBRAS == [https://www.youtube.com/watch?v=mlLac2X2zOs Projeto FILOLIBRAS: Lógica]

[https://www.youtube.com/watch?v=xePttRuc_q8 Lógica proposicional]

__NOTOC__ __NOINDEX__