Tag: formalisation

22 What formal logical systems "resolve" the Liar Paradox? 2013-03-30T14:31:14.813

17 Is Philosophy formalisable? 2012-03-23T01:37:29.553

6 Is there any formal language such that any problem in the Universe can be described unambiguously using this language? 2013-07-10T21:09:18.803

5 Rigorous resources on the philosophy of language 2013-11-18T19:20:09.813

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

4 What's formal philosophy? 2015-08-29T09:46:00.260

3 Collecting any formalisations of morality 2013-02-17T17:43:18.070

3 Where should one place quantifiers when translating sentences into predicate logic? 2017-06-13T01:42:18.587

3 How is free-will formally defined as distinct from determinism, randomness and determinism-randomness hybrid to support moral responsibility? 2018-05-12T03:08:40.190

3 Is a set a concept? 2020-10-14T08:10:05.697

2 Descartes's *Cogito* from a modern, rigorous perspective 2012-05-30T22:55:13.063

2 Correctness of an argument inversely correlated to length? 2016-08-02T21:32:13.223

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

2 Bayesian Confirmation / Justification 2017-12-04T10:43:47.157

2 Need help translating a formal definition into FOL 2018-07-04T10:29:55.927

2 Classical logic, symbolic logic, higher-order logic, First-order logic? Learning from scratch 2019-01-15T09:33:53.237

2 Valid or invalid? ( from a CSU Exam, instructor Tim Black) 2020-12-06T09:58:02.137

2 What actually is a simulation philosophically? 2020-12-23T02:41:04.570

1 Formal philosophy 2014-06-30T10:30:00.523

1 How to infer ¬Q when there seems to be no way to 2016-07-21T04:14:44.347

1 Can a true statement also imply the opposite of itself? 2017-01-14T01:39:04.510

1 Trees/tableaux fir K-IF logic 2017-02-10T13:00:17.723

1 Putting natural language into sentence logic 2019-03-09T18:53:09.390

1 What is (∃!e) in Davidson 1967? 2020-03-31T00:52:35.860

1 Which logic quantifier takes precedence when we are trying to evaluate a forumlaic interpretation? 2020-10-12T04:32:19.960

0 Help understanding possible world formalism 2016-03-01T13:40:27.780

0 What is the explanatory power of Possible World Semantics? 2017-06-30T10:53:34.820

0 In what ways are formalisms like modal logic Eurocentric? 2017-08-11T14:06:53.653

0 Is there any formal axiomatized definition of Determinism in First Order Logic (FOL), or any other logical system for that matter? 2018-05-17T03:34:25.167

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

0 Is there a method for identifying the logical form of everyday speech sentences? 2020-02-19T14:19:42.573

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

0 What is the difference between a logical connective and a logical gate? 2020-12-21T11:25:32.753

-1 Is philosophy computation? 2018-03-27T10:19:41.507