Filosofia, base rigorosamente formal pras linguagens de programação (funcionais), interpretação computacional de resultados matemáticos, provas como programas, ambiente perfeito pra construir provadores de teoremas... o setting construtivo junta tudo de bom.

Engraçado que os materiais de lógica pra filosofia realmente interessantes cobrem assuntos avançados como lógicas não-clássicas e teoria dos tipos, sendo que nos cursos de filosofia só é passado lógica de primeira ordem e olhe lá.

Confesso que achei daora o movimento heterodoxo que o André fez aqui, ele explicou na noção de regra em Wittgenstein recorrendo a engenharia de software youtu.be/N-uSHjezYC4?...

Filosofia da linguagem é muito daora

É brincadeira o quanto sou fã do Thanos youtu.be/AJP8gUA3grw?...

Aquisições do mês

Lendo Leibniz aqui e notando o quanto atenção ele dá a questão da formação de ideias complexas a partir das simples.

Levando os otakus pra filosofia analítica

Fiz um Substack pra postar algumas coisas minha substack.com/@analyticsor...

Vai ser radioativo esse debate

Tem que ser muito zé pra tratar com hostilidade lógica na filosofia, não faz o mínimo sentido

Lista enorme de filósofos da física takingupspacetime.wordpress.com/philosophers...

Eu me deparo com defensores de pornografia infantil em forma de desenho em um sub de anime. Bom, nada de novo sob o sol.

Que escrita absurdamente imersiva a dos irmãos Strugatsky.

Conto maravilhoso da Ursula Le Guin criticanarede.com/omelas.html

Rapaz, que episódio foda esse último de dorohedoro

Edgar curando a minha tristeza ao postar esse vídeo hoje youtu.be/KOZPJRgtjMM?...

Me chamaram pra ver My Little Pony, é isso

"Não existe vitória sem sacrifício." Filme Transformers Kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkklkkkkkkkkk

Incrível, sempre erram o nome do Russell

Talvez o mais pika dos metafísicos. Bora ler!

Graham Priest 🤝 Heidegger quanto a falar sobre o nada (claro, uma brisa do caralho) youtu.be/OzgT94OFWto?...

Buracos negros primordiais e neutrinos. Hm, interessante

Saca só a camiseta do Graham Priest