Question

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

score 361 · Answer 1 · 2014-06-14 18:13:20

361

Views

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

Published on 14 Jun 2014 - 18:13

score 2.5k · Answer 2 · 2014-07-08 23:04:54

2.5k

Views

Has the Gödel sentence been explicitly produced?

Published on 08 Jul 2014 - 23:04

score 2.1k · Answer 3 · 2014-11-10 19:03:28

2.1k

Views

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

Published on 10 Nov 2014 - 19:03

score 955 · Answer 4 · 2026-03-09 05:47:50

955

Views

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

Published on 09 Mar 2026 - 5:47

score 35 · Answer 5 · 2019-12-04 07:32:00

35

Views

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

Published on 04 Dec 2019 - 7:32

score 49 · Answer 6 · 2026-02-26 18:03:01

49

Views

Help with Proving a Theorem About the Tableau Calculus in PL

Published on 26 Feb 2026 - 18:03

score 94 · Answer 7 · 2020-02-26 21:33:43

94

Views

Necessary and sufficient conditions on antecedent for deduction theorem

Published on 26 Feb 2020 - 21:33

score 132 · Answer 8 · 2020-04-09 21:19:49

132

Views

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

Published on 09 Apr 2020 - 21:19

score 169 · Answer 9 · 2020-04-28 00:13:22

169

Views

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

Published on 28 Apr 2020 - 0:13

score 117 · Answer 10 · 2020-05-09 03:06:52

117

Views

Proving the Rasiowa Sikorski lemma for Boolean algebras

Published on 09 May 2020 - 3:06

score 202 · Answer 11 · 2026-03-22 20:55:53

202

Views

Meta-logic of Hilbert-style propositional calculus

Published on 22 Mar 2026 - 20:55

score 83 · Answer 12 · 2026-03-22 17:12:44

83

Views

Simultaneous / blended develop logic and set theory?

Published on 22 Mar 2026 - 17:12

score 609 · Answer 13 · 2026-03-22 15:47:55

609

Views

How can you derive a formula without premises?

Published on 22 Mar 2026 - 15:47

score 123 · Answer 14 · 2016-07-06 18:52:52

123

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 06 Jul 2016 - 18:52

score 326 · Answer 15 · 2026-03-22 03:37:40

326

Views

How can logic talk about itself?

Published on 22 Mar 2026 - 3:37

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