MATH
Login Or Sign up

List Question

15
128
Views

Is there a way to prove that the absurdity axiom is consistent?

Published on
#metalogic
10.4k
Views

"If P, then Q; If P, then R; Therefore: If Q, then R." Fallacy and Transitivity

Published on
#logic #propositional-calculus #first-order-logic #metalogic
1k
Views

Set theory and type theory as the "foundation of mathematics"

Published on
#set-theory #foundations #type-theory #meta-math #metalogic
109
Views

Questionable step in universal generalization metatheorem proof

Published on
#logic #first-order-logic #metalogic
321
Views

Proving that every valid formula is derivable in natural deduction

Published on
#logic #natural-deduction #metalogic
219
Views

I think the truth value of F ⇒ T should be undefined.

Published on
#logic #proof-writing #metalogic
175
Views

Type Theory as a Meta-Language for Logic

Published on
#logic #soft-question #type-theory #meta-math #metalogic
51
Views

How to prove the Gödel sentence is true (in the metalanguage), assuming only consistency of a theory.

Published on
#first-order-logic #incompleteness #metalogic
88
Views

Are there "Godel encodings" for non-arithmetic theories?

Published on
#logic #arithmetic #incompleteness #metalogic
122
Views

What is the most primitive notion in mathematics?

Published on
#logic #foundations #meta-math #metalogic
48
Views

Bisimulation games to compare equivalent but not bisimilar BML models

Published on
#logic #modal-logic #metalogic
69
Views

Not wanting to express the Gödel number of the actual string

Published on
#formal-languages #metalogic
30
Views

Help in understanding this proof in Mendelson

Published on
#logic #first-order-logic #predicate-logic #metalogic
104
Views

Is the deducutive apparatus of a formal system necessarily a set of inference rules?

Published on
#logic #proof-writing #formal-languages #philosophy #metalogic
35
Views

Is it possible to axiomatize classical logic with only two meta-variables?

Published on
#propositional-calculus #axioms #metalogic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.