Tag: formal-theory

31 What are the philosophical implications of Gödel's First Incompleteness Theorem? 2011-06-11T16:21:18.887

31 Is First Order Logic (FOL) the only fundamental logic? 2012-07-19T00:37:05.293

18 Is it possible to scientifically determine good and evil? 2011-06-13T21:54:55.383

12 What are computable numbers, and what is their philosophical significance? 2016-04-21T22:12:26.240

10 Are there rules for dealing with self-reference "paradoxes" in logic? 2015-06-30T03:29:37.340

9 Where did Gödel write that first-order logic is the "true" logic? 2015-09-22T14:27:59.463

9 Is there (or does something exist that is close to) a theory of arguments? 2016-10-09T13:12:56.060

8 How does “higher-order logic” differ from “normal” (first order?) predicate logic? 2013-01-24T09:34:11.943

8 Difference between logic and mathematics 2018-03-06T18:23:33.440

7 Is there a formal presentation of Maturana's "Autopoiesis" 2011-11-17T14:42:15.013

7 Logic as a (bad) model language 2014-03-29T04:09:32.553

6 Was there a Kantian influence on Hilbert's formalist programme? 2015-09-15T23:12:50.000

6 Is there a way to avoid Gödel's incompleteness affecting mathematics as a whole? 2016-04-14T19:04:10.200

6 Can you list examples of problems that can not be solved within a formal system but human beings have solved through construction or creativity? 2017-01-10T06:57:18.110

5 How does abstraction/generalization in mathematics fit into inductive reasoning? 2014-07-18T05:06:03.060

5 What are the "undefinable numbers" in real analysis and philosophy? 2015-11-20T04:46:47.573

5 In what sense is set theory the "meta theory" of analysis? 2016-10-30T13:25:34.083

3 Definition of concept 2014-05-26T07:48:59.997

3 What is(are) the importance(s) of formal reasoning 2016-02-15T13:26:13.357

3 Formal proof : predicate logic 2016-11-16T22:35:55.517

3 Is the phenomenom of “subjective consciousness” or “qualia” formally captured by any state-of-the-art Theoretical Model in Physics? 2018-04-14T07:02:07.727

3 Why is there no "Mario Bunge" entry in the SEP? Where could I find a valuable presentation of Mario Bunge's philosophy? 2019-05-26T10:22:24.817

2 What are the ramifications of the limitations of ZFC set theory? 2014-02-05T21:44:55.067

2 Transitive Incompleteness of Logical WFF's Due to Godel's Incompleteness Theorem 2015-02-08T22:11:24.750

2 What is the minimum number of axioms required for a system of axioms? 2015-03-09T18:08:55.453

2 Prove a logical formula is equivalent to the contradiction if and only if the set it describes is empty 2015-09-01T17:13:26.730

2 Does Philosophy have a Good Answer to Personal Inadequacy? 2015-11-10T08:04:07.697

2 What is the difference between Herbrand Logic, Relational Logic and Predicate Logic? 2017-01-25T01:55:11.103

2 Formal epistemology starting point 2017-05-18T05:05:50.970

2 Why is first-order logic defined as a collection of formal systems? 2019-02-06T12:08:18.960

2 Necessity of multiple theories to understand our world 2019-09-22T04:37:25.197

1 What does Tarski mean when he says that truth is a property of sentences? 2019-01-11T18:13:52.513

1 Formal proof errors 2019-03-27T17:09:31.540

0 Derivation of the law of the conditional using the disjunct form 2016-10-02T14:40:55.850

0 Is it valid to prove the axioms of a system from themselves? How does it square with Gödel's incompleteness? 2017-04-28T01:08:39.160

0 Bibliography about non-mathematical applications of logic: 2019-12-31T00:35:35.600

0 Life as a formal system 2020-05-26T19:32:55.597

0 What is the 'axiomatic' or epistemological foundation of Analytic philosophy, what is its practice and purpose? 2020-10-19T17:46:11.767