426:
354:
If a frame is based on a symmetric accessibility relation, then the Barcan formula will be valid in the frame if, and only if, the converse Barcan formula is valid in the frame. It states that domains cannot shrink as one moves to accessible worlds, i.e. that individuals cannot cease to exist. The
176:
The Barcan formula has generated some controversy because—in terms of possible world semantics—it implies that all objects which exist in any possible world (accessible to the actual world) exist in the actual world, i.e. that domains cannot grow when one moves to accessible worlds. This thesis is
39:(more accurately, schemata rather than formulas) (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by
231:
seems plausible since it is at least theoretically possible that such a machine could exist. However, it is not obvious that this implies that there exists a machine that possibly could tap the energy of the
Atlantic.
348:
291:
170:
109:
229:
411:
196:
is a machine that can tap all the energy locked in the waves of the
Atlantic Ocean in a practical and efficient way". In its equivalent form above, the
401:
467:
303:
246:
125:
64:
185:
possible individuals. There is some debate as to the informal interpretation of the Barcan formula and its converse.
188:
An informal argument against the plausibility of the Barcan formula would be the interpretation of the predicate
460:
119:, the schema reads: If every x is necessarily F, then it is necessary that every x is F. It is equivalent to
202:
396:
491:
486:
364:
453:
197:
40:
437:
116:
405:
47:
17:
480:
43:, in the first extensions of modal propositional logic to include quantification.
28:
355:
converse Barcan formula is taken to be more plausible than the Barcan formula.
178:
425:
383:
Journal of
Symbolic Logic (1946),11 and (1947), 12 under Ruth C. Barcan
433:
343:{\displaystyle \exists x\Diamond Fx\to \Diamond \exists xFx}
286:{\displaystyle \Box \forall xFx\rightarrow \forall x\Box Fx}
165:{\displaystyle \Diamond \exists xFx\to \exists x\Diamond Fx}
104:{\displaystyle \forall x\Box Fx\rightarrow \Box \forall xFx}
441:
306:
249:
205:
128:
67:
342:
285:
223:
164:
103:
461:
8:
468:
454:
413:Contingent Objects and the Barcan Formula
305:
248:
204:
127:
66:
376:
7:
422:
420:
224:{\displaystyle \Diamond \exists xFx}
440:. You can help Knowledge (XXG) by
328:
307:
268:
253:
209:
147:
132:
89:
68:
25:
424:
240:The converse Barcan formula is:
322:
265:
144:
83:
1:
46:Related formulas include the
508:
419:
181:—i.e. that there are no
236:Converse Barcan formula
58:The Barcan formula is:
37:converse Barcan formula
18:Converse Barcan formula
436:-related article is a
344:
287:
225:
166:
105:
345:
288:
226:
167:
106:
365:Commutative property
304:
297:It is equivalent to
247:
203:
126:
65:
177:sometimes known as
404:2006-09-25 at the
340:
283:
221:
162:
101:
54:The Barcan formula
41:Ruth Barcan Marcus
449:
448:
408:by Melvin Fitting
16:(Redirected from
499:
470:
463:
456:
428:
421:
398:Barcan both ways
384:
381:
349:
347:
346:
341:
292:
290:
289:
284:
230:
228:
227:
222:
171:
169:
168:
163:
110:
108:
107:
102:
21:
507:
506:
502:
501:
500:
498:
497:
496:
477:
476:
475:
474:
416:by Hayaki Reina
406:Wayback Machine
393:
388:
387:
382:
378:
373:
361:
302:
301:
245:
244:
238:
201:
200:
124:
123:
63:
62:
56:
48:Buridan formula
23:
22:
15:
12:
11:
5:
505:
503:
495:
494:
489:
479:
478:
473:
472:
465:
458:
450:
447:
446:
429:
418:
417:
409:
392:
391:External links
389:
386:
385:
375:
374:
372:
369:
368:
367:
360:
357:
352:
351:
339:
336:
333:
330:
327:
324:
321:
318:
315:
312:
309:
295:
294:
282:
279:
276:
273:
270:
267:
264:
261:
258:
255:
252:
237:
234:
220:
217:
214:
211:
208:
174:
173:
161:
158:
155:
152:
149:
146:
143:
140:
137:
134:
131:
113:
112:
100:
97:
94:
91:
88:
85:
82:
79:
76:
73:
70:
55:
52:
33:Barcan formula
27:In quantified
24:
14:
13:
10:
9:
6:
4:
3:
2:
504:
493:
490:
488:
485:
484:
482:
471:
466:
464:
459:
457:
452:
451:
445:
443:
439:
435:
430:
427:
423:
415:
414:
410:
407:
403:
400:
399:
395:
394:
390:
380:
377:
370:
366:
363:
362:
358:
356:
337:
334:
331:
325:
319:
316:
313:
310:
300:
299:
298:
280:
277:
274:
271:
262:
259:
256:
250:
243:
242:
241:
235:
233:
218:
215:
212:
206:
199:
195:
191:
186:
184:
180:
159:
156:
153:
150:
141:
138:
135:
129:
122:
121:
120:
118:
98:
95:
92:
86:
80:
77:
74:
71:
61:
60:
59:
53:
51:
49:
44:
42:
38:
34:
30:
19:
442:expanding it
431:
412:
397:
379:
353:
296:
239:
193:
189:
187:
182:
175:
114:
57:
45:
36:
32:
26:
492:Modal logic
487:Logic stubs
29:modal logic
481:Categories
371:References
198:antecedent
329:∃
326:◊
323:→
314:◊
308:∃
275:◻
269:∀
266:→
254:∀
251:◻
210:∃
207:◊
179:actualism
154:◊
148:∃
145:→
133:∃
130:◊
90:∀
87:◻
84:→
75:◻
69:∀
402:Archived
359:See also
35:and the
117:English
183:merely
31:, the
434:logic
432:This
438:stub
192:as "
115:In
483::
190:Fx
50:.
469:e
462:t
455:v
444:.
350:.
338:x
335:F
332:x
320:x
317:F
311:x
293:.
281:x
278:F
272:x
263:x
260:F
257:x
219:x
216:F
213:x
194:x
172:.
160:x
157:F
151:x
142:x
139:F
136:x
111:.
99:x
96:F
93:x
81:x
78:F
72:x
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.