Resultado da Busca
Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro. Este é geralmente considerado a obra que marca o nascimento da lógica moderna.
Begriffsschrift (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation ; the full title of the book identifies it as "a formula language , modeled on that of arithmetic ...
GOTTLOB FREGE (1879) This is the first work that Frege wrote in the field of logic, and, although a mere booklet of eighty-eight pages, it is per- haps the most important single work ever written in logic. Its fundamental contri- butions, among lesser points, are the truth-functional propositional calculus,
A Editora do PPGFIL-UFRRJ e o NuLFiC anunciam a publicação da tradução do primeiro livro de Gottlob Frege intitulado Begriffsschrift (Conceitografia). Neste livro, Frege apresenta uma das primeiras axiomatizações da lógica proposicional e da lógica de predicados de primeira ordem.
7 de fev. de 2023 · Frege’s Logic. First published Tue Feb 7, 2023. Friedrich Ludwig Gottlob Frege (b. 1848, d. 1925) is often credited with inventing modern quantificational logic in his Begriffsschrift.
O objetivo desse texto é apresentar a teoria lógica de Frege enquanto uma teoria semântica que substitui tanto a explanação ontológica aristotélica quanto a teoria epistemológica humiana acerca da determinidade do conteúdo julgável de uma asserção capaz de ser avaliada como tendo um valor de verdade determinado e servir de premissa ...
10 de jun. de 1998 · In his book of 1879, Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, he developed a second-order predicate calculus and used it both to define interesting mathematical concepts and to state and prove mathematically interesting propositions.