Search results

Jump to navigation Jump to search
  • ...of existential assumptions, and so make it a free logic. Taking [[Bertrand Russell]]'s predicate logic in his ''[[Principia Mathematica]]'' as standard, one r ...from [[Hintikka]] allows for a contradiction by a correlate in logic to [[Russell's paradox]]. He introduces the predicate <math>(\lambda x)(\phi x \land \ne ...
    4 KB (510 words) - 13:42, 6 April 2024
  • ...existent to God". In Adamson, Peter (ed.). Interpreting Avicenna: Critical Essays. Cambridge University Press. ISBN 978-0-521-19073-2.</ref> ...Other arguments have been categorised as ontological, including those made by Islamic philosophers [[Mulla Sadra]] and [[Allama Tabatabai]]. ...
    75 KB (11,302 words) - 18:12, 25 February 2025
  • ...://www-history.mcs.st-andrews.ac.uk/Quotations/Hardy.html|title=Quotations by Hardy|website=www-history.mcs.st-andrews.ac.uk|access-date=2019-10-31}}</re ...perienced when the [[reality|physical reality]] of objects are represented by [[mathematical models]]. [[Group theory]], developed in the early 1800s for ...
    32 KB (4,494 words) - 11:02, 1 February 2025
  • ...resented. Hence it is not located in nature, but is the result of a choice by the observer. In the first case a mathematical formulation mirrors centrifu ...th Huygens' ideas, refined them, and found<blockquote>the proposition that by a centrifugal force reciprocally as the square of the distance a planet mus ...
    25 KB (3,730 words) - 02:01, 17 December 2024
  • ...not as mental states but as observable physical objects or events, secured by following the [[scientific method]]. The problems of [[underdetermination]] ...th intuitions from one field or in relation to one theoretical role played by evidence and go on to generalize these intuitions, leading to a universal d ...
    45 KB (6,551 words) - 13:57, 27 November 2024
  • ...r example, complex propositions are made up of simpler propositions linked by [[Logical connective|logical vocabulary]] like <math>\land</math> ([[Logica ...idered the main system of logic in the Western world until it was replaced by modern formal logic, which has its roots in the work of late 19th-century m ...
    145 KB (20,377 words) - 19:04, 1 March 2025
  • ...ther. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common ...nce, so the philosophy of logic investigates philosophical problems raised by logic.<ref name="Haack1">{{cite book |last1=Haack |first1=Susan |title=Phil ...
    97 KB (14,336 words) - 10:56, 19 February 2025