Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera
parabens Walter e Juliana! On Thu, Apr 28, 2022 at 7:16 PM Walter Carnielli wrote: > Colegas: > > Gostaríamos de compartilhar com vocês que nosso curso "Pensamento > Crítico, Lógica e Argumentação" (Coursera / Extecamp-Unicamp): > > https://www.coursera.org/learn/pensamento-critico-argumentacao?aid=true > > está nos Highlights da plataforma Coursera, até na frente de cursos > em língua. inglesa: > > Trending University Partner Courses > 1) Pensamento Crítico, Lógica e Argumentação from Universidade > Estadual de Campinas > 2)The Structured Query Language (SQL) from University of Colorado Boulder > 3)Training and Practicing in English Public Speaking from Shanghai > Jiao Tong University > > > O Jornal da Unicamp também noticiou o curso: > > "Curso livre e gratuito aborda lógica, argumentação e pensamento crítico" > - > Jornal da Unicamp, 13/04/2022 > > > https://www.unicamp.br/unicamp/noticias/2022/04/13/curso-livre-e-gratuito-aborda-logica-argumentacao-e-pensamento-critico > > Na semana de 25 de abril já contávamos com 4.460 "Total Learners" e > 85.455 visualizações recentes. > > Para nós é uma grata surpresa saber que tanta gente se interessa > pelo pensamento crítico, por um pouco de lógica e pela > argumentação! > > Abs, > > Walter & Juliana > > -- > > Walter Carnielli > Laboratory for Applied Ontology (LOA), ISTC-CNR > Trento, Italy > http://www.loa.istc.cnr.it > and > CLE and Department of Philosophy > University of Campinas –UNICAMP, Brazil > https://waltercarnielli.com/ > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MsKC9GwWKsxLZWPaASktQPzdQnEKDb4o_vk8X9MGhVzQ%40mail.gmail.com > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXts%3DEyMqnyrPGNeauB0Ca5ymMio0JRSQrPkTkhWOq_q-A%40mail.gmail.com.
Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera
Obrigado Itala! Deu um enorme trabalho gravar tudo isso, mas parece que valeu a pena! Abraços, Walter Em qui., 28 de abr. de 2022 às 23:19, Itala Maria Loffredo D'Ottaviano escreveu: > > Queridos Walter e Juliana: > > Parabéns pelo trabalho e pelo curso. > O curso está mesmo uma beleza, uma alegria e honra para nós lógicos! > > Itala > > Em qui., 28 de abr. de 2022 às 23:16, Walter Carnielli > escreveu: >> >> Colegas: >> >> Gostaríamos de compartilhar com vocês que nosso curso "Pensamento >> Crítico, Lógica e Argumentação" (Coursera / Extecamp-Unicamp): >> >> https://www.coursera.org/learn/pensamento-critico-argumentacao?aid=true >> >> está nos Highlights da plataforma Coursera, até na frente de cursos >> em língua. inglesa: >> >> Trending University Partner Courses >> 1) Pensamento Crítico, Lógica e Argumentação from Universidade >> Estadual de Campinas >> 2)The Structured Query Language (SQL) from University of Colorado Boulder >> 3)Training and Practicing in English Public Speaking from Shanghai >> Jiao Tong University >> >> >> O Jornal da Unicamp também noticiou o curso: >> >> "Curso livre e gratuito aborda lógica, argumentação e pensamento crítico" - >> Jornal da Unicamp, 13/04/2022 >> >> https://www.unicamp.br/unicamp/noticias/2022/04/13/curso-livre-e-gratuito-aborda-logica-argumentacao-e-pensamento-critico >> >> Na semana de 25 de abril já contávamos com 4.460 "Total Learners" e >> 85.455 visualizações recentes. >> >> Para nós é uma grata surpresa saber que tanta gente se interessa >> pelo pensamento crítico, por um pouco de lógica e pela >> argumentação! >> >> Abs, >> >> Walter & Juliana >> >> -- >> >> Walter Carnielli >> Laboratory for Applied Ontology (LOA), ISTC-CNR >> Trento, Italy >> http://www.loa.istc.cnr.it >> and >> CLE and Department of Philosophy >> University of Campinas –UNICAMP, Brazil >> https://waltercarnielli.com/ >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica >> >> --- >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" >> dos Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie >> um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >> Para ver esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MsKC9GwWKsxLZWPaASktQPzdQnEKDb4o_vk8X9MGhVzQ%40mail.gmail.com. > > > > -- > Prof. Dr. Itala M. Loffredo D'Ottaviano > Full Professor in Logic and the Foundations of Science > Centre for Logic, Epistemology and the History of Science > University of Campinas -- Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil https://waltercarnielli.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MwS4ZF8OSNOMRczedJ8%2B68Dp_ezt%3DvxTKapBWSNE5X-w%40mail.gmail.com.
Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera
Queridos Walter e Juliana: Parabéns pelo trabalho e pelo curso. O curso está mesmo uma beleza, uma alegria e honra para nós lógicos! Itala Em qui., 28 de abr. de 2022 às 23:16, Walter Carnielli < walter.carnie...@gmail.com> escreveu: > Colegas: > > Gostaríamos de compartilhar com vocês que nosso curso "Pensamento > Crítico, Lógica e Argumentação" (Coursera / Extecamp-Unicamp): > > https://www.coursera.org/learn/pensamento-critico-argumentacao?aid=true > > está nos Highlights da plataforma Coursera, até na frente de cursos > em língua. inglesa: > > Trending University Partner Courses > 1) Pensamento Crítico, Lógica e Argumentação from Universidade > Estadual de Campinas > 2)The Structured Query Language (SQL) from University of Colorado Boulder > 3)Training and Practicing in English Public Speaking from Shanghai > Jiao Tong University > > > O Jornal da Unicamp também noticiou o curso: > > "Curso livre e gratuito aborda lógica, argumentação e pensamento crítico" > - > Jornal da Unicamp, 13/04/2022 > > > https://www.unicamp.br/unicamp/noticias/2022/04/13/curso-livre-e-gratuito-aborda-logica-argumentacao-e-pensamento-critico > > Na semana de 25 de abril já contávamos com 4.460 "Total Learners" e > 85.455 visualizações recentes. > > Para nós é uma grata surpresa saber que tanta gente se interessa > pelo pensamento crítico, por um pouco de lógica e pela > argumentação! > > Abs, > > Walter & Juliana > > -- > > Walter Carnielli > Laboratory for Applied Ontology (LOA), ISTC-CNR > Trento, Italy > http://www.loa.istc.cnr.it > and > CLE and Department of Philosophy > University of Campinas –UNICAMP, Brazil > https://waltercarnielli.com/ > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MsKC9GwWKsxLZWPaASktQPzdQnEKDb4o_vk8X9MGhVzQ%40mail.gmail.com > . > -- Prof. Dr. Itala M. Loffredo D'Ottaviano Full Professor in Logic and the Foundations of Science Centre for Logic, Epistemology and the History of Science University of Campinas -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG7US1aDdHEYPNRsmOYiuA5wOT5vJ9-bpgMCE25i8j-zrA%40mail.gmail.com.
[Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera
Colegas: Gostaríamos de compartilhar com vocês que nosso curso "Pensamento Crítico, Lógica e Argumentação" (Coursera / Extecamp-Unicamp): https://www.coursera.org/learn/pensamento-critico-argumentacao?aid=true está nos Highlights da plataforma Coursera, até na frente de cursos em língua. inglesa: Trending University Partner Courses 1) Pensamento Crítico, Lógica e Argumentação from Universidade Estadual de Campinas 2)The Structured Query Language (SQL) from University of Colorado Boulder 3)Training and Practicing in English Public Speaking from Shanghai Jiao Tong University O Jornal da Unicamp também noticiou o curso: "Curso livre e gratuito aborda lógica, argumentação e pensamento crítico" - Jornal da Unicamp, 13/04/2022 https://www.unicamp.br/unicamp/noticias/2022/04/13/curso-livre-e-gratuito-aborda-logica-argumentacao-e-pensamento-critico Na semana de 25 de abril já contávamos com 4.460 "Total Learners" e 85.455 visualizações recentes. Para nós é uma grata surpresa saber que tanta gente se interessa pelo pensamento crítico, por um pouco de lógica e pela argumentação! Abs, Walter & Juliana -- Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil https://waltercarnielli.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MsKC9GwWKsxLZWPaASktQPzdQnEKDb4o_vk8X9MGhVzQ%40mail.gmail.com.
Re: [Logica-l] Fazendo os diagramas implícitos no CWM e outros livros de Categorias
Oi Regivan! Putz, não lembro... Acho que as sugestões padrão são essas aqui: 1. Tom Leinster: "Basic Category Theory" (2016) https://arxiv.org/pdf/1612.09375.pdf 2. Fong/Spivak: "Seven Sketches in Compositionality: An Invitation to Applied Category Theory" http://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf 3. Lawvere/Rosebrugh: "Sets for Mathematics" https://www.mta.ca/~rrosebru/setsformath/ 4. Lawvere/Schanuel: "Conceptual Mathematics" Desses daí o meu preferido é o Leinster, porque praticamente tudo que ele explica é fácil de formalizar de jeitos que uma pessoa que fez Matemática Discreta consiga entender... os outros três usam coisas que eu até hoje não sei como formalizar, como conjuntos cujos elementos são bolinhas que só se distinguem pela posição delas na página. Imagino que pros autores essas bolinhas sejam ou "átomos" nesse sentido aqui, https://en.wikipedia.org/wiki/Urelement ou variáveis sem nome, mas não sei os detalhes, e eu ADORARIA trocar idéias com alguém que soubesse direito como formalizar os desenhos com bolinhas... [[]], Eduardo Ochs http://angg.twu.net/math-b.html On Wed, 27 Apr 2022 at 19:46, Regivan Hugo Nunes Santiago wrote: > > Olá Eduardo, > tudo bem. Estou procurando uma mensagem que você enviou acerca > de um livro bem intuitivo sobre categorias. Você lembra? > Se sim pode me mandar de novo. > > Regivan > > > Em 6 de ago. de 2017, à(s) 21:07, Eduardo Ochs > > escreveu: > > > > Migs, > > > > eu estou começando um projeto - totalmente informal - que talvez > > interesse a algumas pessoas daqui, e que por enquanto eu não me atrevo > > a anunciar em nenhuma lista menos beginner-friendly... > > > > Uma das minhas áreas de pesquisa é Categorias e eu até já publiquei um > > artigo BEM bacana sobre isso, mas eu sou praticamente autodidata, o > > meu conhecimento da área tem buracos ridiculamente grandes, e eu nunca > > soube muito bem COMO estudar os livros de Categorias... > > > > Há umas duas semanas atrás me ocorreu que eu deveria pegar alguns > > livros de Categorias, entender muito bem a notação que eles usam, > > fazer os diagramas que estão implícitos no texto (nas posições que se > > tornaram canônicas pra mim - por exemplo, numa adjunção L-|R o funtor > > L vai pra esquerda, o R vai pra direita, e os morfismos em cada > > categoria vão pra baixo; universais e Yoneda usam convenções baseadas > > nessa), definir direito as construções que no livro são tratadas como > > "óbvias" (usando notação lambda), descobrir as convenções do livro > > para nomear esses funtores e transformações naturais "óbvios" quando > > eles não são nomeados, e assim por diante. > > > > Estou começando com o Categories for the Working Mathematician, do > > MacLane, e depois que eu terminar a parte de mônadas do CWM pretendo > > ir pro Sketches of an Elephant, do Johnstone. Tem vários outros livros > > e artigos pros quais eu gostaria de fazer o mesmo, mas por enquanto a > > prioridade deles é mais baixa. > > > > Tou pondo os diagramas que eu tou fazendo pro CWM aqui: > > > > http://angg.twu.net/LATEX/2017cwm.pdf > > > > Ainda não escrevi nem introdução, nem guidelines, nem várias outras > > coisas. Tudo ainda é muito preliminar. > > > > Se alguém quiser participar ou conversar a respeito pode falar comigo > > ou por aqui ou em privado. Tou typesetteando os diagramas com um > > pacote que eu mesmo fiz e que não é nada user-friendly (por enquanto > > =/), mas dá pra gente interagir usando outros pacotes ou mesmo fotos > > de diagramas escritos à mão. > > > > [[]], > >Eduardo Ochs =) > >http://angg.twu.net/math-b.html > >http://angg.twu.net/ > > > > > > > > > > P.S.: Quando eu estudei o CWM, o Elephant e outros livros de > > Categorias eu acabava traduzindo as idéias deles direto pra outras > > notações - o que hoje em dia eu reconheço que foi uma idéia de jerico > > =( -, sem nunca me dar ao trabalho de fazer "dicionários de diagramas" > > detalhados que esclarecessem a tradução entre as notações. > > > > -- > > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > > dos Grupos do Google. > > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > > Visite este grupo em > > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > > Para ver esta discussão na web, acesse > > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6hEUc99U0JS9Z%3DLmefhf1SqNJM6OY_q9hFTrium-3bLNw%40mail.gmail.com. > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > > --- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta
[Logica-l] The Joy of Abstraction
Oi pessoal Eugenia Cheng divulgou ontem a pré-venda de seu novo livro, *The Joy of Abstraction - An Exploration on Category Theory And Life*. Com o cupom JOY20 há 20% de desconto, mas estou enviando esta mensagem para a lista porque existe também a possibilidade de solicitar cópia para avaliação, caso a pessoa esteja lecionando algum curso que poderia fazer bom uso do livro: https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/joy-abstraction-exploration-math-category-theory-and-life https://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/joy-abstraction-exploration-math-category-theory-and-life?format=HB Saudações, G. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnpCS0KdrgAOC3Y_gd_O%3DpM9CRDUJjC9p1GcezH_0pJkXA%40mail.gmail.com.