Filosofia
- Temporal Logic And Philosophy Of Time
UNIVERSITÀ DEGLI STUDI DI PADOVA DIPARTIMENTO DI FILOSOFIA, SOCIOLOGIA, PEDAGOGIA E PSICOLOGIA APPLICATASCUOLA DI DOTTORATO IN FILOSOFIA PROGETTO INTERAREA DI ATENEO “LOGICHE TEMPO-MODALI PER GLI AGENTI DEONTICI. UNA TEORIA ED ALCUNE RIFLESSIONI...
- If A, Then B: How The World Discovered Logic
Columbia University Press, June, 2013MICHAEL SHENEFELT and HEIDI WHITE Examining a variety of mysteries, such as why so many branches of logic (syllogistic, Stoic, inductive, and symbolic) have arisen only in particular places and periods, If...
- Seminario De Logica Carioca
Seminario de Logica Carioca Segunda feira 2 de Abril 14h-18h IFCS - Salao Nobre - UFRJ 14h Ingolf Max (Leipzig, Germany) "Multi-dimensional opposition" 15h Claudio Pizzi (Siena, Italy) "From contingency to necessity in modal propositional logic"...
- Download E-book Ensaio Filosófico De A. P. Martinich (excerto)
Os ensaios filosóficos podem apresentar as mais diversas estruturas. A. P. Martinich oferece este livro para quem não está habituado a fazê-los, de modo geral estudantes. O propósito é ajudar os estudantes a escrever algo de valor, de modo que...
- Logica - Logica Simbolica
A Lógica simbólica, ou lógica matemática, ao contrário das outras duas apresentadas (silogismo e de conjuntos), substitui a palavra por ideia. Ora, ideias são entes artificiais, de razão, e por isso mesmo, a lógica simbólica em vez de se fixar...
Filosofia
Logic Primer + Logic Daemon: um kit para estudar lógica básica
Para quem está iniciando seus estudos em lógica proposicional e lógica de predicados, ou mesmo para quem deseja revisitar os conteúdo de tais disciplinas, um bom material é o Logic Primer, de Colin Allen e Michael Hand (MIT Press). Recomendo tal material, e uso este com meus alunos, pois trata-se de uma introdução efetiva e 'direto-ao-ponto' ao método de dedução natural (tem um pouco de tabelas-de-verdade também) e porque há um capítulo (o último) dedicado à construção de modelos como contra-exemplos a conjuntos de fórmulas - uma ferramenta indispensável.
Em conjunto com o livro, os caras disponibilizaram um programinha que roda on-line, no seu browser, onde você pode fazer provas, testar equivalência de fórmulas e construir modelos como contra-exemplos a argumentos. Trata-se do Logic Daemon. Um pouco sério um pouco brincando, eu disse aos meus alunos que eu era dispensável dado tais ferramentas (é claro, tais ferramentas não vão responder perguntas como: "Mas por que um condicional se torna verdadeiro tão somente porque o seu antecedente é falso?").
loading...
- Temporal Logic And Philosophy Of Time
UNIVERSITÀ DEGLI STUDI DI PADOVA DIPARTIMENTO DI FILOSOFIA, SOCIOLOGIA, PEDAGOGIA E PSICOLOGIA APPLICATASCUOLA DI DOTTORATO IN FILOSOFIA PROGETTO INTERAREA DI ATENEO “LOGICHE TEMPO-MODALI PER GLI AGENTI DEONTICI. UNA TEORIA ED ALCUNE RIFLESSIONI...
- If A, Then B: How The World Discovered Logic
Columbia University Press, June, 2013MICHAEL SHENEFELT and HEIDI WHITE Examining a variety of mysteries, such as why so many branches of logic (syllogistic, Stoic, inductive, and symbolic) have arisen only in particular places and periods, If...
- Seminario De Logica Carioca
Seminario de Logica Carioca Segunda feira 2 de Abril 14h-18h IFCS - Salao Nobre - UFRJ 14h Ingolf Max (Leipzig, Germany) "Multi-dimensional opposition" 15h Claudio Pizzi (Siena, Italy) "From contingency to necessity in modal propositional logic"...
- Download E-book Ensaio Filosófico De A. P. Martinich (excerto)
Os ensaios filosóficos podem apresentar as mais diversas estruturas. A. P. Martinich oferece este livro para quem não está habituado a fazê-los, de modo geral estudantes. O propósito é ajudar os estudantes a escrever algo de valor, de modo que...
- Logica - Logica Simbolica
A Lógica simbólica, ou lógica matemática, ao contrário das outras duas apresentadas (silogismo e de conjuntos), substitui a palavra por ideia. Ora, ideias são entes artificiais, de razão, e por isso mesmo, a lógica simbólica em vez de se fixar...