Resultado da Busca
Há 4 dias · Bem-vindos e bem-vindas ao curso de Lógica IV! Este curso será integralmente à leitura e discussão de uma obra clássica e de fundamental importância para a lógica, filosofia da lógica, filosofia da matemática e epistemologia: Os Fundamentos da Aritmética ( Die Grundlagen der Arithmetik , de 1884), de Gottlob Frege.
Há 2 dias · Semantic compositionality is first and foremost a property of representations, not of processes. The concept of a semantically compositional representation has its roots in philosophy of language, logic, and linguistics, and is commonly taken to have originated with the work of Gottlob Frege (b. 1848, d. 1925).
Há 2 dias · This paper presents a novel simplification calculus for propositional logic derived from Peirce's existential graphs' rules of inference and implication graphs. Our rules can be applied to propositional logic formulae in nested form, are equivalence-preserving, guarantee a monotonically decreasing number of variables, clauses and literals, and maximise the preservation of structural problem ...
Há 2 dias · These rules collectively provide a framework for making logical deductions from given statements. Rule of inference – FAQs What are the rules of inference explain with examples? The rule of inference known as modus ponens. It involves two statements: one in the format “If p, then q” and another simply stating “p”.
- 19 min
Há 1 dia · Mathematical theories were supposed to be logical tautologies, and their program was to show this by means of a reduction of mathematics to logic. Many attempts to realize this program failed, from the crippling of Frege's project in his Grundgesetze by Russell's paradox , to the defeat of Hilbert's program by Gödel's incompleteness theorems .
Há 4 dias · Husserl argues that logic is theoretical, i.e., that logic itself proposes a priori laws which are themselves the basis of the normative side of logic. Since mathematics is related to logic, he cites an example from mathematics: a formula like "(a + b)(a – b) = a² – b²" does not offer any insight into how to think mathematically.
Há 3 dias · A logical puzzle is a problem that can be solved through deductive reasoning. This page gives a summary of the types of logical puzzles one might come across and the problem-solving techniques used to solve them. Syllogisms. Elimination Grids. Truth Tellers and Liars. Cryptograms. Arithmetic Puzzles. River Crossing Puzzle. Tour Puzzles. Nonograms.
