Question

Can a non-classical logic be used as a meta-logic to develop classical logic?

score 364 · Answer 1 · 2026-04-08 21:50:18

364

Views

Can a non-classical logic be used as a meta-logic to develop classical logic?

Published on 08 Apr 2026 - 21:50

score 2.5k · Answer 2 · 2026-04-15 09:38:57

2.5k

Views

Has the Gödel sentence been explicitly produced?

Published on 15 Apr 2026 - 9:38

score 2.1k · Answer 3 · 2026-04-12 01:44:48

2.1k

Views

In logic, do the $\Longrightarrow$ and $\rightarrow$ signify different things?

Published on 12 Apr 2026 - 1:44

score 958 · Answer 4 · 2026-05-07 18:57:52

958

Views

Is a variable/arbitrary element a precisely defined mathematical object?

Published on 07 May 2026 - 18:57

score 36 · Answer 5 · 2026-04-29 17:53:17

36

Views

Example of logic (concept) that can not be embedded (expressed) in Isabelle/HOL?

Published on 29 Apr 2026 - 17:53

score 51 · Answer 6 · 2026-04-13 03:45:53

51

Views

Help with Proving a Theorem About the Tableau Calculus in PL

Published on 13 Apr 2026 - 3:45

score 95 · Answer 7 · 2026-03-25 07:43:10

95

Views

Necessary and sufficient conditions on antecedent for deduction theorem

Published on 25 Mar 2026 - 7:43

score 133 · Answer 8 · 2026-03-25 06:05:26

133

Views

Why does the converse of the Isomorphism Theorem in first-order logic not hold?

Published on 25 Mar 2026 - 6:05

score 170 · Answer 9 · 2026-03-25 04:44:17

170

Views

What is the key point or " nervus probandi" of the proof of Godel-Henkin's Completeness of Predicate Logic? (Attempted outline).

Published on 25 Mar 2026 - 4:44

score 118 · Answer 10 · 2026-03-25 16:02:11

118

Views

Proving the Rasiowa Sikorski lemma for Boolean algebras

Published on 25 Mar 2026 - 16:02

score 203 · Answer 11 · 2026-03-25 06:01:20

203

Views

Meta-logic of Hilbert-style propositional calculus

Published on 25 Mar 2026 - 6:01

score 84 · Answer 12 · 2026-03-25 06:08:59

84

Views

Simultaneous / blended develop logic and set theory?

Published on 25 Mar 2026 - 6:08

score 610 · Answer 13 · 2026-03-25 04:37:21

610

Views

How can you derive a formula without premises?

Published on 25 Mar 2026 - 4:37

score 126 · Answer 14 · 2026-04-12 16:07:09

126

Views

Isn't it problematic to cite the Gödel sentence as a proposition asserting 'This sentence is unprovable' since it isn't really on point?

Published on 12 Apr 2026 - 16:07

score 330 · Answer 15 · 2026-04-09 07:14:52

330

Views

How can logic talk about itself?

Published on 09 Apr 2026 - 7:14

List Question

Can a non-classical logic be used as a meta-logic to develop classical logic?

Has the Gödel sentence been explicitly produced?

In logic, do the $\Longrightarrow$ and $\rightarrow$ signify different things?

Is a variable/arbitrary element a precisely defined mathematical object?

Example of logic (concept) that can not be embedded (expressed) in Isabelle/HOL?

Help with Proving a Theorem About the Tableau Calculus in PL

Necessary and sufficient conditions on antecedent for deduction theorem

Why does the converse of the Isomorphism Theorem in first-order logic not hold?

What is the key point or " nervus probandi" of the proof of Godel-Henkin's Completeness of Predicate Logic? (Attempted outline).

Proving the Rasiowa Sikorski lemma for Boolean algebras

Meta-logic of Hilbert-style propositional calculus

Simultaneous / blended develop logic and set theory?

How can you derive a formula without premises?

Isn't it problematic to cite the Gödel sentence as a proposition asserting 'This sentence is unprovable' since it isn't really on point?

How can logic talk about itself?

Trending Questions

Popular # Hahtags

Popular Questions