453:
between two slits, and the main object of court hearings is to make wave functions collapse. So, yes, I agree with both parts of the sentence but I don't see a strong connection between them. I think I would have been more happy with something like "perhaps because today's mathematics is generally not easily applicable to law." This is also harder to interpret as blaming the jurists for the fact. But having thought all this through a bit more, I think I should have left the sentence as it was, since this was about such a marginal point. My long explanation is merely to make you understand where my puzzling behaviour came from. --
441:
service and only "women" in connection with pregnancy and birth, how about children? How about a pregnant girl? How about boys of the same age? An interesting observation is that "men and women" is probably not exactly a union of two sets, because there are always border cases. At least in
Germany they are solved by the state ascribing one of the two sexes to every citizen. But if our example text also applies to foreigners, then a hermaphrodite from a country with no such rules may be meant by neither "men" nor "women", but by "men and women".
31:
452:
That's why I would speculate that a practically relevant mathematical foundation for legal logic would look radically different from what we know as logic. Perhaps it would have some similarities with quantum mechanics; perhaps a "yes or no" question to a witness is like forcing an electron to choose
411:
Good, that makes the article shorter. However I dispute your justification for the removal: my suggested reason had little to do with two values and everything to do with the relative lack of formal mathematics in law compared e.g. to business, economics, biology, even sociology. Are you claiming
293:
I think the sections on Venn diagrams, logic gates and laws would all profit from a short example that shows how a simple law can be applied to Venn diagrams and logic gates, and how another, slightly more complicated law (outside the scope of Venn diagrams, but we needn't talk about this) can also
507:
Since this is an "introduction", should there not be a least a mention of the practical use of boolean algebra? Even just the simple introductory phrase: "Boolean algebra forms the basis of digital electronics." The article does a find job with the Who, What, When and Where but says nothing about
440:
An important problem with formalising logic is the extreme context dependence of almost every word in a legal text. E.g., what does "all men" mean? Are women included? Foreigners? Slaves? Prisoners? In a text which mentions "men and women" in most places, but only "men" in connection with military
396:
I think there are technical reasons why an application of logic in law would be very hard, and my own speculation on the nature of "legal set theory" would be that a good solution to that is very likely not two-valued. The earlier cross-examination and organisation membership examples seem more or
318:
Hans, I appreciate both the positive feedback and your help with the article. Your suggestions were excellent and I think I've now managed to incorporate most of them into the article. I look forward to more good suggestions and edits from you, and from any other like-minded
Wikipedians who feel
446:
Now the very moment the legislature decides to introduce the word "hermaphrodite" somewhere in the text, you need to reevaluate the entire text. (Provided you are still interested in the silly border case.) So much for German law, which is strongly influenced by the
Napoleonic code and therefore
96:
The introduction should cover the more accessible aspects of
Boolean algebra at an elementary level sufficient to give a usable idea of what Boolean algebra is about, with sufficient conceptual clarity and organization to allow the material to be conveyed by the reader to a third party without
92:
This article is intended as an introduction to
Boolean algebra combining minimal prerequisites with maximal clarity. In view of the many subtopics in Boolean algebra dealing with its models, axioms, computational complexity, relationships to related systems such as propositional calculus and
100:
Every subtopic having its own article should be introduced however briefly in the introduction and related to the other subtopics, thereby providing the reader with the list of available subtopics and some preliminary insights into which if any might be sufficiently interesting as to be worth
587:
When reporting this behavior, please specify the operating system (Windows 7, Mac OS X 10.6.4, Fedora 12, Ubuntu 10.04, Debian 5.0.5, whatever) and browser (IE8, Firefox 3.6.3, Chrome 5.0.375.70, Opera 10.60, whatever) you're using. This will be very helpful in diagnosing the problem.
353:
is that there should be no intricate reasoning, and ideally no huge conceptual hurdles either. StuRat and I may have different thresholds there, but I've been trying to lower my threshold down to his without compromising the organization I feel even an introduction can benefit from.
262:
This article does not discuss lattices, and I think that's good. There are so many facets that the best thing is probably to have a set of articles on
Boolean algebras, Boolean lattices, Boolean rings and Stone spaces, each of which discusses one aspect, and at least one article like
431:). My impression is that law, when done right (as it seems to be by many good academics and many higher courts), is almost as exact as mathematics, but very different. I am a bit sensitised to the question of law and mathematics because several years ago I was coaxed into reading
243:. I suppose this depends on whether we focus on explaining Boolean algebras, or whether we want to explain Boolean algebras as a first step towards abstract algebra. (Operation tables seem to play an important role for learning what abstract algebra is about.)
471:
Ok, so deleting it was an improvement not only with regard to shortening the article but removing an evidently controversial claim that might point readers in a new research direction but doesn't add much to their overall comprehension of
Boolean algebra.
547:
I can see the symbols for NOT and the other math symbols ok, but the AND and OR symbols show up as question marks in my browser. On the other hand, the AND and OR symbols on this discussion page (up and down carets) show up fine... what's going on?
435:. I don't remember much of what I read, but I do remember some obvious points. I will try to explain the issue by a silly example. I am sure it's not as atypical as one might believe, since court hearings are so often about border cases of the law.
520:
Excellent suggestion ledewise, ManFromTheFuture (did you or someone else manually edit your date to a nonexistent Feb. 29 2010?). I appended a sentence to the lede, how does it look, and when should we expect your reply?
97:
reference to notes or mindlessly repeating entire sentences. (Litmus test: does the article's overall conceptualization make it any easier for the reader to explain
Boolean algebra at a cocktail party?)
93:
Heyting algebras, etc. it is expected that separate articles on those subtopics will emerge (a number already have), all of which should be able to assume this introduction as a prerequisite.
147:
for AND and OR; it's probably least confusing to a general audience. But when you try to apply it to a unary operation such as negation it becomes awkward, so perhaps we could drop that.
394:"It has not featured prominently in law however, perhaps because mathematical methods in general have not been applied as vigorously there as in these other application areas."
212:
180:
241:
556:
576:
513:
597:
481:
462:
454:
398:
382:
374:
335:
303:
295:
279:
311:
509:
345:
to here, there is a substantial body of material there dealing with derivations and soundness/completeness. My current feeling is to allow
326:
continuing to be pitched at too high a level I would not have felt the need for a more elementary account so urgently. Thanks, StuRat! --
110:
560:
349:
to gradually turn into a repository for that sort of material, which is seriously technical and requires close study. The idea with
580:
533:
421:
363:
500:
406:
287:
552:
264:
133:
572:
258:
into this article, as long as we make sure that the article stays as focused as it is now, especially at the beginning.
369:
That's fine with me. I will think about what to do with the material that is too applied to fit into your plan for
565:
Hmmmm, I have the same problem except my AND OR symbols show up as rectangles. Comment made on March 31 2010.
350:
79:
71:
66:
524:
Article-wise, did you not see the whole section headed "Applications"? Was that not enough "Why" for you? --
539:
319:
like improving the shape of this article subject to its main premise that it be as introductory as possible.
87:
150:
For a general audience it might be even better to replace the tables entirely by a list of 10 identities:
489:
In the section
Diagrammatic representations, in the first diagram, the disjunction symbol looks like ^. (
255:
38:
551:
Thanks for any help, thought you'd wanna know that in some browsers your symbols are getting mucked.
143:
As to the truth tables, personally I would prefer the operations table style that StuRat is using in
322:
I should add that despite all the flak people have been giving StuRat, without his complaints about
115:
593:
529:
477:
417:
389:
370:
359:
346:
342:
331:
323:
271:
106:
185:
153:
412:
formal mathematics is used in law just as much as in these other disciplines? News to me. --
490:
217:
568:
496:
458:
402:
378:
307:
299:
283:
47:
17:
8:
432:
302:) 14:04, 27 January 2008 (UTC) ā Vaughan, I really like your excellent solution to this.
447:
relatively straightforward. With Common Law the context dependence becomes much greater.
589:
525:
473:
413:
355:
327:
126:
102:
388:
I just removed the following unsourced speculation from the material that came from
428:
247:
122:
427:
No, I am only doubting the word "because" here (which, I realise, is guarded by
46:
If you wish to start a new discussion or revive an old one, please do so on the
544:
HEY! I can't see the symbols for AND and OR in this article! What's going on?!
144:
137:
125:
article being started, but seeing it in its current state I am glad that
274:
could perhaps be considerably shortened and merged into this article.
341:
While I like Hans' suggestion of moving section 3 (on Laws) of
246:
This should probably become the main article and be moved to
132:
One thing I like in particular is the way in which the
220:
188:
156:
235:
206:
174:
121:I wasn't very happy to see yet another
14:
254:I would have no objections to merging
44:Do not edit the contents of this page.
265:Boolean algebras canonically defined
25:
23:
221:
136:unobtrusively lays the ground for
24:
609:
29:
516:) 07:14, 29 Febuary 2010 (UTC)
351:Boolean algebra (introduction)
13:
1:
534:08:21, 23 February 2010 (UTC)
294:be applied to logic gates. --
561:09:13, 30 October 2008 (UTC)
482:03:14, 29 January 2008 (UTC)
463:23:32, 28 January 2008 (UTC)
422:21:22, 28 January 2008 (UTC)
407:09:44, 28 January 2008 (UTC)
383:09:44, 28 January 2008 (UTC)
364:07:27, 28 January 2008 (UTC)
336:01:18, 28 January 2008 (UTC)
312:00:38, 28 January 2008 (UTC)
288:13:16, 27 January 2008 (UTC)
111:20:58, 28 January 2008 (UTC)
7:
267:to discuss the connections.
256:Boolean algebra (structure)
207:{\displaystyle 0\wedge 1=0}
175:{\displaystyle 0\wedge 0=0}
10:
614:
581:17:09, 31 March 2010 (UTC)
501:14:17, 15 July 2009 (UTC)
397:less adequate however. --
598:04:58, 9 July 2010 (UTC)
236:{\displaystyle \neg 1=0}
390:Boolean algebra (logic)
371:Boolean algebra (logic)
347:Boolean algebra (logic)
343:Boolean algebra (logic)
324:Boolean algebra (logic)
272:Boolean algebra (logic)
237:
208:
176:
433:a book on legal logic
238:
209:
177:
101:pursuing further. --
42:of past discussions.
218:
186:
154:
134:section "Operations"
88:Goal of this article
18:Talk:Boolean algebra
540:What's going on???
233:
204:
172:
571:comment added by
85:
84:
54:
53:
48:current talk page
605:
583:
504:
242:
240:
239:
234:
213:
211:
210:
205:
181:
179:
178:
173:
116:Various comments
63:
56:
55:
33:
32:
26:
613:
612:
608:
607:
606:
604:
603:
602:
566:
542:
494:
270:Section 3 from
248:Boolean algebra
219:
216:
215:
187:
184:
183:
155:
152:
151:
123:Boolean algebra
118:
90:
59:
30:
22:
21:
20:
12:
11:
5:
611:
601:
600:
553:76.243.129.217
541:
538:
537:
536:
522:
499:comment added
487:
486:
485:
484:
466:
465:
449:
448:
443:
442:
437:
436:
386:
385:
339:
338:
320:
315:
314:
276:
275:
268:
260:
251:
244:
232:
229:
226:
223:
203:
200:
197:
194:
191:
171:
168:
165:
162:
159:
148:
141:
130:
117:
114:
89:
86:
83:
82:
77:
74:
69:
64:
52:
51:
34:
15:
9:
6:
4:
3:
2:
610:
599:
595:
591:
590:Vaughan Pratt
586:
585:
584:
582:
578:
574:
573:128.206.20.54
570:
563:
562:
558:
554:
549:
545:
535:
531:
527:
526:Vaughan Pratt
523:
519:
518:
517:
515:
511:
505:
502:
498:
492:
483:
479:
475:
474:Vaughan Pratt
470:
469:
468:
467:
464:
460:
456:
451:
450:
445:
444:
439:
438:
434:
430:
426:
425:
424:
423:
419:
415:
414:Vaughan Pratt
409:
408:
404:
400:
395:
391:
384:
380:
376:
372:
368:
367:
366:
365:
361:
357:
356:Vaughan Pratt
352:
348:
344:
337:
333:
329:
328:Vaughan Pratt
325:
321:
317:
316:
313:
309:
305:
301:
297:
292:
291:
290:
289:
285:
281:
273:
269:
266:
261:
259:
257:
252:
249:
245:
230:
227:
224:
201:
198:
195:
192:
189:
169:
166:
163:
160:
157:
149:
146:
145:Boolean logic
142:
139:
138:Boolean rings
135:
131:
128:
127:Vaughan Pratt
124:
120:
119:
113:
112:
108:
104:
103:Vaughan Pratt
98:
94:
81:
78:
75:
73:
70:
68:
65:
62:
58:
57:
49:
45:
41:
40:
35:
28:
27:
19:
564:
550:
546:
543:
506:
488:
410:
393:
387:
340:
277:
253:
99:
95:
91:
60:
43:
37:
567:āPreceding
508:the Why. --
495:āPreceding
36:This is an
455:Hans Adler
399:Hans Adler
375:Hans Adler
304:Hans Adler
296:Hans Adler
280:Hans Adler
429:"perhaps"
80:ArchiveĀ 5
72:ArchiveĀ 3
67:ArchiveĀ 2
61:ArchiveĀ 1
569:unsigned
510:esalkin
497:undated
129:did it.
39:archive
214:, ā¦,
16:<
594:talk
577:talk
557:talk
530:talk
514:talk
491:talk
478:talk
459:talk
418:talk
403:talk
379:talk
373:. --
360:talk
332:talk
308:talk
300:talk
284:talk
107:talk
521::)
493:)
596:)
588:--
579:)
559:)
532:)
480:)
472:--
461:)
420:)
405:)
392::
381:)
362:)
354:--
334:)
310:)
286:)
278:--
222:Ā¬
193:ā§
182:,
161:ā§
109:)
76:ā
592:(
575:(
555:(
528:(
512:(
503:.
476:(
457:(
416:(
401:(
377:(
358:(
330:(
306:(
298:(
282:(
250:.
231:0
228:=
225:1
202:0
199:=
196:1
190:0
170:0
167:=
164:0
158:0
140:.
105:(
50:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.