Formalismos: Análise, comparação e aplicações – Parte I Referências quando orientur controversiae, non magis disputatione opus erit inter duos philosophos, quam inter duos computistas. Sufficiet enim calamos in manus sumere sedereque ad abacos, et sibi mutuo (accito si placet amico) dicere: calculemus. caso surjam controvérsias, não seria mais necessário uma disputa entre dois filósofos, senão…

Relevância epistêmica, sem ideias mirabolantes

Um Sistema de Tableaux Semântico Para a Lógica da Representação

Entramos em breve recesso até o próximo período letivo de 2024.2.

Os relevos da relevância – Parte II Devido a imprevistos, infelizmente não foi possível gravar este encontro.

Os relevos da relevância – Parte I Referências Wason Selection Task (Wikipedia) Begriffsschrift, §5: A conexão causal contida na palavra “se” não é contudo expressa pelo nosso sinal, ainda que um juízo desta forma apenas sobre tal base se sustente. The Principles of Mathematics, §37: Mas, ao desenvolver as consequências dos nossos pressupostos sobre a…

Eu nunca fui um embrião – Parte II

Eu nunca fui um embrião – Parte I

Das leis do pensamento aos circuitos digitais – Parte III Gravação indisponível, pois tratou-se de sessão prática de implementação e experimentação com circuitos digitais e portas lógicas. Fotos disponíveis no Instagram.

Das leis do pensamento aos circuitos digitais – Parte II Infelizmente, devido a falhas técnicas, a gravação deste encontro não está disponível. Referências The Problem of Simplifying Truth Functions (1952) por W. V. Quine