quantified modal logic, the Barcan formula and the converse Barcan formula (more accurately, schemata rather than formulas) (i) syntactically state principles...
3 KB (450 words) - 09:34, 22 May 2025
logic and in so doing introduced the schema or principle known as the Barcan formula. (She would also introduce the now standard "box" operator for necessity...
21 KB (2,051 words) - 09:20, 3 June 2025
worlds. The formulas are named in honor of the medieval philosopher Jean Buridan by analogy with the Barcan formula and the converse Barcan formula introduced...
4 KB (535 words) - 10:02, 23 March 2025
everything exists of necessity. Necessitism is associated with the Barcan formula: it is possible for something to have a property only if there is something...
11 KB (880 words) - 05:28, 3 June 2025
reducibility -- Axiomatic system -- Axiomatization -- Backward chaining -- Barcan formula -- Begging the question -- Begriffsschrift -- Belief -- Belief bias...
20 KB (1,851 words) - 01:08, 29 May 2025
x is A, but it can be true that no world has two x that are both A. Barcan formula Evaluation strategy De se Latitudinarianism (philosophy) Quantifier...
10 KB (1,488 words) - 15:40, 19 November 2024
relation. converse barcan formula A principle in modal logic suggesting that possibility precedes existence, the converse of the Barcan formula. conversion The...
271 KB (30,237 words) - 18:29, 25 April 2025
ethics Peter Singer, applied ethics Ruth Barcan Marcus, philosopher and logician known for the Barcan formula Brent Barraclough, classical pianist Stanley...
15 KB (1,411 words) - 20:38, 30 January 2025
Herrnstein Smith Barber paradox Barbershop paradox Barbizon school Barcan formula Barcelona May Days Bardo Bare particular Bargaining theory Barhaspatya...
72 KB (6,890 words) - 23:23, 6 May 2025
propositional functions", as he wrote in The Analysis of Matter. Ruth C. Barcan (later Ruth Barcan Marcus) developed the first axiomatic systems of quantified modal...
61 KB (8,650 words) - 18:40, 25 May 2025
dicto. The distinction is based on a syntactic criterion similar to Barcan formula and enables differentiation between fictional entities such as Sherlock...
34 KB (4,208 words) - 16:33, 13 April 2025
alternative to Tarskian semantics. It has been primarily championed by Ruth Barcan Marcus, H. Leblanc, and J. Michael Dunn and Nuel Belnap. It is also called...
4 KB (632 words) - 12:08, 11 July 2024
commonly referred to as substitutional quantification) was advocated by Ruth Barcan Marcus for modal logics in the early 1960s and later championed by J. Michael...
6 KB (707 words) - 18:29, 15 May 2025
Princeton, NJ: Institute for Advanced Study. MR 3204653. Marcus, Ruth Barcan (January 1960). "Extensionality". Mind. 69 (273): 55–62. doi:10.1093/mind/LXIX...
5 KB (618 words) - 03:46, 5 May 2025
concepts in Kripke's new theory of reference originated in the work of Ruth Barcan Marcus more than a decade earlier. Smith identified six significant ideas...
51 KB (6,563 words) - 05:17, 15 March 2025
including Barry Smith, Willard Van Orman Quine, David Armstrong, Ruth Barcan Marcus, and René Thom, then sent a letter to Cambridge claiming that Derrida's...
125 KB (14,850 words) - 14:01, 3 June 2025
com. Archived from the original on 6 May 2021. Retrieved 13 June 2018. Barcan, Ruth (2009). "Intuition and Reason in the New Age". In Howes, David (ed...
400 KB (39,079 words) - 13:57, 3 June 2025
(Fitzwilliam) John Lucas (Corpus Christi) Donald M. MacKinnon (unknown) Ruth Barcan Marcus (Clare Hall) Moez Masoud (Fitzwilliam) Margaret Masterman (Lucy Cavendish)...
142 KB (15,007 words) - 12:04, 30 April 2025
Kirk Russian cosmism Russian formalism Russian philosophy Ruth Abbey Ruth Barcan Marcus Ruth Macklin Ruth Millikan Ruth Nanda Anshen Ryle's regress Ryosen...
82 KB (8,145 words) - 09:51, 29 May 2025
Annual Gödel Lecture 2014 Julia F. Knight, Computable structure theory and formulas of special forms The Twenty-Fourth Annual Gödel Lecture 2013 Kit Fine,...
18 KB (1,168 words) - 15:02, 11 April 2025