2159:
As I have stated often, I do not debate the contents, but the wrong done. There is no need to bring the above statement up again, I already questioned SlimVirgin for doing so, since this statement was changed after it was written weeks ago. My proposition that we -right the wrong done by SlimVirgin and work from there, is out of sense of justice. Then as a community, Mel, yourself, Ted (if he ever returns) can work together to improve this article. That is how wikipedia works, to get it right through collaboration and consensus. I do not wish to argue continuously. It is as if no one listens, but simply responds. No war exists here. Simply a struggle to right the original wrong, use Mel's improvements, and your thoughts on the subject to improve the article. I got involved here because of what SlimVirgin did. This is your range of expertise, and when the wrong is righted and the community works together, achievement can result. Only the few make it harder on the rest of us. But the many, united together in common hope, with evidence and facts, can through the rule of consensus progress toward works of excellence. That is what we came here for. You came here and I, to offer our expertise, to engage with the community at large to put together a free-encyclopedia that the world could turn to and gather information from for their studies; to build together and work out our problems through citations and fact. We came because we love knowledge, we are pushed around by the few, who have ruined our experience. But they are the few, that very small few, and once recognized for their actions, the many who want harmony and truth, can united to prevail for that truth, that justice, that Wiki-way. Let us not turn back but forward and face this situation with all that brought us here. Let us work together and as a community and overcome the small molehills that like a mirage in the blinding sun of the desert, looks as if it were a mountain. --
1827:
wikipedia arbcom cases against the wishes of Jimbo Wales. She refused the mediation. Ted got involved in that indirectly as the one who chose to mediate as he was on the
Mediation Cabal as it is called. He was attacked by SlimVirgin for his decision done in fairness and honesty. SlimVirgin immediatly came here and reverted days! of edits. You arrived after this and put in hours. I appreciate your work Mel, and offered a suggestion you work with Ted from his original version which did need work. SlimVirgins explanations for reverting an entire work of material were not appropriate as I've shown above. She has failed to answer my legitimate questions. As a wikipedia editor I have every right to question anyone who acts in this manner. I expect answers from her abuse of Ted still. You have been hostile towards me, understandable if you thought I was directing the reversion against your edits...I was not. I actually approve of your edits, but I had to right a wrong when it came to Ted from SlimVirgin who was abusing her role here and continues to do so. My suggestion again, is to work together with Ted, the both of you could put together a wonderful and accurate article. I will continue to uphold his version and insist according to procedures here at wikipedia, that you show sentences you disagree with and show us here in the community your changes with citations, if you refuse to collaborate with Ted who has spent days on this before the unwarranted reversion. --
2067:"Syllogisms are the cornerstone of the logical tradition, known as term logic or Aristotelian logic, that originated with Aristotle (see Prior Analytics, Book I, c. 1.) and survived broadly unchanged until the advent of modern predicate logic in the late nineteenth century. A syllogism (Greek sullogismos, meaning deduction) consists of three interrelated propositions, in which the last proposition is shown to be necessary if the first two propositions are true. Occasionally these are called categorical syllogisms because the propositions they contain involve relatively simple declarations about categories, objects, and the properties that apply to these categories and objects. Syllogisms are usually considered to be a form of inference, but the inferences drawn in syllogisms are generally viewed by nominalists as trivial and tautological. Instead, syllogisms are used to examine the validity of reasoning involved in a given statement by exposing questionable assumptions and incorrect category relations. This article provides an introduction to syllogisms (categorical syllogisms, term logic), giving some historical background, a description of the basic use and structure of syllogisms, an analysis of common errors in reasoning, and suggestions for further reading.
2231:
above, is specious at best. People like me? What sort of person am I to defend a fellow editor from abuse? What sort of person am I to right a wrong done to Ted after SlimVirgin was ruled against in a mediation case and responded in kind here to revert his entire work? What does that make me? I concur about editorial policy, there is actually a decent one, just the few like SlimVirgin who abuse their positions by what she has caused and done here at this page. Look at the results of it. Had she not violated 'don't disrupt to make a point' this whole thing would not be occuring, as I would not be here trying to defend a good and honest editor who was abused by her. Am I a lunatic by your accusation? If defending others from abuse is lunatic then I am guilty. If attempting to defend wiki-policy on decency and 'do not disrupt' makes me a lunatic, then am I am guilty. If attempting to right a wrong done by SlimVirgin here makes me a lunatic, then guilty. Why are you so hostile towards me? I've never been hostile towards you? It doesn't make any sense. I've called for harmony and working together and I am accused of being a lunatic, once again guilty as charge, if that is the definition. --
3258:
depeite its only having one member, and to this you have objected above, wihtout really saying why. There is certianly no rule to say that a set should have more than one member, I cannot think why a general term, or category should be so limited either. If terms must refer to more that one individual either contingently or necessarily. If that were to be a requirmeent, then All As or Bs would be false in case that there were not at least two As. Thus All Men are Mortal would have been false when uttered by Adam, and will be false when uttered by the last man to shake off this mortal coil. Surely in the latter case his dying words would not be false but "too true". If on the other hand we will allow as general terms which refer to sets that may have but one member, then we can as suggested above use the terms "things that are socrates", "that which socrateses", "that which drank the hemlock" or succinctly 'the set of all things that are identical to socortes'. Such a set, I believe would be written in set notation by enumeration as the set {socrates}. --
3252:
the terms. John
Warrington (ed & trans, Everyman, 1964) in his intro p ix says "Terms may be other singular (e.f. Pericles) or general (man). When two such terms are linked ..there is a simple proposition which is singular if its subject is singular, general if general. General propositions are .. 'universal' or 'particular'" Later p x, he writes "We come now to syllogisms..,. Aisrstotle assumes that that all the terms involved are general". I cannot say that I find in Prior A. much is made of the distinction, nor basis for Warrington's assertion that A. assumes all terms are general. At the end of Prior A. chap-m27, A. however says "Of all existing things some, such as Cleon and Callia, or any sensible particualr, are not predicable of anything truly and universally, while othere are predicable of them". It follows immedaitely that no singular term can be the major or middle terms in a syllogism, because they cannot be used to predicate. It does not however prevent a singular term being the minor term, since it is never used to predicate.
1905:
article was wrong. The first standard of an encyclopedia is getting it right. The second is writing it straight. Everyone says
Twrigley got it right, including SlimVirgin. Even Mel acknowledged a better version that was interestingly Twrigley's. The point then is to restore that better version by his own admittance and then include the changes Mel wishes to make. First we right the wrong done by SlimVirgin. Then we collectively replace any material that Mel has done better into the article to improve it. Thus we have structure, fairness, and cohesion to the entire process. I restored Twrigley's version. Mel now may edit that original article that was vandalised with any better material. Let's do this paragraph by paragraph as a starting remedy. The end results will clearify all disorder and restore vitality and accuracy to wikipedia and this article. Let us engage. --
3086:
it is valid intuitively, but it is not in the form a a categorical syslogism, so the latter cannot be used to demonstrate the former, ergo categorical sylogisms are inadequate. The best we can do to keep the motor running, so to speak, is to "construe" the first premis as being somehow equivalent to a categorical proposition, by susstituing (as we must) a categorical term for "Socrates". You don't buy my two suggestions i.e. substiture (a) "Something" for "Socrates" (b) "that is
Socrates" and you suggest (c) "things-named-Socrates". I feel that (c) suffers from the same defect as (a) - the conclusion "Some things-named-Socrates are mortal" is not really equaivalent to "Socrates is mortal" is it, because your dog is called Socrates as well. Lets say we can come up with (what in the trade is called "a definite description which fits our sage and no one else, say,
2127:
1860:
You should of discussed why you wanted to revert before you reverted. You should know this, and the fact you have been around awhile, makes this doubly so. I want civility here. I request in all good faith that you stop 'harassing' Ted and allow this page alone to be edited by those who were working on it before your reversion. I remind you in this official manner: I see you have been experimenting with
Knowledge (XXG). Your change was determined to be unhelpful, and has been reverted or removed. Please use
1135:• "Term logic" signifies the crucial feature of Aristotelian logic that analyses propositions into two terms, with the logical constants "all" "some" &c. Thus "All/some/no A's are / aren't B's". • "Aristotelian logic" signifies the logic developed by Aristotle in the books collectively known as the Organon. This happens to be a form of term logic. • "Syllogistic" refers to the form of inference that is connected with term logic. It is a much narrower concept, in fact is a part of term logic.
898:
of first-figure premises is reached, (2) drawing the conclusion of that pair, (3) if needed, drawing a further consequence of that conclusion to get a form that fits the original figure. For these replacements, Aristotle only uses "conversion", which is interchanging subject and predicate of a sentence. An "e" or "i" sentence implies its converse, and an "a" sentence implies the sentence you get by converting it and changing to an "i". The mnenomic calls the first of these "simple conversion" (
3698:
the other, so you have a sequence, a, b. If next you have a new item to be placed in that sequence or pair on the same principle, meaning size, then you may find that c is greater than a, but smaller than b, so the right sequence will a,c,b. In other words you place c by halving the sum of a+b or dividing the separator between the two items (whole, integer) into two fractions, which will be the Middle term. So what you do is, you duplicate and reverse the relation between A and B (making C : -->
31:
1808:
on his Talk page comes close to justifying a reversion (quite the contrary). I shall continue to make use of his material when expanding and up-dating the article, but it seems clear that he's not in fact interested in collaboration. I think that that's a pity, but it's silly for me to use up further time and energy trying to achieve an amicable joint approach given his behaviour, so I'll leave it there, and spend the time trying to improve
Knowledge (XXG). --
2599:"In Aristotle, each of the premises is in the form "Some/all A belong to B", where "Some/All A' is one term, and "belong to B" is another, but more modern logicians allow some variation. Each of the premises has one term in common with the conclusion: in the case of the major premise this is the major term, i.e., the predicate of the conclusion; in the case of the minor premise it is the minor term, the subject of the conclusion. For example:
189:
4254:
224:
4415:………………………………………………………………… { } lifeforms { ……………………………………………… } { | flowers | } { | ………………………………|………}……………… { | / ($ ) | } ? \ { | \____________|___}_______/ { |_________________| } fragrant things {_________________________}
518:
to the astronomical crapulence of
Aristotle. Wait, it gets worse. Via the "doctors" of the church and the efforts of Aquinas, aristotelian logic is still viewed as the one and only correct system in Roman-Catholic seminaries. That is testimony to the astronomical stupidity of the RC church. No one in the know would touch this page. One visits this only out of morbid curiosity, a bit like scat porn.
337:
22:
2624:
can't easily be classified as universal ("All
Socrates is mortal"?) or as particular ("Some Socrates is mortal"?). There's a long history of discussion about just where to put singular terms in any version of the syllogistic, but in any event "All men are mortal, Socrates is a man, therefore Socrates is mortal" is actually a poor example of a categorical syllogism,---Robin Smith
1869:
because of what you did, and what Mel has done since your reversion. I extend good faith to Mel, maybe he is an innocent bystander who decided to edit just at the wrong time, not sure, so he should understand that my reversion was done to fix a wrong, and work from the original article with Ted to improve it. We both (you and I SlimVirgin) should stay out of it. --
4231:
91:
64:
4489:…………………………………………………… lifeforms | ……………………………… | | { flowers } | | { …………………}………|………………. | { / } | \ | { / ? } | ($ ) \ | { \ } | / | { \_______}___|________/ | {____________} | fragrant things |____________________|
288:
1547:
could all have been avoided with a general call for approval on the talk page, periodically. Please don't feel too aggrieved; it would probably be best if you simply retracted the above. If you do so, you have my permission to delete my statement as well. Peace. But we have just crossed a line here. Perhap we need some breathing room as well. --
101:
2685:
universal terms in his system. Let's shift the discussion the use of singular terms like "Sokrates" in syllogisms into later section, since it is an extension to
Aristotelian logic. Łukasiewicz who is mentioned as reference in this article makes a big point in making clear that there are no singular terms in Aristotelian Syllogistic.
2941:. Hence a syllogism in using "Socrates is a man" is NOT a categorical syllogism (because "Socrates" is not a categorical term) and is a poor example of it, now corrected in this article I am not sure how Aristotle dealt with singular terms (it's been a while), but you can use the categorical syllogisms in the following way.
3983:(note the lack of an "and"). THANK YOU, whoever included that information!! However, I'm trying to track down the source for those existence statements. Which source specifically provided the third existence statements? There are a lot of sources & it's not obvious which one was used for that. Thanks.
1386:"A syllogism's ability to explore errors of reasoning, however, relies on its structural validity. Not every trio of propositions creates a valid syllogism, and often - particularly when variant moods and figures are involved - the validity of a syllogism becomes ambiguous and difficult to ascertain. e.g.:"
3669:
e.g. "The last scene was interesting from the point of view of a professional logician because it contained a number of logical fallacies; that is, invalid propositional constructions and syllogistic forms, of the type so often committed by my wife. 'All wood burns,' states Sir
Bedevere. 'Therefore,'
2910:
But to recapitulate: what I think the article now needs is a short additional section devoted to singular premises; this should include a definition of them, an explanation of their exclusion from Aristotles's system, and another explanation of why they have historically (and erroneously ?) been used
2899:
So far as syllogistic was concerned, some logicians, such as Lambert of Auxerre (or Lagny) gave a standard account of the Aristotelian syllogism which is centered on the universal and particular quantification of general terms at the same time as they gave examples with singular terms, such as “Every
2646:
Surely, the minor premise and conclusion need to be reversed here?! In the major, 'informative' is a subset of 'useful' but not (necessarily) vice versa. So while uninformative websites are not useful, there is no reason to believe that useless websites might not still be informative. Syllogistically
2517:
Doesn't sound right to me. Was the choice of A,E, I, and O random? Could any of the other letters of the Latin words have been chosen? It would be different if they were the first letters of the Latin words. But, the letters of the first Latin word are the first and fourth letters. The letters of the
2266:
is one I probably would have cut out myself, except I forgot I put it in. Well... the second half is actually true, if maybe a little on the NOR side... but in itself this was not grounds for reverting the entire article. Frankly, under other circumstances I would have loved to work on the article
2192:
Nonetheless Then I leave Knowledge (XXG), after many years of work, and many articles on philosophy. Just to be clear, it is because of people like you , who say (your words) "I do not debate the contents, but the wrong done". It's not clear that any wrong was done here. Mel, who is a professional
1594:
No one's "punishing" anyone. It was just that the version that was on the page before I reverted was too much of a personal essay, and the one that I reverted to was inadequate. As Mel says, somewhere in between would be ideal, being careful to leave out personal opinions, or else attributing them to
1432:
Sorry if I've seemed to bull in and do a major rewrite without consultation, but as it stood the article was in dire need of help. The term "Barbara", for example, was introduced with no explanation or context, and I doubt whether an intelligent reader who was ignorant of the subject would have been
1417:
I ask that you present reasonable instances to the community of error in this article or that you stop your efforts at disruption and allow those editors mentioned earlier to edit as they were in the wiki fashion of collaboration and consensus. I am sure this article is not perfect, but no article at
1156:
yes, this is acceptable. Charles made a similar comment some time back, and I see the point. the only difficulty I've had (which is why I haven't effected such a change myself - still pondering) is that there's a certain overlap in the content that's difficult to parse. as far as I can see it, the
1042:
ok. I'll confess it wasn't clear to me exactly what 'term logic' referred to. sometimes it seemed to be an alternate phrase for syllogisms, sometimes to be a broader term for aristotelian logic (but only to the parts that dealt with syllogisms, since it never seems to apply to propositional logic).
897:
For the second and third figure moods (Aristotle does not recognize a fourth figure), the name is an encoding of Aristotle's method of proof. His proofs consist of what he calls "reduction" to a first-figure form, which is a matter of (1) replacing premises by other sentences they imply until a pair
4461:
All flowers are lifeforms. (SaM) No lifeforms are fulgurites. (MeP) ∴ No flowers are fulgurites. (SeP) ……………………………………………… | | ………………… | ………………… | { } fulgurite | /flowers \ | {________} | \________/
4321:
The three-circle Venn diagrams for the Syllogisms are much too complicated (absurdly so). As a retired maths prof and logician/philosopher, I would NEVER use the ones shown now in one of my classes. Below, I submit examples of vastly simpler Venn diagrams, or Euler diagrams — geometric "proofs" —
3665:
The "A witch?" sketch of the movie 'The Holy Grail" seems an ideal example of syllogisms at play. The album "The Album of the Soundtrack of the Trailer of the Film of Monty Python and the Holy Grail" perhaps offers the only example in popular culture of an explanation through comedy of syllogisms in
3085:
I think you are enjoying this (I hope you are). It's been a while since I looked at syllogisms (they are obsolete you realize). Lets say we want to use our categorical sylogisms, to show that the following is a valid argment "Socrates is a man, all men are mortal ergo Socrates is mortal". We know
2704:
So we read that "each of the premises is in the form "some/all A belong to B," and then we are given the example premise "Socrates is a man." Uhhh, what???? Fix this please. It may just take something as simple as "Socrates is a man is actually technically rendered in a syllogism as 'All things that
2605:
So we read that "each of the premises is in the form "some/all A belong to B," and then we are given the example premise "Socrates is a man." Uhhh, what???? Fix this please. It may just take something as simple as "Socrates is a man is actually technically rendered in a syllogism as 'All things that
2230:
ME? Mel did not revert first. Check the edit history. It was SlimVirgin. Your arguments continue to state fallacies. You have the personal choice to leave. To blame my defense of someone who was wronged by SlimVirgin (who has wrong others in the past), on your leaving based on your false assumptions
1807:
has reverted the page (twice) with the extremely misleading edit summary "rv. per discussion with Mel. please see discussion on talk page". Even if he's using "per" in an extremely non-standard way, I find it very difficult to assume good faith with regard to this; nothing in what I've said here or
1613:
and I ask you stop harassing Twrigley because he mediated a case in which you would not participate. It is uncalled for. If an editor has a problem with a portion of this article, let that individual editor present his case here and with civility work out the problem with Twrigely who has put hours
1078:
JA: Could active editors put all but routine editorial comments and communications on the discussion page instead of enscouncing sotto voce asides in the article, as the latter are really hard to follow what's going on for interested bystanders watching the diff and hist displays. Gratia in futuro,
738:
It's part of a medieval mnemonic. Each syllogism involves three propositions labelled "A", "E", "I" or "O", and so each syllogism is given a word that contains those three letters in order. Hence the syllogism deriving an All conclusion from two All premises needs a word with three As as its first
4449:…………………………………… | | …|…..…….…………………|……………… mammals / | | \ / | | …………\…………… / | ($ ) | { \ ? } \ | carnivores | {______/_____} \ |_____________| / herbivores \________________________/
4005:
I already have written in German Knowledge (XXG); There is a german logician (Walther Brüning), who is able to explain syllogistik in a ("strict") "mechanical" way, like a calculation. It is nearly as easy as the calculation used to be in truth tables. I made a tutorial about it (1 hour ). The book
3697:
The structure of syllogisms, if you accept the formalism of representing the "terms" in the premises and the conclusions as a simple and single symbol is the same as the problems of sorting three items. Based on their appearance two items are compared, then it is concluded that one is greater than
3280:
7. Singular Terms in Logic The use of singular terms in inferences raised various issues. So far as syllogistic was concerned, some logicians, such as Lambert of Auxerre (or Lagny) gave a standard account of the Aristotelian syllogism which is centered on the universal and particular quantification
3251:
I have checked up on my Aristotle, and he says, Prior Analytics, Chap 1, second sentence we must define 1. premiss 2. term 3. syllogism. Torwards the end of the chapter he says "I call a term that into which the premis is analsysed (subejct and predicate) , 'is' or 'is not' being tacked onto one of
3113:
The justification for this long conversation on talk page is that perhaps some of the matters discussed might find their way into the article to make it clearer and more interesting for one such as you who self-describes himself as "I know very little about logic" If however you are really pullng a
2767:
The logic that Frege invented was second-order not first-order. Both he and Pierce produced second-order logics at around the same time. That students are now taught a first-order variant of Frege's logic is because it was subsequently discovered that second-order logic has certain limitations that
2657:
I agree with the original comment - in default of a detailed explanation about how singular nouns ("Socrates", in the example) are considered to refer to their entire extension in a syllogism, perhaps a change to "All humans are mortal, All philosophers are human, All philosophers are mortal" might
2158:
I actually share your sympathies above. The social experiment of wikipedia is failing and the example of what has happened to me (per history articles-my field of expertise) is sad. My attempt to defend an innocent bystander from disruptions and ill-will seems also to be failing. That is all true.
2096:
4. " Non-categorical syllogisms deal with the truth values of proposition in relation to other propositions, rather than looking at their internal structure of propositions as is done here. Propositions are taken as single, non-decomposable elements in non-categorical syllogisms, each with a given
2070:
Non-categorical syllogisms deal with the truth values of proposition in relation to other propositions, rather than looking at their internal structure of propositions as is done here. Propositions are taken as single, non-decomposable elements in non-categorical syllogisms, each with a given truth
1886:
None of this protracted ad hominem addresses the important question of the relative quality of Mel's work versus the quality of the work he replaced. My judgment is that Mel's work is better (I have studied syllogistic and traditional logic for nearly thirty years). By a long way (see my comments
1772:
Ted, your discussion with Mel on his talk page shows that he agrees some of the old version should be merged into this one, but not all of it, because as he said some of the old had POV problems and parts were written in an unencyclopedic style. Mel has said that once his busy period is over, he'll
946:
In some cases, it's impossible to get a proof using the conversion methods (second-figure Baroco, third-figure Bocardo). So, Aristotle uses indirect proof (assume the contrary of the desired conclusion, which with one of the premises will give you a first-figure form; the conclusion of this is the
517:
OK, here's your answer, from a logic professor, like it or not. Aristotelian logic is a clumsy cack-handed system that no modern logician would remotely bother with; to achieve what it does we now have a system that is both much simpler and more powerful. That one can have it both ways is testimony
502:
Come on. Is there seriously no professor in logic who has taken to editing this article? Get with the program, academia. "...deductive reasoning, where facts are determined by combining existing statements, in contrast to inductive reasoning where facts are determined by repeated observations." Who
3257:
If despite that we wish to insist that ALL terms in a syllogism be general terms, i.e. categorical terms, i.e sets, then we canot use 'Socrates' as a term since it is singfular, not general and not a set. We can works round this issue however providing only that we can allow a term to be general
3231:
More accurately, we're using Socrates the man as an example of the minor premise, to verify that it is true. Once we've done this, we know for a fact that the resulting conclusion, though expressed as a conclusion about categories, will also apply to Socrates specifically, since we've already used
3163:
Absolutely. But we're only having this long conversation because the information that I came to wiki to find, isn't here. Which is why I created this section of discussion to suggest a new section in the wiki article, which would address the issues related to single-term premisses, which no longer
2946:
Having "construed" in this way, we can reason for example either (a) "Some thing is a man, All Men are Mortal, therefore Some thing is Mortal." or (b) (BABARA) "All that is Socrates is a man, All Men are Mortal, therefore All that is Socrates is Mortal." Hope this helps! PS Normally after studying
2610:
One serious problem with this language is that it completely reverses the sense of "belongs" (inherited from Aristotle's terminology in Greek). When Aristotle says, "A belongs to B" (or more precisely what's usually translated as that), what it means is "A is true of what B is true of", or if you
2279:
do not bring the fight with SlimVirgin here. Let it be, and let the people who really want to reconstruct the page get to work. I will not be working here, and if you leave as well, SlimVirgin will have no further reason to be here either. She won't control herself (she's not capable of it), so
1931:
However, the problem is that 'Traditional Logic' is a far wider area than just the syllogism, and the original article 'Term Logic', which was (cursory) attempt to deal with the wider subject, is now completely lost. Can I therefore suggest that this issue is dealt with in the upcoming rewrite of
1904:
Yes, I agree a quality article is the most important. Your statement below is incorrect. SlimVirgin reverted an entire article and Mel came in right after that. Mel's contributions are excellent, but the work of Twrigley was also well done. I've seen no real explanation that Twrigley's work on the
1859:
SlimVirgin, I am trying to defend someone who tried to help wikipedia out through mediation and who was 'punished' by yourself through reversion. Please answer my questions above. I have every right to discuss this article since your reversion, since that is the topic here, unneccessary reversion.
1349:
Civility is a cornerstone of understanding and respect. Good Faith presumes that Ted was acting as such when editing this article. Good Faith should be shown by yourself and any others who wish to challenge this article. Therefore present your case so Ted knows what your talking about and then let
1257:
the other editors and I are about to restructure the page again, to separate term logic from syllogisms; this should eliminate your 'personal essay' concerns. (you should also know that the part you are marking as a personal essay wasn't my work, but that of another editor that I worked into this
4294:
The statement is made that "In antiquity, two rival theories of the syllogism existed: Aristotelian syllogistic and Stoic syllogistic" but then only Aristotelian syllogistic is described. I know nothing about this, but could some put in at leas a single sentence to describe the alternative, Stoic
2845:
Consider the following claims: "All humans are not perfect / No humans are perfect." In my opinion, they are different or at least can be interpreted differently. When P is "the object is perfect" and A is "for all humans", the first sentence says -A: P (A = "for all", P is a statement), in other
2709:
I see from the discussion here that alternative examples have been suggested, but not implemented. I also see that the exact status of singular terms is contested - so why complicate things for a general reader such as myself by introducing a singular term premise in the very first example of the
2623:
For purposes of exemplification, the example given is also very misleading. The categorical syllogistic requires that every term be a general term, i.e. something that can be used as a predicate. "Socrates" is not such a term: it's a singular term, i.e. a name. The sentence "Socrates is mortal"
2114:
As evidence of this, Twrigley wrote in a previous edit. "Formal logic is a complex game. And I do mean game - in its intricacies it resembles the world's best crossword puzzle. For the most part, these intricacies develop from difficulties with variant category constructions: subsets, negations,
1868:
if you would like to learn more about contributing to our encyclopedia. Thanks., that reverting an entire page without prior notice or any Good Faith observations of Ted is wrong. You should know this. My interest in this page will end when the 'harassment' and abuse ends. It looks as if Ted left
1577:
Mel, please, neither you nor Slim showed any interest in this page until after I got in a tiff with her. and I really don't want the to badger either of you about. it saddens me that the two of you would go out of your way to muck up a page just to try to punish me, so I'm hoping that if I stop
1546:
oops. We need a process, that is clear. Some civility is called for here. It is probably discomfitting when the electric fence shows up, but we eventually reveal ourselves when we edit here long enough. When the articles reach stability, all too often the consensus is unspoken although real. This
1320:
The reversion took place after your discussion with the before-said editor over similiar inappropriate behavior elsewhere. This is further proof of your violation of wikipedia rules, and the violation of your position. I request you ceast and desist in your harassment here and let the editors who
1304:
As for this being "payback," please AGF. I'm not here because I'm "pissed" at you, but because I'm not convinced you're familiar with our content policies, and so I've looked at your edits. As I said, I have no trouble with some of the good material being added back, but you'll need to provide at
1280:
Charles, Dbuckner: SlimVirgin is pissed at me because I gave her a hard time on a different page. this is payback, I suppose... I'm going to go report her for vandalism right now; please, if one of you would revert the page to it's established form? I see know reason why you or the page should
3304:
Or "without the jews, there would be no holocaust". Are any of those statements syllogistic in nature? I heard this one guy say that the Soviet Union collapsed because of the Cold War, while in a way the Soviets started that Cold War along with the US. Then I thought, the Soviets made themselves
3029:
May I suggest a solution ? We simply pluralize Socrates. Not the scruffy philospher himself, of course, we can't clone him - we simply call other things by his name, so then there's more than one 'Socrates'. First, I've bought a dog, which I've called Socrates. Second, I've written a play, which
2315:
Thank you for bringing this talk page to the level of MySpace. It is what we have been striving to accomplish. Knowledge (XXG) is not a social experiment. It is a site that uses social software to create an encyclopedia. If you want a social experiment, check out MySpace or LiveJournal. I highly
2104:
6. Northmeister: please stop this mindless reverting. You left a message on talk page saying "my sense of justice precludes me from starting anywhere than Twrigley's original article". Most of this is not Twrigley's, and my view, if you forgive my saying, is that he did not improve what I had
1713:
I agree with "Slim Virgin". I wrote the article "Term Logic" some years ago when WP style was chattier. Since then additions were made that were stylistically awful, and I'm happy to see it go in the dustbin. Plus, Mel's rewrite is high quality stuff and we should keep it. So, Ted, please be
1214:
I've reverted to an earlier version because this seems to have turned into a personal essay, which is not to say that nothing good had been added (some of it is worth keeping, for sure), but the tone is unencyclopedic in places e.g. "Note, however, that the decline was a protracted affair. It is
3700:
B) right. Of course, you do not want to work with irrational numbers, so you make M to become an integer too as represented by the literals. Check out that when you look at the terms in term of being more, or more numerous or greater, you will get the same arrangement as by sorting in the above
3213:
A category that can have only one member does not deserve to be called a category, surely ? A category might have only one member (as things-named-socrates does after my dog dies and my play burns) - but it must be theoretically possible for it to have more. It is not theoretically possible for
2882:
Hi. I admit I know very little about logic. I came to this article looking for an answer to a specific question, and was confused by what I found. After reading the discussion above (section 20), I saw that others were similarly concerned, and after I raised the point again, Philogo has made an
2768:
are not present in first-order logic. One of the key benefits of Frege's logic was its ability to deal with the problem of multiple generality in a way that Aristotelian logic could not. As a starting point, Knowledge (XXG) articles on multiple generality and quantification touch on this point.
2345:
Four and a half years later, 2010, reading the above I remember the high hopes we had for Knowledge (XXG). Our cult of the amateur, as someone has called it, failed. When you empower everyone equally, the people with the biggest grudges and the most time on their hands outlast anyone who "has a
2147:
was bad enough. My professional work involves drafting complex documents using teams of people. To do this we hire people with proven ability by a complex system of exams and work experience. This works. The idea that you can do the same except without the qualifications is completely mad.
1507:
would be a good place for a lot of it). If this had been in place when I came along, I'd have still wanted to subject it to a good shave and haircut, though I'd have been less inclined to replace it wholesale. Perhaps some compromise can be found, adding material from the version in history to
1017:
I'm uncomfortable with the change. There's more to term logic that the syllogism, even if syllogistic inference is the center of term logic. For example, there are two forms of inference in Aristotelian logic that are non syllogisms: axioms such as "A is A", and those that are recorded in the
2684:
I also propose to change the "Basic structure" section to just include a canonical example of a perfect syllogism. The "All greeks are human, all humans are mortal, hence all greeks are mortal" would be a viable candidate. This article discusses Aristotle's syllogism, and Aristotle just admits
2248:
I am finding this entire experience exceedingly unpleasant, and so I have decided to leave the Knowledge (XXG) community. I'm just waiting for some responses on a couple of issues before I finalize that. I would, however, like to make a few last comments re: this page before I go, which will
1215:
simply not true that there was a brief "Frege Russell" period 1890-1910 in which the old logic vanished overnight." These phrases "Note, however ..." and "It is simply not true ..." are POV. We report what reputable publications have written and no more, and the material has to be sourced. See
1165:
proposition. term logic developed as an elaboration and refinement of syllogistic logic, which (despite it's sophisitication) never seems to step beyond the bounds of Aristotle's original construct. in terms of structure, your equation holds; in terms of historical development, term logic is
2088:
2. The explanation 'These are called categorical syllogisms because the propositions they contain involve relatively simple declarations about categories, objects, and the properties that apply to these categories and objects.' is not a very good explanation. It presupposes understanding of
4006:
of Walther Brüning ("Grundlagen der strengen Logik") is only available in German (it is also on google books). The reason why i write this here is, because his thinking about syllogistic would change half of the article and this change I dont dare now. I would be curious about your opinions.
2442:
After a bit of Googling I think I've been able to clarify it. What seems to be being explained is that there are a finite number of types of syllogism and the article discusses the categorisation scheme for them. Barbara and so forth are mnemonics for the types of valid (logically correct)
1826:
I reverted originally and just now, because SlimVirgin broke rules of civility and her administrator discretion by reverting an entire page she has never engaged in or had been asked to look at. She did this after a mediation case in which she was accused of breaking other rules and defining
2212:
I'll come back when there is a decent editorial policy. It's unfair that people who have some sort of respect within their peer group, have to put up with this constant low level of aggregation. It was not like this when I started on WP. The lunatics will eventually take over the asylum.
1927:
Bit I would NOT want to lose Mel's rewrite, as this deals with the syllogism in a compact and efficient way. He introduces the syllogism with a short definition, moreover in a way that defers to Aristotle in the medieval style. Then he introduces the idea of major and minor premiss in an
4399:………………………………………………………………………… { mortals } { ………………………………………… } { | men | } { | ……………………… | } { | / Greeks \ | } { | \_________/ | } { |_______________| } {___________________________}
3429:
In mediaeval times, people might have said that the second premise is false because there are no purple three winged mountain goats. Today we see both premises as true, the conclusion as false. We don't discard poor Fesapo altogether; we just say that Fesapo, which follows the scheme
1433:
any the wiser (actually, even someone who did know something of the subject would have been puzzled at points). The last section, on validity, is also a bit of a mess (confused, obscure, bitty), but I ran out of time. I'll be back soon, though if anyone else wants to pitch in... --
962:
2nd. figure): Given premises "all Bs are As" and "some Cs are not As", assume "All Cs are Bs"; with the first premise, this gives (via Barbara) "All Cs are As, which contradicts the second premise; therefore, infer the denial of the assumption "All Cs are Bs" to get "Some Cs are not
1785:
SV... thank you: I'm more than happy to collaborate with Mel. however, I personally feel it's much better to start with a relatively complete page and pare it down, than to begin with a skeletal page and build it up. you are free to disagree, and we can discuss this if you like.
726:
According to Bertrand Russell, it is an acronym from Greek. That ought to help you in your search. The book was in my high school library, so now you have an even short search list, meaning that it couldn't have been a very esoteric title by Russell, but one of his popularizations.
3227:
Agreed, because the conclusion also needs to be a categorical proposition; but this conclusion concerns a subset of a category (things-named-socrates who are also men) to which the man himself belongs, which is why we can use the syllogism to say something about him, but not about
2713:
I think that if all the examples of the 19 valid syllogisms are going to be universals, then so should all the other examples in the article. There should then be a separate section devoted to singular terms and their classification. I'm sorry I can't help write it myself. Regards
782:
I'm not certain about merging - I'm still trying to get a handle on the over-all structure of wikipedia, while Wittgenstein laughs at me from the back of my head (hierarchical knowledge structures; please!!!). for a pro-tem solution, though, I'll add your explanatory link. :-)
3098:
PS I lied to you when I said if we substitute the FOPL shown above for AEIO cat props, all the 24 valid syslogisms can be shown to be valid. In fact on these substitutions of the 24 valid sylogisms only 15 turn out valid and nine invalid. Notshelling. the reason is that (i)
3893:
Yes, the bars negate, and I know that, but not everyone will know that. I added the following text that I hope will make that clearer: "In the predicate logic expressions, a horizontal bar over an expression means to negate ("logical not") the result of that expression."
845:
There's an answer to this. The medieval mnemonic (attributed to Peter of Spain, is hardly a secret. It encodes, not just which pairs of premises in each figure give a conclusion and what that conclusion is, but also how Aristotle proves the validity of that syllogism in
547:
of logic, not because syllogisms are important to logic today. But while modern logic is much more powerful, I don't think it's fair to beat up on Aristotelian logic. It was an advance in its time, and it paved the way for later advances. It's historically important.
2947:
Categorical Syllogisms, the student goes on to study Logic post Frege (who made the theory of Syllogism, for all practical purposes, redundant, RIP) in particular First Order Predicate Logic, in which all the valid Syllogisms can be proven (as well as a WHOLE lot more.)
1006:
I've integrated the Term Logic and Syllogism pages, and redirected the former to the latter. I've still got itchy little stuff to do (formatting and highlighting, and checking related pages to restructure things) but I think this works. let me know if you disagree.
4374:
1. Barbara (AAA-1): SaM,MaP:SaP 2. Darii (AII-1): SiM,MaP:SiP 3. Felapton (EAO-3): MaS,MeP,SoP 4. Ferio (EIO-1): SiM,MeP:SoP 5. Celarent (EAE-1): SaM,MeP:SeP 6. Bocardo (OAO-3): MaS,MoP:SoP 7. Baroco (AOO-2):SoM,PaM:SoP
3235:
All men are mortal. (True) Some things-named-socrates are men. (True - points at the man himself as an example). This is Darii, so the conclusion must be true: Some things-named-socrates (such as the man himself, but not Socrates-the-fictional-character) are mortal.
2861:
I understand "All humans are not perfect" as ∀x H(x)→¬P(x) and "No humans are perfect" as ¬∃x H(x)∧P(x) where H(x) means "x is human" and P(x) means "x is perfect". Now, assuming the law of excluded middle and that (¬∃x ¬A(x))↔(∀x A(x)), then the two are equivalent.
1742:
I agree with your comments on wordiness, and while I disagree in strong terms with SlimVirgin's claims about personal essays, I'm willing to discuss the matter. her actions, however, destroyed far too much new and worthwhile content to be considered appropriate.
3132:
Furthermore, I don't understand logical symbols, I hadn't heard of Frege until 3 days ago, and I know nothing about FOPL, so feel free to carry on lying about substituting "the FOPL shown above for AEIO cat props", I won't be contradicting you anytime soon !!
3006:
But now we've lost Socrates, the syllogism no longer refers to him at all. (Unless the "some thing" in the minor premise actually refers to the man (points at scruffy philosopher) - but if that's the case, the minor premise should more accurately be written :
2263:"Formal logic is a complex game. And I do mean game - in its intricacies it resembles the world's best crossword puzzle. For the most part, these intricacies develop from difficulties with variant category constructions: subsets, negations, exclusions. e.g."
2619:
term. It would be accurate to say "each of the premises is of the form "A belongs/does not belon to all/some B" (if a little awkward), but it is actually nonsense to say something like "Some A belong to B" (that would be equivalent to "Bs are some As").
2193:
philosopher and a good writer, reverted an edit by someone who is not a professional philosopher, and is not a good writer. What's wrong with that? And in any case, the most important thing is the contents. I'm fed up with working with people like you.
4357:
Thus for example all four EIO syllogisms, through the 4 figures are really the same or at least equivalent, and all four may be represented by FERIO (EIO-1). This leads to the following table of eleven (11) "reduced" syllogisms or equivalence classes.
3640:
Under Basic Structure, there is this statement: "In Aristotle, each of the premises is in the form "All A are B," "Some A are B", "No A are B" or "Some A are not B", where "A" is one term and "B" is another. More modern logicians allow some variation."
2944:"Construe" "Socrates is a man" in one of the following two ways. (a) "Something is a man" (b) "All that is Socrates is a man" (or cf as I have seen "Pegasus is a horse" as "All that pegasizes is a horse". No I am not making it up, its Quine (I think)!)
2296:
Since I'm leaving, I feel free to tell you that you are one of three people in the world that I have reason to disrespect utterly. You have no perspective, no self-discipline, no sense of context, and no sense of decency or propriety. Go away, you're
2172:
Northmeister, it appears that Mel, Dbuckner, Charles Stewart, and Ancheta Wis have the expertise needed to write a good article based on Mel's version, while retaining the good material in the previous version. Please allow them to get on with that.
2950:
It would be possible to show in this article for each syllogism their expression in modern first order predicate logic. As an exercise a proof of one any of them could be constructed in first order predicate logic. I think you would be impressed.
2518:
second Latin word are the second and fourth letters. There is not even a pattern. It is more likely that they were primarily chosen simply because they are the vowels in well-known order. The Latin words are merely a mnemonic, as an afterthought.
2710:
article ? Especially since none of the 19 examples of valid syllogisms contain a singular term premise - this means that for me as a beginner, I'm unable to decide exactly what form of syllogism the Socrates example is. Which is most unhelpful.
593:
The syllogism can be used to mislead people. So the phrase "syllogisms remain useful in some circumstances" should be amended to read something like "syllogisms are still used by people who want to mislead." Ken Evans 11:34, 31 May 2020 (UTC)
1746:
shall we discuss a plan for revisions, or simply feel our way through the process? as I said, I've had ongoing discussions with two other established editors of this page about changes, and there's no need for particular hurry in the matter.
2846:
words "it is not true for all humans that they are perfect". The second says -E: P, "there is no human for which holds: he/she is perfect" which has the same value in logic as A: -P. Careful consideration: is there an error or is it just me?
3205:
It seems to me, Philogo, that 'All that socratises' isn't a categorical term, not because it only has one member, but because it only can have one member - by your definition of the word 'socratize' ("Socrates and nobody else socratises").
2744:
Hi Philogo - That's great, nice edit. I guess I could have just done it myself, but I'm new here, and it seemed presumptuous, given my very limited understanding of logic (not to mention the rather heated nature of the discussions above).
1104:
I'm concerned about some of this authorial bias or intention--I think I saw, "We shall discuss..." Who's we? I'm not familiar enough with wiki rules but this seems problematic. Is that portion literally ripped off a syllabus or a paper?
1057:
By this breakdown, section 1 would clearly go on a term logic page, sections 3 and 4 on a syllogism page. section 2 is less clear: parts go one way, parts go another, and some are just stuck in the middle, spinning. comments or ideas?
1887:
below). I'm sorry if anyone has been offended or upset, but at the end of the day we are trying to write a quality encyclopedia, and the sections on logic and philosophy need all the quality they can attract. So please: chill out.
4495:
Barbara (Mortal Greeks) Darii (Lifeform Fragrants) Felapton (Non-Heavy Weight Lifeforms) Ferio (Non Herbivore Mammals) Celarent (Fulgurite Non Flowers) Bocardo (Non-Fragrant Lifeforms) Baroco (Non-Flower Fragrants)
3209:
I can point at various examples of my category, things-named-Socrates, either the man, or the dog, or the fictional character. You can only point at one example of things-that-socratize, and you'll never be able to point at another.
349:
3452:
is valid as long as M does not describe some non-existent class of objects. To put it in the form of an answer to exercise 5 of Section 5.5 of the textbook, if the (set of objects corresponding to the) middle term is not empty.
2092:
3. 'inferences drawn in syllogisms are generally viewed by nominalists as trivial and tautological' – there is a grain of truth in this, but presupposes a much wider debate which it would not be wise to bring in at this point.
384:
There, cleaned it up a bit and wrote the stuff about majors and minors. Removed cleanup tag, but it still needs tender loving attention from a father-figure logician, the poor thing. I just don't know enough about the subject.
1141:
Aristotelian logic = a version of term logic ( the only version as it happens, but the two should not be confused. An alien civilisation might develop a form of term logic, but it wouldn't properly be 'Aristotelian' logic).
4352:(1.) dropping five "weak" syllogisms Barbari (AAI-1), Celaront (EAO-1), Cesaro (EAO-2), Calemos (AEO-4), Camestros (AEO-2); (2.) identifying equivalent propositions due to the symmetries AeB <=: -->
2522:
The vowel letters … are symbols or abbreviated names, which are always used to denote the four kinds of proposition; and here will be no difficulty in remembering their meaning if we observe that A and I occur in the Latin
4361:
However, even 11 syllogisms is too many, there are really only seven (7) essentially truly distinct syllogisms: Barbara, Darii, Felapton, Ferio, Celarent, Bocardo and Baroco. Please see below for discussion ("Homework").
4247:
This page was last edited at 02:48, 20 September 2024 (UTC) (7 minutes ago) by 2601:49:8400:392:F87F:40C9:D833:6AAD. This template is just a polite request, and should be removed if left in place for an extended period of
2063:
I will start with the first two opening paragraphs which in my opinion are much better for their historical background and for lay-person wishing to understand this page, like myself works better. Here is the paragraphs:
4633:
3670:
he concludes, 'all that burns is wood.' This is, of course, pure bullshit. Universal affirmatives can only be partially converted: all of Alma Cogan is dead, but only some of the class of dead people are Alma Cogan. " (
4433:…………………………………lifeforms / …………………… \ / | | …………\………………… / | ($ ) | { ? \ } \ |flowers | {_____/______} \ |________| / heavy weight things \________________/
1503:. It's better than what I replaced in many respects, though it too often reads like a (somewhat facetious) personal (and PoV) essay, and goes into rather too much detail for an encyclopædia article on some matters (
1341:
Third, what sources do you challenge on this subject? Please show this community what particular parts of this article you consider to violate the above, since you seem to indicate that the above rules were somehow
635:
The correct conclusion would be "Socrates dies." The problem is that semantics and syntax are funnily linked, such that for semactic equivalence "will" has to be included in the conclusion. Solutions I can think of:
2034:
hasn't yet. I'm hoping that Logic is enough of a specialist subject to avoid detection by elements who imagine that generality of subject matter is an excuse for ignorance of it. A notable casualty of this is the
1928:
economical way, by the key concepts of major, minor, minor and middle term. Nearly all you need to know about the syllogism is in the introductory paras, which is the essence of good writing. So, well done Mel.
3025:
The problem here is that if "All that is Socrates" refers to a single entity (points at etc etc), then one might as well write "Socrates". What difference does it make ? And then we're back to the disallowed form.
2053:
Let us engage. Paragraph by paragraph, Mel offer your rewording here for the community to consider both paragraphs and to work with yours and Twrigley's for accuracy and detail. Together much can be accomplished.
3553:(3) 'If "No men are fire-eating rabbits" is true, then "There are fire-eating dragons" is false', apparently. Even ignoring the rabbits/dragons discrepancy, I don't see how this follows from the preceding section.
3128:
Heh-heh. I'll take that as a compliment, Philogo !! I do indeed know very little about logic. For example, no, I didn't know that syllogisms are obsolete. I'm not even sure what obsolete means in this context.
1938:) (an accomplished logician) and myself (a not so accomplished logician, but I do have a detailed knowledge of the history of logic). Rather than get into a protracted edit war, can I suggest that solution.
4089:
Have a look please, at my simplified Venn diagrams and reduction to short list of 7 essential syllogisms, all others are trivial modifications. The aims could be similar. hgwb 20:42, 3 November 2017 (UTC)
3914:
Just had occasion to refer to the article, and I want to say that I found it well organized and comprehensive - at least it covered whatever I want to know. Thank you for the article. You know who you are.
2658:
be in order. On Estragon's point, this is in fact how Baroco works - a perennial problem with all the second, third, and fourth-figure syllogisms. We can reduce it to a first-figure syllogism (Ferio) by
1739:. Mel, since you agree that the original version was superior to the version you found on your first edit, I suggest that we begin revisions (however extensive you would like those to be, beginning here.
2100:
5. Much of the rest of the article comes from the article I wrote in September 2003 which is , and which is much broader in scope. I have already said I do not mind if it falls by the wayside for now.
4623:
2596:
Hi, I can see that there has been a lot of discussion in this page here, and that the page has gone through numerous rewrites. However, this opening part is blatantly inconsistent and very confusing:
2256:
I wouldn't disagree with you on most of your points. My issue is not with Mel's rewrite, or with DBuckner's desire to re-separate the Syllogism and Term Logic pages. My objection is to SlimVirgin's
4638:
2990:
Hi Philogo. Thanks for the links, very helpful. I've been thinking about your two alternative construels, and I admit I don't understand how the re-phrasings avoid the singular. The original goes :
906:, abbreviated by "p" after the premise's letter). Sometimes, major and minor premise must be swapped to get to the first figure; "m" is used to abbreviate this. We then get mnemonics like these:
1773:
be able to start collaborating on transferring material from one version to the other. I think you should wait for him to do that, because you'll probably end up with a great article as a result.
1610:
No, you have violated Knowledge (XXG) rules of civility by reverting hours of work by an editor. You have disrupted this page to make a point, among other things. As above you are in violation of
2133:, I didn't have time to photoshop an LCD monitor into Rembrandt's picture. But I can see a phone on the desk and a printer in the window. Please reconsider leaving the encyclopedia. Regards, the
441:
a lot. Thought or feelings? Is there a place within the article that would best describe and illucidate this concept, or am I really best just to put a link in the "see also" section? Thanks.
4474:………………………………… lifeforms / …………………………… \ / | ………|……\……… / | ($ ) { | \ ?} \ |flowers {__|___/___} \ |___________| / fragrant things \_______________/
1924:
Some more thoughts. I've read again through the edit that "Ted" and "Northmeister" want to revert. Their complaint is that a lot of material has been deleted by Mel's rewrite, which is true.
4343:
The joint presence of three boxes in a syllogistic diagram below implies three pairs of two boxes, the configuration of each pair illustrating one of the three propositions of the syllogism.
821:
page, and there is a lot of overlap. certainly the sections on syllogisms parallel what is given here. it seems our choices (aside form leaving things exactly as they are - lol) are these:
35:
4590:
1991:. This should cover the 'Peripatetic' logic of the Middle Ages, including the additions (such as the theory of consequences, supposition theory, the theory of mental language and so on).
1166:
derivative of syllogisms; in pragmatic terms there are certain things (like mood and figure) that it would seem need to be discussed on both articles, thus creating a good bit of redundancy.
3407:
It seems like a perfectly valid argument. It is valid, because there are birds. However, suppose we replace birds by purple three winged mountain goats and winged by border collie. We get
2904:
I find this fascinating. Someone creates a system which disallows singular premises, and then for hundreds of years, other people use syllogisms with singular premises as examples of it.
1690:
Twrigley, by all means start merging back some of the old version (in consultation with the other editors), but please don't delete Mel's additions, because they really are improvements.
695:
I added a good bit to the syllogisms page. I thought it would be nice to have something more accessible than formal logic normally gets. Comments and revisions are (of course) welcome.
1359:
I further find it offensive that you bring material from a previous edit up as if it were a recent edit to scold an editor. This is not proper. The edit in question by you (SlimVirgin):
1239:
Twrigley, I have no problem with some of the good material being restored, but it needs to be built up slowly and sourced properly. As it stands, it looks like someone's personal essay.
2895:
I've just spent half an hour trying to find out who first used the Socrates example, and failed. The Stanford Encylopedia of Philosopy sources it back to (at least) the 14th century :
1642:
cut it down completely. I agree some that some reduction was necessary, but now we have lost all the stuff on why there are two terms in the proposition, what terms are and so on.
4499:
Homework For Syllogism Tutorial: Please convince yourself that only these seven (7) syllogisms are truly distinct, as in two pairs there is no actual distinction in the inference:
1789:
but it appears from the immediate reversion that you've marshalled people to make sure that we do it your way. that's cool. very bad faith on your part, but none of my business.
835:
personally, I think 'syllogism' is the more common term, but what do I know? at any rate, we'd need to link the unused term back to the new term; does anyone know how to do that?
2331:
I play the cards I'm dealt, my friend. I wish that Knowledge (XXG) were what you hope for, and I hope it reaches that state some day, but I recognize a fold hand when I see it.
4378:
It is interesting to exhibit the seven (7) simplified Venn or Euler diagrams for this list with examples showing both, similarities and changes, as we pass from one to the next
400:
contain even more about syllogisms than this article does. Things need to be moved from there to here. I'd do it if I knew anything about syllogisms (which I don't at present).
4412:
S:fragrant; M:flower; P:lifeform Some fragrant things are flowers (SiM) All flowers are lifeforms (MaP) ∴ Some fragrant things are lifeforms (SiP)
1941:
I.e. in SUMMARY: keep Mel's rewrite, but work towards a proper organisation of the logic pages, and moreover work together without these protracted and silly arguments. Yes?
1476:
Baralipton is an indirect mood (like Frisesomorum, Fapesmo, Dabitis, etc.); I'll add a section on those, but this was a first go, and meant to be simple and straightforward. --
1021:
Let's not hurry about reversing the change: I like the gathering together of all the scraps of content into one article. We should figure out what differences we mean between:
3187:
And yes, Philogo, I am enjoying this discussion, I am also learning stuff, which is mainly due to your courteous responses to my naive questions, so thank you (except for the
2889:
This raises supplementary questions. What is the implication of composing a syllogism with a singular premise ? Is the conclusion still valid ? If so, why ? If not, why not ?
1132:
Oh no! I wrote the original article "Term Logic". I've just noticed the change that incorporates Term Logic into "Syllogism". This was not the right thing to do. Broadly:
3981:
3114:
Socrates on me and you're really a bored prof of logic winding me up, I will find find a way of reaching you through cyber-space and a foot will come though your screen. --
1951:
Speaking for the bystanders, thank you for your precis. Might we see a sketch of a roadmap for the logic pages at some time? That might even attract others to the pages. --
122:
on Knowledge (XXG). If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
2288:
My apologies for all this. I got some crap stuck on my shoe in a different context and it dragged itself in here after me. Not much I can do about it, but I do feel bad.
4128:. Sorry, but i dont understand, why there should be exactly seven syllogisms. For any questions about strict logic you can ask me. Here is a short introduction (again):
2260:
exportation of a personal vendetta into article content. It's a pity that the syllogism page got caught up in that. I will say that the one line you keep bringing up
3222:
I feel that (c) suffers from the same defect as (a) - the conclusion "Some things-named-Socrates are mortal" is not really equivalent to "Socrates is mortal", is it?
1969:
was to emphasise the elements that 'traditional' logic have in common with 'mathematical' logic (of schema and logical form, of inference and validity and so on).
3281:
of general terms at the same time as they gave examples with singular terms, such as “Every man is an animal, Socrates is a man, therefore Socrates is an animal.”
3159:
The justification for this long conversation on talk page is that perhaps some of the matters discussed might find their way into the article to make it clearer...
3843:(in words: "there is an M that's also P, there is an S that's also M, thus, there is an S that's also P"; it seems this is not even just wrong, but also false.)
159:
4334:(1.) The boxes are given characteristic borders. (2.) Diagram has boxes labeled with example predicates. …………… S = / \ \_____/
1261:
the current version is a substantial improvement over the earlier; I believe the other editors would agree that editing is preferred to reversion at this point.
3051:
That seems to work. It distinguishes between the man and the dog and the fiction (and allows for other people to be named Socrates, as there undoubtedly are).
1305:
least some sources, and they have to be published professional philosophers. You also need to keep your own personal comments and opinions out of the article.
1391:
This reading has been accepted since it was added into the article on that before said date. Since then the following users have helped to edit the article:
4648:
149:
4618:
4628:
1578:
participating for a while you guys will come to your senses. drop me a line if you care to discuss things, otherwise I'll check back in in a month or so.
1049:
Term Logic: the system of logical deduction dealing with internal categorical structures that developed (over a millennium or two) from Aristotelian Logic.
798:
I came here looking for an explanation of the consonants in the mnemonic words for syllogisms, and apparently that text no longer exists on this page or
2434:
is unexplained, out-of-context, near-gibberish. What is the table for? What is being explained? Who are Barbara and her friends? Please tell us, in
671:
Actually the next sentence in the article hints that the major used to be "All men are mortal", which is probably even better. I will reinstate this. --
3559:. Question (a) is "Which statements of these four forms have existential import and with regard to which terms?" It does not admit of a yes/no answer.
3043:
So, we can re-write the syllogism to deal with the existence of 3 socrates, by making the distinction between 'socrates' and 'a thing named socrates':
361:
2804:
All the industrious boys in this school have red hair. Some of the industrious boys are boarders. Some boarders in this school have red hair.
4643:
2994:
The minor premise refers a single entity (points at scruffy bearded philosopher, who for the purposes of this argument is somehow alive and well).
1321:
have put many hours into this page, alone. To revert an entire article is un-called for and I DEMAND a verifiable reason for what you have done. --
124:
4658:
2938:
sylogisms (the usual sort) that do not allow singular terms, only categorical terms. Look here for a neat defintion/explanation of "categorical"
891:
Consonants then get added for euphony (but note that "r" and "l" dominate and that there's no "s", "m", "c", "p"): Barbara, Celarent, Darii, Ferio
4486:
Some fragrant things are not lifeforms. (SoM) All flowers are lifeforms. (PaM) ∴ Some fragrant things are not flowers. (SoP)
4440:- - - - - 4. Ferio (EIO-1):SiM,MeP:SoP (=Festino (EIO-2)=Ferison(EIO-3)=Fresison (EIO-4), 4 in class) some S is M; no M is P: some S is not P
3150:
Px) in FOPL does not entail (iv) (Ex)(Sx & Px)]. (i) is said to construe All As are Bs as having "existential import" whereas (iv) does not.
3108:
Px) in FOPL does not entail (iv) (Ex)(Sx & Px)]. (i) is said to construe All As are Bs as having "existential import" whereas (iv) does not.
2892:
This raises another question. If singular premises are disallowed, why does the most famous syllogism in the world contain a singular premise ?
2097:
truth value, without considering internal validity or derivation. See disjunctive and hypothetical syllogisms." This is incomprehensible.
519:
2075:
Considering the above two paragraphs, what within them needs changing to improve these two. Let us engage in discourse and improvement. --
1560:
OK, perhaps I was wrong about compromise, and thinking that we could all work together. Still, if other editors would care to join in? --
947:
contradictory of the other premise; infer the desired conclusion by reductio ad absurdum). The mnemonics mark such cases with a "c" (for
4653:
4613:
4302:
3678:
1511:
As this is specifically and only about the syllogism, though, we need to be careful not to overdo the general history-of-logic stuff. --
609:
3094:. Now we have a categorical term and can write "All that socratises is a man, all men are mortal ergo all that socratises is mortal".
2748:
Anyway, as I said, the article is still lacking - I think I'll start a new section here with a specific request, if that's OK. Cheers,
1976:
should cover precisely what Aristotle covered in the books now called by that name. I have done some work on the sub-articles such as
1335:
More specifically, what do you SlimVirgin consider to be Original Research, please indicate here so Ted has a chance to state his case.
114:
69:
4663:
4567:
4430:
All flowers are lifeforms. (MaS) No flowers are heavy weight. (MeP) ∴ Some lifeforms are not heavy weight. (SoP)
3761:
3560:
2659:
1840:
Northmeister, you're trolling, pure and simple, and have no knowledge of or interest in the subject matter, so please give it a rest.
1530:
hey, Mel, Slim. Suit yourselves. if you want this page, it's yours. might as well start renaming this place crapipedia... later.
988:
483:
467:
4520:
But PaS for nonempty P implies SiP, hence Bamalip is weaker than Barbara. If P is empty, then Bamalip is invalid, as is well-known.
2688:
Further the opening section would more accessible, if just gave a short description of a syllogism without discussing special cases.
4594:
3948:
Some of the syllogisms include a third required existence statement when expressed as predicate logic. For example, statements like
2847:
3644:
What is "some variation" supposed to mean? Sometimes A and B are the same term? Sometimes A or B actually means a third term, c?
2611:
like "Things that are B are also A", or to be absolutely traditional, "Bs are As". In other words, in "A belongs to B", A is the
1157:
original distinction between propositional logic and syllogistic logic was Aristotle's: he split the analysis of the relationship
4161:
For those who are interested: Here a version of an old attempt to change the article, redirects to section "Strict syllogistic":
1735:
this page has been reverted to it's state before this argument began. please see my discussion with Mel Etitis on my talk page,
3546:
I tidied up the section "Existential import", primarily adding punctuation (there was almost none) but much remains to be done:
1407:; including the following anonymous users: 66.26.38.109, 71.136.83.144, 70.242.141.195; and did not dispute the change made by
4162:
4105:
3800:
Please have a look - the editors of the page dont agree with me and i dont trust them - i would like to hear a second oppinion.
1865:
44:
1763:
1266:
I was expecting your visit, though it makes me sad. please feel free to edit without destroying the structure of the page.
1046:
Aristotelian Logic: everything discussed in the Prior Analytics and On Interpretation (to distinguish it from Organon proper)
3065:
Imagine that my dog dies and I burn my play. There is now only one thing-named-Socrates again. The syllogism remains sound.
196:
74:
4529:
For Darapti to be true, M must be nonempty, as is well-known. If so, the premises imply SiM & MaP, hence SiP by Darii.
2798:
Secondly I believe that Datisi under the paragraph Types of syllogism is wrongly stated. Currently is stands as following:
421:
This is a relatively important logical construct, and needs to be added as a link, along with the logical relationships of
4471:
All flowers are lifeforms. (MaS) Some flowers are not fragrant. (MoP) ∴ Some lifeforms are not fragrant. (SoP)
4371:
However,for the three-letter codes we retain the traditional form, placing the major premise first, before minor premise:
4280:
4272:
2795:
First of all I'd like to third' the above statements and mention that the opening is indeed confusing and possibly wrong.
1611:
1318:
4446:
Some carnivores are mammals. (MiS) No herbivores are carnivores. (PeM) ∴ Some mammals are not herbivores. (SoP)
3551:(2) Is it acceptable to use the abbreviations "AaB" etc in a section that aims to be comprehensible to non-specialists?
657:
Every human will die; Good and also makes the implied "every" which is needed for this to be valid reasoning, explicit.
3167:
And yet, the most famous syllogism in the world, which dates back at least 800 years, contains a single-term premise.
1317:
SlimVirgin you have violated another standard of wikipedia by disrupting the work of several editors to make a point.
273:
2464:
The article explains what you were able to find using Google. As for why A, E, I and O, according to Irving M Copi,
4237:
1301:
which is why I'm concerned. We can't include edits such as "Formal logic is a complex game. And I do mean game ..."
3217:
So 'All that socratizes' is functionally equivalent to 'Socrates', and we're back with a single-term proposition.
3054:
And it provides the conclusion we want, referring to the man himself, now identified as 'a-thing-named-Socrates'.
2807:
Doesn't this give of the wrong conclusion. This example assumes that there are red haired boarders in the school.
2627:
May I second the above -- as a visitor who also found that passage obscure in an otherwise illuminating article.
2335:
I do Ted, and I will not intervene here any longer. Sorry to see you leave. Good wishes and luck in the future. --
3601:
Not for nothing, but this entire article seems to be an expanded definition. Is it possible this is best done on
407:
2365:
For those who want to work on the article using the version before the version before my rewrite, I've moved it
2143:
In fact if any more of this nonsense goes on it will be me who leaves Knowledge (XXG). I've had enough of it.
252:
4276:
4268:
3721:
Major premise: All humans are mortal. Minor premise: All Greeks are humans. Conclusion: All Greeks are mortal.
3651:
3090:
For shorthand we could agree that anyone who fits that description is said to "socritose", i.e, by definition
2729:
agreed, do not use singular terms in examples. They create much smoke and no light for the general reader. --
2316:
doubt the staff of Encyclopaedia Britannica throws nearly as many "hissy fits" as those on Knowledge (XXG). —
1998:, covering the period from Arnauld to Mill, as this is fairly distinct and leads naturally into modern logic.
870:
Allegedly, the vowels are chosen because "a" and "i" (for the affirmative types) are the first two vowels in "
580:
Spot on. The flaw in the Aristotelian syllogism is that it's unit of truth is a whole sentence. For example:
523:
240:
50:
21:
4306:
3682:
3882:
3765:
3564:
2412:
2346:
life," as the saying is. By 2010 one expects this and one enjoys Knowledge (XXG) more than one did in 2006.
2085:
1. In the tradition referred to the conclusion is not 'shown to be necessary' it 'results of necessity'.
992:
605:
487:
471:
313:
4298:
4093:
3724:
Here the scope of mortal is wider than that of humans The scope of Greeks is narrower than that of humans.
2126:
1751:
1116:
597:
463:
4571:
3327:
Fesapo: No humans are perfect. All perfect creatures are mythical. Some mythical creatures are not human.
2867:
2810:
If it sais "Some of the industrious boys IN THE SCHOOL are boarders." than the conclusion would be valid.
2536:
2071:
value, without considering internal validity or derivation. See disjunctive and hypothetical syllogisms."
1110:
888:
The names for the four first-figure forms begin with the first four consonants of the alphabet: B, C, D, F
4244:
and to ensure your message is actually read, please don't edit this section until this notice is removed.
2648:
2602:
Major premise: All men are mortal. Minor premise: Socrates is a man. Conclusion: Socrates is mortal. "
1966:
2851:
2693:
2506:
2401:
2304:
2134:
2014:
1988:
1792:
1759:
1736:
1583:
1533:
1287:
1269:
1196:
1018:
square of oppositions, such that the inference of contradiction from All As are B and Some As are not B.
601:
3014:
So, this structure is fundamentally different to the original - ie it leads to a different conclusion.
2863:
1106:
572:"Aristotelian logic is a clumsy cack-handed system that no modern logician would remotely bother with."
446:
4462:| |_________________| lifeforms - - - - - 6. Bocardo (OAO-3): MaS,MoP:SoP
1504:
709:
I just searched the net, and found not a single explanation of why it's called the Barbara Syllogism.
4502:
Darrii & Disamis are identical inferences. Celarent & Camestres are identical inferences.
3866:
3815:
3751:
3738:
Major Premise: 2 + 3 = 5 Minor Premise= 1 + 2 = 3 _________________________ Conclusion: 1 + 3 = 4
3241:
3237:
3196:
3192:
3178:
3174:
3075:
3071:
2924:
2920:
2753:
2749:
2719:
2715:
2382:
2177:
1844:
1813:
1777:
1694:
1599:
1565:
1516:
1481:
1454:
1438:
1309:
1243:
1231:
1043:
perhaps I was a bit over-aggressive in my integration. :-) tentative breakdown, along your lines:
438:
415:
404:
401:
4097:
3608:
3305:
collapse. The same structure as the jew-statement I guess. I was wondering if that was syllogistic.
2374:
2366:
1861:
967:
That at any rate is a brief account of the mnemonics. Aristotle of course knew nothing about them.
4550:
4317:
Simplified Venn Diagrams For Syllogisms And Reduction To Seven (7) Essentially Distinct Syllogisms.
4206:
4169:
4136:
4101:
4072:
4054:
4039:
4024:
3779:
3647:
3612:
3586:
2689:
2453:
2319:
2214:
2194:
2149:
2130:
2116:
2106:
2040:
2018:
2006:
1977:
1942:
1888:
1804:
1755:
1715:
1674:
1643:
1465:
1408:
1147:
1093:
1060:
1008:
836:
784:
696:
682:
430:
321:
4581:
I'm guessing the picture goes less with the page and more with the example ("All men are mortal.
3951:
3306:
3047:
All men are are mortal. Some things-named-Socrates are men. Some things-named-Socrates are mortal.
543:
have a PhD. I'm interested in this page... but primarily because syllogisms are important to the
4566:
Can anyone tell me why a bust of Socrates is shown on the page, rather than Aristotle's? Thanks--
4241:
3988:
3934:
3899:
3878:
3626:
2396:
2002:
553:
504:
369:
340:
This article was the subject of a Wiki Education Foundation-supported course assignment, between
258:
4492:
List of the seven (7) essential ones, with the above examples in short form "syllogism (P S)":
3011:
But we can't write that without abandoning the structure of categorical syllogism (A E I or O).
974:
For a more detailed discussion of the significance of these names, see Paul Spade, <a href="
4437:
The symbol ($ ) means that set S of flowers is not empty, there is stuff in it (flowers) . .!!
4396:
All Greeks are men. (SaM) All men are mortal. (MaP) ∴ All Greeks are mortal. (SaP)
3804:
3346:
3273:
3797:
Als following the rules of wikipedia - can i post the conclusion of a syllogism in an article?
3532:
3368:
3310:
3290:
3263:
3119:
2981:
2956:
2734:
2351:
2336:
2232:
2160:
2076:
2055:
1995:
1906:
1870:
1828:
1615:
1419:
1351:
1322:
320:
Please help fix the broken anchors. You can remove this template after fixing the problems. |
106:
3760:
Not a valid syllogism, I'm afraid, as no conclusions can be derived from from tautologies. --
2301:
Administrator trolls, I swear... and you wonder why the social experiment is failing here?
1631:
We have now lost the whole of the original article on term logic - here is a recent version.
979:
Thoughts, Words, and Things: An Introduction to Medieval Logic and Semantic Theory</a: -->
3920:
3354:
3335:
2503:
1952:
1934:
1657:
1548:
1392:
753:
728:
300:
254:
223:
3575:
If "No men are fire-eating rabbits" is true, then "There are fire-eating dragons" is false.
3555:(4) Apparently, Strawson (does he have a first name?) claims the answer to question (a) is
2559:
One cat has one tail more than no cat. No cat has nine tails. Thus, one cat has ten tails.
1656:
Revision as of 03:41, 20 January 2006 and disconnect from this article, for now? Anyone? --
1216:
902:, abbreviated by "s" after the premise's letter) and the second "conversion per accidens" (
4349:
As probably is fairly well-known, we can reduce the count of syllogisms from 24 to 11 by
3862:
3830:
The picture for the Barbara syllogism formalizes it in modern predicate logic as follows:
3811:
3747:
2777:
2576:
The negative phrase "No cat" is being misused as a positive concept. Happens all the time.
2378:
2174:
1841:
1809:
1774:
1691:
1639:
1596:
1561:
1512:
1477:
1451:
1434:
1306:
1240:
1228:
1080:
397:
386:
4199:
3378:
3363:
That would have to be fesapE, since "No mythical creatures are human?" is type E not O.--
2886:
My question remains; why does Aristotle's syllogistic system exclude singular premises ?
1224:
1174:
rewrite and restructure to make the distinction clearer, but keep the content on one page
4541:
4129:
4011:
2426:
Sorry to tell you folk, but, at the moment, everything from "Another classification" in
1638:
At some point it was turned into a rambling essay, then got merged with syllogism, then
825:
bring the sections on syllogisms from term logic and integrate them here, leaving a link
4545:
4202:
4165:
4132:
4068:
4050:
4035:
4020:
3876:
The bars over the top negate. not(Ex: Mx & not-Px) is equivalent to Ax: Mx --: -->
3775:
3582:
3578:
1404:
1380:
This was accepted by Twrigley until an improvement was made by him on 05 February 2006
807:
713:
681:
I added a bit about this, too, to explore the relationship of time in syllogisms :-)
434:
4049:
nevermind. Maybe i will write an article about strict syllogistic in german wikipedia
3021:
All men are mortal. All that is Socrates is a man. So, all that is Socrates is mortal.
2837:
a four element sets non empty subsets. Is anyone able to explain this curious matter?
1673:
did overlap a lot. I need to think of a way to bring in the material that was lost.
1220:
188:
4607:
3984:
3930:
3895:
3622:
2577:
2435:
854:
The vowels "a","e","i", and "o" are used for the four types of categorical sentence:
549:
365:
4365:
To simplify reading of diagrams, premises are stated next in non-traditional order:
2275:
If you respect me, and respect that I honestly tried to help you on the other page,
4125:
3528:
3364:
3286:
3259:
3115:
2977:
2952:
2817:
2730:
2676:
2563:
2347:
1400:
442:
437:. I recently took a course in logic that was heavy into syllogism, and we used the
353:
4511:
Bamalip: If MaS & PaM, then SiP. Barbara: If SaM & MaP, then SaP.
3944:
Which source was used for the existence statements in their predicate logic forms?
3671:
2406:
2833:
The fifteen syllogisms valid in modern logic, represented in the diagrams below,
2702:
Hi. I came here to ask a specific question, but Robin Smith has already asked it;
975:
4505:
Furthermore, two additional syllogisms can be eliminated, being weakened forms:
3916:
3442:--------------------------------------------------------------------------------
3419:--------------------------------------------------------------------------------
3397:--------------------------------------------------------------------------------
3331:
3191:
discourteous bit about the foot, of course). I hope you're happy to educate me.
2939:
1396:
672:
662:
336:
2039:
article, which genuine philosophers such as Mel have avoided (end of sermon).
1138:
Thus Term logic = semantics of terms + theory of the proposition + syllogistic
4016:
2773:
2370:
2144:
2036:
1670:
1653:
818:
803:
799:
765:
426:
422:
393:
119:
96:
4480:
7. Baroco (AOO-2): SoM,PaM:SoP some S is not M; all P is M: some S is not P
3503:
MaS : All M is S : All purple three winged mountain goats are border collies.
1669:
Well not really, as Mel's rewrite of this article is quite good, and the old
3522:
PoM : Some P is not M : Some dog is not a purple three winged mountain goat.
3500:
PoM : Some P is not M : Some dog is not a purple three winged mountain goat.
2834:
2431:
2427:
2031:
2010:
1646:
1338:
Second, what do you consider not verifiable according to the policy on such?
4508:
Frst, Bamalip AAI is weaker than Barbara AAA, having a weaker conclusion.
3033:
So there are now 3 things-named-Socrates : a person, a dog and a fiction.
3826:
Wrong predicate logic version of Barbara syllogism (and possibly others)?
3088:
Greek philosopher, teacher of Plato, bad tempered wife drank hemlock etc.
645:
Socrates dies; probably equally wrong semantically as the previous option
2001:
Regarding modern logic, there are already some very good articles, e.g.
4452:- - - - 5. Celarent (EAE-1): SaM,MeP:SeP (=Cesare (EAE-2), 2 in class)
3794:
Hello guys. I made a syllogism and i am asking your help to improve it.
3621:
No. There's a lot of information here that isn't just a "definition".
1981:
1973:
739:
three vowels: Barbara was chosen, but it could have been calamari. ---
308:
This article links to one or more target anchors that no longer exist.
118:, a collaborative effort to improve the coverage of content related to
3061:
All kittens are playful. Some pets are kittens. Some pets are playful.
2900:
man is an animal, Socrates is a man, therefore Socrates is an animal.”
924:
elarent), with an "e" conclusion; (4) convert the conclusion (Camestre
3929:
I agree, this Syllogism article was really helpful. Thanks everyone
2009:
however. I have contributed ad hoc articles – a complete rewrite of
719:
I used to work for Barbara Syllogism. Full of fallacies, that woman.
256:
3744:
A is on the left of B C is on the right of A C is on the right of B
2443:
syllogism. I'll add an example of each type if I can find the time.
712:
Anyone here know? That definitely should be included in the article.
90:
63:
3214:
things-that-socratize to have more than one member, by definition.
2026:
A further problem is that any of the more general subjects such as
4536:
hgwb 22:12, 8 November 2017 (UTC) hgwb 12:17, 8 August 2018 (UTC)
4526:
Darapti: If MaS & MaP, then SiP. Darii: SiM, MaP: SiP.
4421:
3. Felapton (EAO-3):MaS,MeP:SoP (=Fesapo (EAO-4), 2 in class)
2369:. My feeling is that a lot of the material would better moved to
2125:
2027:
2017:
and some others, but there needs to be more work here. Enough?
2005:, on the mathematical logic side. It is less good in the area of
1962:
1350:
CONSENSUS determine what is to be changed or what is not right. --
802:. I was able to get some information from historical versions of
4634:
Knowledge (XXG) level-5 vital articles in Philosophy and religion
4368:
First premise (=minor premise) Second premise (=major premise)
3496:
and with this new premis the conclusion then follows intuitively
2914:
This would be very, very, helpful to the general reader (ie me).
4598:
4575:
4555:
4523:
Second, Darapti is weaker than Darii, having stronger premises:
4310:
4284:
4210:
4173:
4140:
4076:
4058:
4043:
4028:
3992:
3938:
3924:
3903:
3886:
3870:
3819:
3783:
3769:
3755:
3686:
3655:
3630:
3616:
3590:
3568:
3536:
3514:
PeM : No P is M : No dog is a purple three winged mountain goat.
3372:
3358:
3339:
3324:
I'm no expert on syllogisms, but isn't the following incorrect?
3314:
3294:
3267:
3245:
3200:
3182:
3154:... might as well be in Latin for all the sense it makes to me.
3123:
3079:
3001:
All men are mortal. Some thing is a man. So some thing is mortal
2985:
2960:
2928:
2871:
2855:
2820:
2781:
2757:
2738:
2723:
2697:
2679:
2651:
2580:
2566:
2509:
2456:
2416:
2388:
2355:
2339:
2309:
2235:
2217:
2197:
2179:
2163:
2152:
2148:
Knowledge (XXG) was a brave social experiment. It has failed.
2119:
2109:
2079:
2058:
2043:
2021:
1955:
1945:
1909:
1891:
1873:
1846:
1831:
1819:
1797:
1779:
1718:
1696:
1677:
1660:
1618:
1601:
1588:
1571:
1551:
1538:
1522:
1487:
1456:
1444:
1422:
1354:
1325:
1311:
1292:
1274:
1245:
1233:
1201:
1150:
1120:
1096:
1083:
1063:
1037:
1011:
996:
839:
810:
787:
772:
756:
743:
731:
699:
685:
675:
665:
557:
507:
491:
475:
450:
373:
4540:
I took the liberty to put this long section in a box. See also
3385:
Here is an example of a fourth figure EAO (Fesapo) syllogism:
3330:
Shouldn't the conclusion be "No mythical creatures are human?"
3228:
dogs-named-socrates, nor fictional-characters-named-socrates.
1369:
The above sentence was changed by Kazvorpal on 19 January 2006
1146:
I will have to change all this back in a way that is logical.
1052:
Syllogisms: the particular symbolic form that Term Logic takes.
4225:
2631:
A second inconsistency appears in the baroco (A-O-O) example:
2393:
That's well done, Mel. There had almost been an edit war here
2030:
will come under attack from the Usenet fringe. I'm surprised
1161:
propositions from the analysis of the internal structure of a
282:
259:
217:
15:
4406:
2. Darii (AII-1): SiM,MaP:SiP (=Datisi (AII-3), 2 in class)
4267:
There is a clear difference. No source calls it an argument.,
2992:
All men are mortal. Socrates is a man. So Socrates is mortal.
2448:
It would be nice to have an explanation of why A, E, I and O.
589:
Therefore, a cheese sandwich is better than Knowledge (XXG).
4198:
A project of a python-application to train strict syllogism
3415:
All purple three winged mountain goats are border collies.
3274:
http://plato.stanford.edu/entries/singular-terms-medieval/#7
2471:
The letter names are presumed to come from the Latin words "
187:
1193:
how then to divide some of the mutually relevent content?
894:
The four first-figure forms are "perfect" and need no proof
3701:
fashion, which is widely in use in algebra. For instance:
3506:*SoP : Some S is not P : Some border collies are not dogs.
3173:
I will come back to the actual discussion later. Cheers.
3036:(Note that the minor premise of your second re-construel,
2089:'categorical'. (Actually Mel's is not much better here).
920:
estres); (3) this gives you Celarent in the first figure (
831:
create a single combined page under the heading syllogisms
828:
create a single combined page under the heading term logic
4624:
Knowledge (XXG) vital articles in Philosophy and religion
3232:
him as justification for the truth of the minor premise.
4346:
REDUCTION TO SEVEN (7) ESSENTIALLY DISTINCT SYLLOGISMS:
3170:
This is a remarkable fact. Surely it deserves comment ?
3057:
And this is the form of valid syllogism known as Darii:
2974:
O: a particular negative proposition--Some S is not P .
2556:
What about the famous parody on these logical examples:
1364:"Formal logic is a complex game. And I do mean game ..."
2972:
I: a particular affirmative proposition--Some S is P .
1980:, but I slapped on a 'developed or reviewed' notice on
1500:
1381:
1370:
1299:
1188:
split the page into two, dividing content appropriately
4328:
REDUCTION TO SEVEN (7) ESSENTIALLY DISTINCT SYLLOGISMS
2911:
as examples of said system (e. the Socrates example).
2377:, but some of it certainly belongs in this article. --
4639:
Start-Class vital articles in Philosophy and religion
4130:
https://www.youtube.com/watch?v=2esURv_dtBk&vl=en
4012:
https://www.youtube.com/watch?v=2esURv_dtBk&vl=en
3954:
2968:
A: a universal affirmative proposition--All S is P .
764:
In fact the whole mnemonic is given and explained at
331:
Wiki Education Foundation-supported course assignment
3276:
discusses singular terms, in particular see para 7:
3040:, now becomes untrue, so the conclusion is untrue).
2816:
A valid point - appropriate changes have been made.
2495:," which mean "I affirm" and "I deny," respectively.
938:
ton); (2) this gives you Ferio in the first figure (
2267:
with both of you, but... I just don't like it here.
1965:. The idea of the recent rewrite as proposed here
1375:"Formal logic is a complex game. Literally a game,"
806:but it seems like it should be on an active page.
170:
4514:Perform a substitution of variables in Barbara:
3975:
878:rmo" ("I affirm") and "e" and "o" the vowels in "n
631:Socrates will die. (application of major to minor)
4562:Why Socrates and not Aristotle (as it should be)?
4163:Syllogism (from 21.May,2018) # Strict syllogistic
2970:E: a universal negative proposition--No S is P .
2606:are Socrates are men," but please clear this up.
2468:, third edition, The Macmillan Company. (1960):
1864:for any tests you want to do. Take a look at the
2705:are Socrates are men," but please clear this up.
2500:I've added a note to this effect to the article.
768:. Should this page should be merged there? ---
3774:It's just the transitivity feature of Barbara.
3672:http://www.montypython.net/scripts/logician.php
2520:
1499:Ah, I've just looked at the History, and found
983:--Robin Smith (Actually, my translation of the
3411:No dog is a purple three winged mountain goat.
2438:please, what you are hoping to tell us here.
2280:it's up to you to be the responsible one. Ok?
976:http://pvspade.com/Logic/docs/thoughts1_1a.pdf
955:) after the premise that's contradicted. So:
928:) to get the second-figure conclusion you need
621:This piece is, pedantically speaking, wrong.
4465:all M is S; some M is not P: some S is not P
2997:First you suggest re-construing as follows:
2432:Syllogism#The place of the syllogism in logic
1252:Slim, thanks, but please consider two things:
934:(3rd fig.): (1) convert the "a" premise (Fela
912:(2nd fig.): (1) convert the "e" premise (Came
482:Not that I know of... can you be more clear?
267:This page has archives. Sections older than
8:
3727:So you get: Greeks, Humans, Mortals sorted.
3704:Major premise A < B Minor premise C : -->
3549:(1) What are "forms Ahab, Abe, Ail and Alb"?
2907:I mean, Doh (as another famous greek said).
2878:Request for a new section in this article...
1932:all the logic pages, which Charles Stewart (
987:is cited in the bibliography for this page)
916:tres); (2) swap major and minor premises (Ca
128:about philosophy content on Knowledge (XXG).
4263:Creationism is not an argument it is a view
4017:https://www.youtube.com/watch?v=KuB_vAPrUvA
3699:A) and then you get the conclusion (C : -->
3300:Without Auschwitz, there would be no Israel
2829:Set diagrams and four dimensional structure
2105:originally written (quite the reverse).
1984:itself as there are numerous inaccuracies.
1450:Thank you, Mel. That's a huge improvement.
1298:I saw some of your work here, for example,
19:
4324:
4296:
4091:
3602:
2413:Tell me about vandals, violations and more
595:
586:A cheese sandwich is better than nothing.
503:on earth wrote that? existing statements?
167:
58:
3953:
3677:Could this not be linked as an example? (
3017:The second re-construel goes like this :
1462:Where did Baralipton go from the list? —
362:Template:Dashboard.wikiedu.org assignment
4124:I wrote an article in german wikipedia:
3741:Or see it as spatial semantics: A B C
3577:Is that correct? BTW I presume this is
1961:Yes. At the top we have the article on
1652:Would it be acceptable to revert to the
942:elapton), with an "o" conclusion/li: -->
583:Nothing is better than Knowledge (XXG).
4424:all M is S; no M is P: some S is not P
4340:…………… P = { } {_____}
4322:with two twists or clarifying devices:
850:I.4-6. Names are constructed like this:
705:WHY is it called the Barbara Syllogism?
628:Socrates is a man. (specific statement)
360:Above undated message substituted from
60:
4619:Knowledge (XXG) level-5 vital articles
4517:Barbara: If PaM & MaS, then PaS.
4381:DIAGRAMS OF SEVEN REDUCED SYLLOGISMS.
4337:…………… M = | | |_____|
277:when more than 3 sections are present.
134:Knowledge (XXG):WikiProject Philosophy
4427:S:lifeform; M:flower; P:heavy weight
4409:some S is M; all M is P: some S is P
3510:Thus Fesapo is a strengthened form,
3030:features a character named Socrates.
2249:hopefully settle some disagreements.
2244:last comments before I leave for good
7:
4591:2601:49:8400:392:F87F:40C9:D833:6AAD
4458:S:flowers; M:lifeforms; P:fulgurite
4390:all S is M; all M is P: all S is P
3136:This also means that your sentence
3092:Socarates and nobody else socratises
817:well, I went and looked through the
539:I'm not a professor of logic, but I
112:This article is within the scope of
4649:High-importance Philosophy articles
1179:this may involve renaming the page
766:Term logic#Conversion and reduction
641:men will die; probably wrong though
49:It is of interest to the following
4629:Start-Class level-5 vital articles
4443:S:mammal; M:carnivore; P:ruminant
3955:
2672:Some websites are not informative.
2666:No non-useful thing is informative
2640:Some websites are not informative.
2634:All informative things are useful.
1281:suffer because of her bad temper.
752:was another of those mnemonics. --
345:
341:
14:
4483:S:fragrant; M:lifeform; P:flower
4455:all S is M; no M is P: no S is P
4387:1. Barbara (AAA-1): SaM,MaP:SaP
3424:Some border collies are not dogs.
3402:Some winged animals are not dogs.
271:may be automatically archived by
4252:
4236:This section is currently being
4229:
3805:Criticism of the Federal Reserve
3164:feature in the article at all.
2841:Error between language and logic
1183:and redirecting syllogisms there
348:. Further details are available
335:
286:
222:
99:
89:
62:
29:
20:
4644:Start-Class Philosophy articles
3998:strict logic by Walther Brüning
3636:Basic Structure; some variation
2592:inconsistent opening paragraphs
1994:There ought to be something on
154:This article has been rated as
137:Template:WikiProject Philosophy
4659:High-importance logic articles
4599:02:48, 20 September 2024 (UTC)
4468:S:plant; M:flower; P:fragrant
4067:Maybe I will dare it though --
3970:
3964:
3784:20:00, 19 September 2020 (UTC)
3666:Track 8, 'A Lesson In Logic'.
3068:What do you reckon, Philogo ?
2581:13:40, 19 September 2006 (UTC)
2567:23:13, 15 September 2006 (UTC)
2356:04:54, 11 September 2010 (UTC)
1121:23:57, 25 September 2011 (UTC)
1:
4576:10:41, 25 November 2021 (UTC)
4141:13:36, 12 November 2017 (UTC)
3976:{\displaystyle \exists xS(x)}
3939:13:40, 3 September 2016 (UTC)
3904:13:40, 3 September 2016 (UTC)
3770:10:28, 2 September 2020 (UTC)
3756:12:40, 12 February 2013 (UTC)
3661:Monty Python Syllogism sketch
3617:07:53, 24 December 2009 (UTC)
3149:, whereas (iii) (x)(Sx -: -->
3107:, whereas (iii) (x)(Sx -: -->
3038:All that is Socrates is a man
2637:Some websites are not useful.
676:12:41, 2 September 2005 (UTC)
666:12:38, 2 September 2005 (UTC)
460:Any relationship to "JISM"?
4077:09:45, 3 November 2017 (UTC)
4029:16:57, 29 October 2019 (UTC)
3887:10:43, 13 January 2014 (UTC)
3871:10:07, 13 January 2014 (UTC)
3687:05:59, 18 January 2011 (UTC)
3487:we may deduce by conversion
2872:13:16, 27 October 2012 (UTC)
2669:Some websites are non-useful
2652:22:35, 24 January 2007 (UTC)
2562:What is this an example of?
2428:Syllogism#Types of syllogism
2285:Ancheta, and other observers
1097:22:03, 5 February 2006 (UTC)
1084:18:28, 5 February 2006 (UTC)
1064:22:05, 5 February 2006 (UTC)
1038:18:36, 5 February 2006 (UTC)
1012:04:24, 5 February 2006 (UTC)
863:"i" = particular affirmative
840:19:58, 20 January 2006 (UTC)
788:18:54, 20 January 2006 (UTC)
773:19:04, 19 January 2006 (UTC)
757:18:13, 19 January 2006 (UTC)
744:18:00, 19 January 2006 (UTC)
732:17:56, 19 January 2006 (UTC)
700:18:58, 15 January 2006 (UTC)
686:18:41, 17 January 2006 (UTC)
625:Men die. (general principle)
492:21:04, 14 January 2008 (UTC)
451:17:07, 30 January 2008 (UTC)
414:Looking for Something about
374:10:34, 17 January 2022 (UTC)
4275:) 18:53, 31 May 2017 (UTC)
4211:08:57, 11 August 2022 (UTC)
4015:old, broken link, new one:
3993:13:26, 31 August 2016 (UTC)
3820:10:29, 2 January 2014 (UTC)
2698:16:09, 14 August 2008 (UTC)
2541:Elementary Lessons in Logic
2527:, I affirm, and E and O in
1987:There should be an article
1496:After double edit conflict:
997:14:32, 25 August 2008 (UTC)
866:"o" = "particular negative"
558:13:20, 31 August 2016 (UTC)
508:16:26, 25 August 2007 (UTC)
476:23:42, 1 October 2007 (UTC)
4680:
4654:Start-Class logic articles
4614:Start-Class vital articles
4556:00:37, 4 August 2020 (UTC)
3656:08:03, 8 August 2010 (UTC)
3591:17:42, 11 March 2010 (UTC)
3537:12:09, 23 March 2009 (UTC)
3373:12:00, 23 March 2009 (UTC)
3359:10:04, 23 March 2009 (UTC)
3340:09:41, 23 March 2009 (UTC)
3295:11:17, 10 March 2009 (UTC)
3145:in sylogism entails (ii)
3103:in sylogism entails (ii)
2856:21:30, 27 April 2008 (UTC)
2680:11:38, 22 April 2007 (UTC)
2510:19:01, 7 August 2006 (UTC)
2457:12:37, 7 August 2006 (UTC)
2417:13:38, 13 March 2006 (UTC)
2389:10:03, 13 March 2006 (UTC)
2049:As per by latest statement
1714:constructive about this.
1027:2. Aristotelian logic, and
160:project's importance scale
4664:Logic task force articles
4311:00:23, 30 July 2017 (UTC)
3709:A(1) < B(2) C(3) : -->
3693:What syllogisms are about
3631:16:37, 7 March 2017 (UTC)
3315:00:46, 6 March 2009 (UTC)
3268:13:23, 9 March 2009 (UTC)
3246:18:47, 7 March 2009 (UTC)
3201:01:10, 7 March 2009 (UTC)
3183:00:44, 7 March 2009 (UTC)
3124:23:03, 6 March 2009 (UTC)
3080:20:29, 6 March 2009 (UTC)
3009:This-thing-here is a man.
2986:14:51, 6 March 2009 (UTC)
2961:14:42, 6 March 2009 (UTC)
2929:20:58, 5 March 2009 (UTC)
2758:18:52, 5 March 2009 (UTC)
2739:00:11, 5 March 2009 (UTC)
2724:16:03, 4 March 2009 (UTC)
2340:22:09, 9 March 2006 (UTC)
2310:18:29, 9 March 2006 (UTC)
2236:16:45, 9 March 2006 (UTC)
2218:16:19, 9 March 2006 (UTC)
2198:16:19, 9 March 2006 (UTC)
2180:16:11, 9 March 2006 (UTC)
2164:15:52, 9 March 2006 (UTC)
2153:15:34, 9 March 2006 (UTC)
2120:15:34, 9 March 2006 (UTC)
2110:15:28, 9 March 2006 (UTC)
2080:14:52, 9 March 2006 (UTC)
2059:14:46, 9 March 2006 (UTC)
2044:11:53, 9 March 2006 (UTC)
2022:11:53, 9 March 2006 (UTC)
1956:10:27, 9 March 2006 (UTC)
1946:09:26, 9 March 2006 (UTC)
1910:14:43, 9 March 2006 (UTC)
1892:09:26, 9 March 2006 (UTC)
1874:02:45, 9 March 2006 (UTC)
1847:02:36, 9 March 2006 (UTC)
1832:00:38, 9 March 2006 (UTC)
1820:21:55, 8 March 2006 (UTC)
1798:13:56, 8 March 2006 (UTC)
1780:13:42, 8 March 2006 (UTC)
1719:08:54, 9 March 2006 (UTC)
1697:13:29, 8 March 2006 (UTC)
1678:13:57, 7 March 2006 (UTC)
1661:13:38, 7 March 2006 (UTC)
1647:12:30, 7 March 2006 (UTC)
1626:
1619:02:27, 8 March 2006 (UTC)
1602:23:12, 6 March 2006 (UTC)
1589:23:09, 6 March 2006 (UTC)
1572:23:04, 6 March 2006 (UTC)
1552:23:11, 6 March 2006 (UTC)
1539:22:58, 6 March 2006 (UTC)
1523:22:56, 6 March 2006 (UTC)
1488:23:04, 6 March 2006 (UTC)
1457:22:38, 6 March 2006 (UTC)
1445:22:17, 6 March 2006 (UTC)
1423:04:27, 8 March 2006 (UTC)
1355:02:51, 8 March 2006 (UTC)
1326:02:13, 8 March 2006 (UTC)
1312:19:38, 6 March 2006 (UTC)
1293:19:33, 6 March 2006 (UTC)
1275:19:29, 6 March 2006 (UTC)
1246:19:26, 6 March 2006 (UTC)
1234:19:08, 6 March 2006 (UTC)
1202:14:47, 6 March 2006 (UTC)
1151:11:20, 6 March 2006 (UTC)
857:"a" = universal affirmati
389:22:53, Sep 3, 2004 (UTC)
195:
166:
153:
84:
57:
4393:S:Greeks M:Men P:mortal
4285:18:53, 31 May 2017 (UTC)
4174:15:51, 20 May 2019 (UTC)
4059:16:49, 16 May 2017 (UTC)
4044:17:09, 14 May 2017 (UTC)
3925:21:50, 22 May 2016 (UTC)
3569:16:31, 18 May 2009 (UTC)
2821:16:18, 13 May 2007 (UTC)
2782:17:58, 25 May 2008 (UTC)
860:"e" = universal negative
811:20:54, 15 May 2006 (UTC)
644:Socrates will die -: -->
410:15:07, 2 Mar 2005 (UTC)
3705:A Conclusion C : -->
3518:being "stronger" than
3141:the reason is that (i)
2788:Datisi type explanation
2422:Types of ... Gibberish?
1258:article at his request)
498:A Philosopher Professor
171:Associated task forces:
4353:BeA, AiB <=: -->
3977:
3475:*SoP : Some S is not P
3455:
3283:
2772:Ok, it was corrected!
2546:
2537:William Stanley Jevons
2138:
1418:Knowledge (XXG) is. --
904:conversio per accidens
722:19 January 2006 (UTC)
312:] The anchor (Types)
274:Lowercase sigmabot III
192:
115:WikiProject Philosophy
4585:is a man. Therefore
3978:
3789:Help with a syllogism
3491:PoM : Some P is not M
3392:All birds are winged.
3383:
3377:see the following at
3278:
2466:Introduction to Logic
2361:Merge/rewrite project
2129:
2015:Plural quantification
748:So that explains why
352:. Student editor(s):
191:
43:on Knowledge (XXG)'s
36:level-5 vital article
3952:
1803:I've just seen that
1595:a published source.
1508:what's now in place?
1092:sure thing, sorry.
1030:3. Syllogistic logic
653:have finite lifespan
439:square of opposition
416:Square of opposition
4277:Apollo The Logician
4269:Apollo The Logician
2552:Alternative syllogy
2430:until the start of
2115:exclusions. e.g."
2007:Philosophical logic
1978:Posterior Analytics
1967:User:Dbuckner/logic
691:Made some additions
140:Philosophy articles
3973:
3542:Existential import
2883:appropriate edit.
2615:term and B is the
2139:
2013:for example, plus
2003:Mathematical logic
1989:Aristotelian Logic
350:on the course page
193:
125:general discussion
45:content assessment
4554:
4542:v:Talk:Syllogisms
4534:
4533:
4313:
4301:comment added by
4290:Stoic syllogistic
4260:
4259:
4249:
4109:
4096:comment added by
3389:No dog is a bird.
3357:
3320:Fallacious Fesapo
2330:<shrug...: -->
2326:
2325:• 2006-03-9 19:29
1996:Traditional logic
1937:
1768:
1754:comment added by
1472:
1471:• 2006-03-6 22:46
1073:Excessive subtext
900:conversio simplex
613:
600:comment added by
478:
466:comment added by
328:
327:
303:in most browsers.
281:
280:
246:
245:
214:
213:
210:
209:
206:
205:
202:
201:
107:Philosophy portal
4671:
4548:
4325:
4256:
4255:
4246:
4233:
4232:
4226:
3982:
3980:
3979:
3974:
3472:MaS : All M is S
3447:Some S are not P
3353:
2544:
2409:
2404:
2399:
2385:
2322:
2317:
2264:
1933:
1816:
1767:
1748:
1627:What's happened?
1568:
1519:
1505:History pf logic
1484:
1468:
1463:
1441:
1124:
461:
376:
347:
346:10 December 2021
343:
339:
322:Reporting errors
314:has been deleted
290:
289:
283:
276:
260:
237:
236:
226:
218:
178:
168:
142:
141:
138:
135:
132:
109:
104:
103:
102:
93:
86:
85:
80:
77:
66:
59:
42:
33:
32:
25:
24:
16:
4679:
4678:
4674:
4673:
4672:
4670:
4669:
4668:
4604:
4603:
4564:
4527:
4518:
4512:
4503:
4497:
4490:
4487:
4484:
4481:
4475:
4472:
4469:
4466:
4463:
4459:
4456:
4453:
4450:
4447:
4444:
4441:
4434:
4431:
4428:
4425:
4422:
4416:
4413:
4410:
4407:
4400:
4397:
4394:
4391:
4388:
4385:
4376:
4369:
4355:
4341:
4338:
4335:
4319:
4292:
4265:
4253:
4230:
4000:
3950:
3949:
3946:
3912:
3846:It should read:
3838:Ex: Sx & Px
3834:Ex: Sx & Mx
3832:Ex: Mx & Px
3828:
3791:
3745:
3739:
3736:
3722:
3715:
3712:
3710:A(1) C(3) : -->
3707:
3695:
3663:
3638:
3603:Wiki Dictionary
3599:
3597:Not for nothing
3544:
3483:PeM : No P is M
3469:PeM : No P is M
3351:Charles Stewart
3328:
3322:
3302:
2963:Eg starting by:
2880:
2843:
2835:correspond with
2831:
2805:
2790:
2765:
2594:
2560:
2554:
2545:
2535:
2424:
2408:Knowledge (XXG)
2407:
2402:
2397:
2383:
2363:
2324:
2320:
2262:
2246:
2051:
1922:
1814:
1749:
1733:
1629:
1566:
1517:
1482:
1470:
1466:
1439:
1430:
1212:
1130:
1114:
1113:)wishelephant
1075:
1035:Charles Stewart
1004:
985:Prior Analytics
886:" ("I deny").
848:Prior Analytics
770:Charles Stewart
741:Charles Stewart
707:
693:
619:
500:
458:
419:
398:Talk:Term logic
382:
359:
333:
324:
306:
305:
304:
287:
272:
261:
255:
231:
176:
156:High-importance
139:
136:
133:
130:
129:
105:
100:
98:
79:High‑importance
78:
72:
40:
30:
12:
11:
5:
4677:
4675:
4667:
4666:
4661:
4656:
4651:
4646:
4641:
4636:
4631:
4626:
4621:
4616:
4606:
4605:
4602:
4601:
4563:
4560:
4559:
4558:
4532:
4531:
4525:
4516:
4510:
4501:
4494:
4488:
4485:
4482:
4479:
4473:
4470:
4467:
4464:
4460:
4457:
4454:
4451:
4448:
4445:
4442:
4439:
4436:
4432:
4429:
4426:
4423:
4420:
4414:
4411:
4408:
4405:
4402:
4398:
4395:
4392:
4389:
4386:
4384:- - - - -
4383:
4373:
4367:
4351:
4339:
4336:
4333:
4330:
4329:
4318:
4315:
4295:syllogistic?
4291:
4288:
4264:
4261:
4258:
4257:
4250:
4245:
4242:edit conflicts
4240:. To prevent
4234:
4224:
4223:
4222:
4221:
4220:
4219:
4218:
4217:
4216:
4215:
4214:
4213:
4185:
4184:
4183:
4182:
4181:
4180:
4179:
4178:
4177:
4176:
4150:
4149:
4148:
4147:
4146:
4145:
4144:
4143:
4115:
4114:
4113:
4112:
4111:
4110:
4082:
4081:
4080:
4079:
4062:
4061:
3999:
3996:
3972:
3969:
3966:
3963:
3960:
3957:
3945:
3942:
3911:
3908:
3907:
3906:
3890:
3889:
3859:
3858:
3856:Ax: Sx --: -->
3855:
3853:
3851:Ax: Sx --: -->
3850:
3848:Ax: Mx --: -->
3847:
3840:
3839:
3837:
3835:
3833:
3831:
3827:
3824:
3823:
3822:
3802:
3801:
3798:
3795:
3790:
3787:
3743:
3737:
3735:
3732:
3730:
3720:
3717:
3713:
3708:
3703:
3694:
3691:
3662:
3659:
3648:Broadcaster101
3637:
3634:
3598:
3595:
3594:
3593:
3579:P. F. Strawson
3554:
3552:
3550:
3543:
3540:
3526:
3524:
3523:
3516:
3515:
3508:
3507:
3504:
3501:
3495:
3493:
3492:
3485:
3484:
3477:
3476:
3473:
3470:
3463:
3462:
3459:
3451:
3449:
3448:
3444:
3443:
3439:
3438:
3435:
3428:
3426:
3425:
3421:
3420:
3413:
3412:
3406:
3404:
3403:
3399:
3398:
3394:
3393:
3390:
3382:
3381:
3375:
3361:
3326:
3321:
3318:
3301:
3298:
3255:
3254:
3253:
3111:
3110:
3109:
3096:
3095:
2975:
2973:
2971:
2969:
2966:
2965:
2964:
2949:
2948:
2945:
2943:
2942:
2879:
2876:
2875:
2874:
2842:
2839:
2830:
2827:
2826:
2825:
2824:
2823:
2803:
2789:
2786:
2785:
2784:
2764:
2761:
2742:
2741:
2674:
2673:
2670:
2667:
2662:of the major:
2660:contraposition
2649:212.248.167.53
2644:
2643:
2642:
2641:
2638:
2635:
2608:
2593:
2590:
2589:
2588:
2587:
2586:
2585:
2584:
2558:
2553:
2550:
2533:
2515:
2514:
2513:
2512:
2501:
2498:
2497:
2496:
2450:
2449:
2445:
2444:
2423:
2420:
2398:Patrolling the
2375:Mediæval logic
2362:
2359:
2343:
2342:
2328:
2327:
2318:
2299:
2298:
2294:
2290:
2289:
2286:
2282:
2281:
2273:
2269:
2268:
2254:
2245:
2242:
2241:
2240:
2239:
2238:
2225:
2224:
2223:
2222:
2221:
2220:
2205:
2204:
2203:
2202:
2201:
2200:
2185:
2184:
2183:
2182:
2167:
2166:
2141:
2140:
2083:
2082:
2050:
2047:
1959:
1958:
1921:
1918:
1917:
1916:
1915:
1914:
1913:
1912:
1897:
1896:
1895:
1894:
1881:
1880:
1879:
1878:
1877:
1876:
1852:
1851:
1850:
1849:
1835:
1834:
1823:
1822:
1783:
1782:
1732:
1729:
1728:
1727:
1726:
1725:
1724:
1723:
1722:
1721:
1704:
1703:
1702:
1701:
1700:
1699:
1683:
1682:
1681:
1680:
1664:
1663:
1628:
1625:
1624:
1623:
1622:
1621:
1605:
1604:
1575:
1574:
1557:
1556:
1555:
1554:
1528:
1527:
1526:
1525:
1509:
1497:
1491:
1490:
1464:
1460:
1459:
1429:
1426:
1415:
1414:
1413:
1412:
1389:
1388:
1387:
1378:
1377:
1376:
1367:
1366:
1365:
1357:
1347:
1346:
1345:
1344:
1343:
1339:
1336:
1315:
1314:
1302:
1278:
1277:
1263:
1262:
1259:
1254:
1253:
1249:
1248:
1211:
1210:Personal essay
1208:
1207:
1206:
1205:
1204:
1190:
1189:
1185:
1184:
1176:
1175:
1168:
1167:
1145:
1129:
1126:
1119:comment added
1102:
1101:
1100:
1099:
1087:
1086:
1074:
1071:
1070:
1069:
1068:
1067:
1055:
1054:
1053:
1050:
1047:
1031:
1028:
1025:
1022:
1019:
1003:
1000:
970:
969:
965:
964:
953:ontradictionem
944:
943:
929:
895:
892:
889:
869:
868:
867:
864:
861:
858:
843:
833:
832:
829:
826:
815:
814:
813:
795:
794:
793:
792:
791:
790:
762:
761:
760:
759:
735:
734:
706:
703:
692:
689:
679:
678:
659:
658:
656:men die -: -->
654:
650:
646:
642:
640:men die -: -->
633:
632:
629:
626:
618:
617:men (will) die
615:
592:
578:
577:
576:
575:
574:
573:
565:
564:
563:
562:
561:
560:
532:
531:
530:
529:
528:
527:
520:81.178.147.159
499:
496:
495:
494:
457:
454:
435:contradictions
418:
412:
381:
378:
342:23 August 2021
332:
329:
326:
325:
319:
318:
317:
301:case-sensitive
295:
294:
293:
291:
279:
278:
266:
263:
262:
257:
253:
251:
248:
247:
244:
243:
233:
232:
227:
221:
212:
211:
208:
207:
204:
203:
200:
199:
194:
184:
183:
181:
179:
173:
172:
164:
163:
152:
146:
145:
143:
111:
110:
94:
82:
81:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
4676:
4665:
4662:
4660:
4657:
4655:
4652:
4650:
4647:
4645:
4642:
4640:
4637:
4635:
4632:
4630:
4627:
4625:
4622:
4620:
4617:
4615:
4612:
4611:
4609:
4600:
4596:
4592:
4589:is mortal.")
4588:
4584:
4580:
4579:
4578:
4577:
4573:
4569:
4561:
4557:
4552:
4547:
4544:for context.
4543:
4539:
4538:
4537:
4530:
4524:
4521:
4515:
4509:
4506:
4500:
4493:
4478:
4438:
4419:
4404:
4382:
4379:
4372:
4366:
4363:
4359:
4350:
4347:
4344:
4332:
4331:
4327:
4326:
4323:
4316:
4314:
4312:
4308:
4304:
4303:106.69.175.42
4300:
4289:
4287:
4286:
4282:
4278:
4274:
4270:
4262:
4251:
4243:
4239:
4235:
4228:
4227:
4212:
4208:
4204:
4200:
4197:
4196:
4195:
4194:
4193:
4192:
4191:
4190:
4189:
4188:
4187:
4186:
4175:
4171:
4167:
4164:
4160:
4159:
4158:
4157:
4156:
4155:
4154:
4153:
4152:
4151:
4142:
4138:
4134:
4131:
4127:
4126:strenge Logik
4123:
4122:
4121:
4120:
4119:
4118:
4117:
4116:
4107:
4103:
4099:
4095:
4088:
4087:
4086:
4085:
4084:
4083:
4078:
4074:
4070:
4066:
4065:
4064:
4063:
4060:
4056:
4052:
4048:
4047:
4046:
4045:
4041:
4037:
4032:
4030:
4026:
4022:
4018:
4014:
4013:
4007:
4003:
3997:
3995:
3994:
3990:
3986:
3967:
3961:
3958:
3943:
3941:
3940:
3936:
3932:
3927:
3926:
3922:
3918:
3909:
3905:
3901:
3897:
3892:
3891:
3888:
3884:
3880:
3879:Vaughan Pratt
3875:
3874:
3873:
3872:
3868:
3864:
3860:
3844:
3841:
3825:
3821:
3817:
3813:
3809:
3808:
3807:
3806:
3799:
3796:
3793:
3792:
3788:
3786:
3785:
3781:
3777:
3772:
3771:
3767:
3763:
3758:
3757:
3753:
3749:
3742:
3733:
3731:
3728:
3725:
3719:
3718:Notice also:
3702:
3692:
3690:
3688:
3684:
3680:
3679:180.183.8.220
3675:
3673:
3667:
3660:
3658:
3657:
3653:
3649:
3645:
3642:
3635:
3633:
3632:
3628:
3624:
3619:
3618:
3614:
3610:
3606:
3604:
3596:
3592:
3588:
3584:
3580:
3576:
3573:
3572:
3571:
3570:
3566:
3562:
3558:
3547:
3541:
3539:
3538:
3534:
3530:
3521:
3520:
3519:
3513:
3512:
3511:
3505:
3502:
3499:
3498:
3497:
3490:
3489:
3488:
3482:
3481:
3480:
3474:
3471:
3468:
3467:
3466:
3465:The form is
3461:-------------
3460:
3458:-------------
3457:
3456:
3454:
3446:
3445:
3441:
3440:
3436:
3433:
3432:
3431:
3423:
3422:
3418:
3417:
3416:
3410:
3409:
3408:
3401:
3400:
3396:
3395:
3391:
3388:
3387:
3386:
3379:
3376:
3374:
3370:
3366:
3362:
3360:
3356:
3352:
3348:
3344:
3343:
3342:
3341:
3337:
3333:
3325:
3319:
3317:
3316:
3312:
3308:
3299:
3297:
3296:
3292:
3288:
3282:
3277:
3275:
3272:This article
3270:
3269:
3265:
3261:
3250:
3249:
3248:
3247:
3243:
3239:
3233:
3229:
3225:
3223:
3218:
3215:
3211:
3207:
3203:
3202:
3198:
3194:
3190:
3185:
3184:
3180:
3176:
3171:
3168:
3165:
3161:
3160:
3155:
3152:
3151:
3146:
3142:
3137:
3134:
3130:
3126:
3125:
3121:
3117:
3106:
3102:
3097:
3093:
3089:
3084:
3083:
3082:
3081:
3077:
3073:
3069:
3066:
3063:
3062:
3058:
3055:
3052:
3049:
3048:
3044:
3041:
3039:
3034:
3031:
3027:
3023:
3022:
3018:
3015:
3012:
3010:
3004:
3002:
2998:
2995:
2993:
2988:
2987:
2983:
2979:
2962:
2958:
2954:
2940:
2937:
2933:
2932:
2931:
2930:
2926:
2922:
2918:
2915:
2912:
2908:
2905:
2902:
2901:
2896:
2893:
2890:
2887:
2884:
2877:
2873:
2869:
2865:
2860:
2859:
2858:
2857:
2853:
2849:
2840:
2838:
2836:
2828:
2822:
2819:
2815:
2814:
2813:
2812:
2811:
2808:
2802:
2799:
2796:
2793:
2787:
2783:
2779:
2775:
2771:
2770:
2769:
2762:
2760:
2759:
2755:
2751:
2746:
2740:
2736:
2732:
2728:
2727:
2726:
2725:
2721:
2717:
2711:
2707:
2706:
2700:
2699:
2695:
2691:
2686:
2682:
2681:
2678:
2671:
2668:
2665:
2664:
2663:
2661:
2655:
2653:
2650:
2639:
2636:
2633:
2632:
2630:
2629:
2628:
2625:
2621:
2618:
2614:
2607:
2603:
2600:
2597:
2591:
2582:
2579:
2575:
2574:
2573:
2572:
2571:
2570:
2569:
2568:
2565:
2557:
2551:
2549:
2543:, Lesson VIII
2542:
2538:
2532:
2530:
2526:
2519:
2511:
2508:
2505:
2502:
2499:
2494:
2493:
2488:
2487:
2482:
2481:
2476:
2475:
2470:
2469:
2467:
2463:
2462:
2461:
2460:
2459:
2458:
2455:
2447:
2446:
2441:
2440:
2439:
2437:
2436:plain english
2433:
2429:
2421:
2419:
2418:
2414:
2410:
2405:
2400:
2394:
2391:
2390:
2386:
2380:
2376:
2372:
2368:
2360:
2358:
2357:
2353:
2349:
2341:
2338:
2334:
2333:
2332:
2323:
2314:
2313:
2312:
2311:
2308:
2307:
2306:
2295:
2292:
2291:
2287:
2284:
2283:
2278:
2274:
2271:
2270:
2265:
2259:
2255:
2253:Dbuckner, Mel
2252:
2251:
2250:
2243:
2237:
2234:
2229:
2228:
2227:
2226:
2219:
2216:
2211:
2210:
2209:
2208:
2207:
2206:
2199:
2196:
2191:
2190:
2189:
2188:
2187:
2186:
2181:
2178:
2176:
2171:
2170:
2169:
2168:
2165:
2162:
2157:
2156:
2155:
2154:
2151:
2146:
2136:
2132:
2128:
2124:
2123:
2122:
2121:
2118:
2112:
2111:
2108:
2102:
2098:
2094:
2090:
2086:
2081:
2078:
2074:
2073:
2072:
2068:
2065:
2061:
2060:
2057:
2048:
2046:
2045:
2042:
2038:
2033:
2029:
2024:
2023:
2020:
2016:
2012:
2008:
2004:
1999:
1997:
1992:
1990:
1985:
1983:
1979:
1975:
1970:
1968:
1964:
1957:
1954:
1950:
1949:
1948:
1947:
1944:
1939:
1936:
1929:
1925:
1919:
1911:
1908:
1903:
1902:
1901:
1900:
1899:
1898:
1893:
1890:
1885:
1884:
1883:
1882:
1875:
1872:
1867:
1863:
1858:
1857:
1856:
1855:
1854:
1853:
1848:
1845:
1843:
1839:
1838:
1837:
1836:
1833:
1830:
1825:
1824:
1821:
1817:
1811:
1806:
1805:User:Twrigley
1802:
1801:
1800:
1799:
1796:
1795:
1794:
1787:
1781:
1778:
1776:
1771:
1770:
1769:
1765:
1761:
1757:
1753:
1744:
1740:
1738:
1730:
1720:
1717:
1712:
1711:
1710:
1709:
1708:
1707:
1706:
1705:
1698:
1695:
1693:
1689:
1688:
1687:
1686:
1685:
1684:
1679:
1676:
1672:
1668:
1667:
1666:
1665:
1662:
1659:
1655:
1651:
1650:
1649:
1648:
1645:
1641:
1636:
1634:
1632:
1620:
1617:
1614:into this. --
1612:
1609:
1608:
1607:
1606:
1603:
1600:
1598:
1593:
1592:
1591:
1590:
1587:
1586:
1585:
1579:
1573:
1569:
1563:
1559:
1558:
1553:
1550:
1545:
1544:
1543:
1542:
1541:
1540:
1537:
1536:
1535:
1524:
1520:
1514:
1510:
1506:
1502:
1498:
1495:
1494:
1493:
1492:
1489:
1485:
1479:
1475:
1474:
1473:
1469:
1458:
1455:
1453:
1449:
1448:
1447:
1446:
1442:
1436:
1427:
1425:
1424:
1421:
1410:
1406:
1402:
1398:
1394:
1390:
1385:
1384:
1382:
1379:
1374:
1373:
1371:
1368:
1363:
1362:
1361:
1360:
1358:
1356:
1353:
1348:
1340:
1337:
1334:
1333:
1332:
1331:
1330:
1329:
1328:
1327:
1324:
1319:
1313:
1310:
1308:
1303:
1300:
1297:
1296:
1295:
1294:
1291:
1290:
1289:
1282:
1276:
1273:
1272:
1271:
1265:
1264:
1260:
1256:
1255:
1251:
1250:
1247:
1244:
1242:
1238:
1237:
1236:
1235:
1232:
1230:
1226:
1222:
1218:
1209:
1203:
1200:
1199:
1198:
1192:
1191:
1187:
1186:
1182:
1178:
1177:
1173:
1172:
1170:
1169:
1164:
1160:
1155:
1154:
1153:
1152:
1149:
1143:
1139:
1136:
1133:
1127:
1125:
1122:
1118:
1112:
1108:
1098:
1095:
1091:
1090:
1089:
1088:
1085:
1082:
1077:
1076:
1072:
1066:
1065:
1062:
1056:
1051:
1048:
1045:
1044:
1041:
1040:
1039:
1036:
1032:
1029:
1026:
1024:1. Term logic
1023:
1020:
1016:
1015:
1014:
1013:
1010:
1001:
999:
998:
994:
990:
986:
981:
980:, pp. 21-25.
977:
972:
968:
961:
958:
957:
956:
954:
952:
941:
937:
933:
930:
927:
923:
919:
915:
911:
908:
907:
905:
901:
896:
893:
890:
887:
885:
881:
877:
873:
865:
862:
859:
856:
855:
853:
852:
851:
849:
842:
841:
838:
830:
827:
824:
823:
822:
820:
812:
809:
805:
801:
797:
796:
789:
786:
781:
780:
779:
778:
777:
776:
775:
774:
771:
767:
758:
755:
751:
747:
746:
745:
742:
737:
736:
733:
730:
725:
724:
723:
720:
717:
715:
710:
704:
702:
701:
698:
690:
688:
687:
684:
677:
674:
670:
669:
668:
667:
664:
655:
651:
647:
643:
639:
638:
637:
630:
627:
624:
623:
622:
616:
614:
611:
607:
603:
602:The ken evans
599:
590:
587:
584:
581:
571:
570:
569:
568:
567:
566:
559:
555:
551:
546:
542:
538:
537:
536:
535:
534:
533:
525:
521:
516:
515:
514:
513:
512:
511:
510:
509:
506:
497:
493:
489:
485:
481:
480:
479:
477:
473:
469:
465:
455:
453:
452:
448:
444:
440:
436:
432:
431:subcontraries
428:
424:
417:
413:
411:
409:
406:
402:
399:
395:
390:
388:
379:
377:
375:
371:
367:
363:
357:
355:
351:
338:
330:
323:
315:
311:
310:
309:
302:
298:
292:
285:
284:
275:
270:
265:
264:
250:
249:
242:
239:
238:
235:
234:
230:
225:
220:
219:
216:
198:
190:
186:
185:
182:
180:
175:
174:
169:
165:
161:
157:
151:
148:
147:
144:
127:
126:
121:
117:
116:
108:
97:
95:
92:
88:
87:
83:
76:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
4586:
4582:
4568:80.147.11.76
4565:
4535:
4528:
4522:
4519:
4513:
4507:
4504:
4498:
4491:
4476:
4435:
4417:
4401:
4380:
4377:
4370:
4364:
4360:
4356:
4348:
4345:
4342:
4320:
4297:— Preceding
4293:
4266:
4092:— Preceding
4033:
4010:
4008:
4004:
4001:
3947:
3928:
3913:
3861:
3845:
3842:
3829:
3803:
3773:
3762:87.67.28.178
3759:
3746:
3740:
3734:Just for fun
3729:
3726:
3723:
3716:
3696:
3676:
3668:
3664:
3646:
3643:
3639:
3620:
3607:
3600:
3574:
3561:91.105.5.246
3556:
3548:
3545:
3525:
3517:
3509:
3494:
3486:
3478:
3464:
3450:
3427:
3414:
3405:
3384:
3350:
3329:
3323:
3303:
3284:
3279:
3271:
3256:
3234:
3230:
3226:
3221:
3219:
3216:
3212:
3208:
3204:
3188:
3186:
3172:
3169:
3166:
3162:
3158:
3156:
3153:
3148:
3147:Some S are P
3144:
3140:
3138:
3135:
3131:
3127:
3112:
3105:Some S are P
3104:
3100:
3091:
3087:
3070:
3067:
3064:
3060:
3059:
3056:
3053:
3050:
3046:
3045:
3042:
3037:
3035:
3032:
3028:
3024:
3020:
3019:
3016:
3013:
3008:
3005:
3000:
2999:
2996:
2991:
2989:
2967:
2935:
2919:
2916:
2913:
2909:
2906:
2903:
2898:
2897:
2894:
2891:
2888:
2885:
2881:
2844:
2832:
2809:
2806:
2800:
2797:
2794:
2791:
2766:
2747:
2743:
2712:
2708:
2703:
2701:
2687:
2683:
2675:
2656:
2645:
2626:
2622:
2616:
2612:
2609:
2604:
2601:
2598:
2595:
2561:
2555:
2547:
2540:
2528:
2524:
2521:
2516:
2491:
2490:
2485:
2484:
2479:
2478:
2473:
2472:
2465:
2451:
2425:
2403:ocean called
2395:
2392:
2364:
2344:
2337:Northmeister
2329:
2303:
2302:
2300:
2276:
2272:Northmeister
2261:
2257:
2247:
2233:Northmeister
2161:Northmeister
2142:
2113:
2103:
2099:
2095:
2091:
2087:
2084:
2077:Northmeister
2069:
2066:
2062:
2056:Northmeister
2052:
2025:
2000:
1993:
1986:
1972:The article
1971:
1960:
1940:
1930:
1926:
1923:
1907:Northmeister
1871:Northmeister
1866:welcome page
1829:Northmeister
1791:
1790:
1788:
1784:
1745:
1741:
1734:
1637:
1633:
1630:
1616:Northmeister
1582:
1581:
1580:
1576:
1532:
1531:
1529:
1501:this version
1461:
1431:
1420:Northmeister
1416:
1352:Northmeister
1323:Northmeister
1316:
1286:
1285:
1283:
1279:
1268:
1267:
1213:
1195:
1194:
1180:
1162:
1158:
1144:
1140:
1137:
1134:
1131:
1107:Wishelephant
1103:
1059:
1034:
1005:
1002:Major Change
989:128.194.75.5
984:
982:
973:
971:
966:
959:
950:
948:
945:
939:
935:
931:
925:
921:
917:
913:
909:
903:
899:
883:
879:
875:
871:
847:
844:
834:
816:
769:
763:
749:
740:
721:
718:
711:
708:
694:
680:
661:Comments? --
660:
649:die some day
634:
620:
596:— Preceding
591:
588:
585:
582:
579:
544:
540:
501:
484:129.93.16.77
468:68.96.213.27
459:
420:
391:
383:
358:
334:
307:
299:Anchors are
296:
268:
228:
215:
155:
123:
113:
51:WikiProjects
34:
4477:- - - - -
4009:Tutorial: (
3437:All M are S
3143:All S are P
3101:All S are P
2936:categorical
2848:86.50.9.167
2647:speaking.
2504:Paul August
2483:rmo" and "n
2373:or even to
1953:Ancheta Wis
1862:the sandbox
1750:—Preceding
1658:Ancheta Wis
1549:Ancheta Wis
1393:Ancheta_Wis
1115:—Preceding
754:Ancheta Wis
729:Ancheta Wis
462:—Preceding
41:Start-class
4608:Categories
4418:- - - - -
4403:- - - - -
3863:EelkeSpaak
3812:Alextoader
3748:Genezistan
3238:Gnu Ordure
3220:You say :
3193:Gnu Ordure
3175:Gnu Ordure
3157:You say :
3072:Gnu Ordure
2921:Gnu Ordure
2917:Cheers,
2750:Gnu Ordure
2716:Gnu Ordure
2384:Μελ Ετητης
2379:Mel Etitis
2371:Term logic
2293:SlimVirgin
2175:SlimVirgin
2145:Philosophy
2037:Philosophy
1920:Suggestion
1842:SlimVirgin
1815:Μελ Ετητης
1810:Mel Etitis
1775:SlimVirgin
1692:SlimVirgin
1671:Term logic
1654:term logic
1640:SlimVirgin
1597:SlimVirgin
1567:Μελ Ετητης
1562:Mel Etitis
1518:Μελ Ετητης
1513:Mel Etitis
1483:Μελ Ετητης
1478:Mel Etitis
1452:SlimVirgin
1440:Μελ Ετητης
1435:Mel Etitis
1307:SlimVirgin
1241:SlimVirgin
1229:SlimVirgin
1181:Term Logic
1081:Jon Awbrey
819:Term logic
804:Term logic
800:Term logic
652:die -: -->
648:die -: -->
427:subalterns
423:contraries
394:Term logic
392:Note that
387:saturnight
131:Philosophy
120:philosophy
70:Philosophy
4546:Watchduck
4203:123qweasd
4166:123qweasd
4133:123qweasd
4098:Skeptiker
4069:123qweasd
4051:123qweasd
4036:123qweasd
4021:123qweasd
3776:123qweasd
3609:Jbaker071
3583:Groomtech
3434:No P is M
3345:Yes. Cf.
2654:Estragon
2613:predicate
2548:Lestrade
2531:, I deny.
2135:lot of us
2032:Existence
2011:Existence
1405:Brian0918
1383:to read:
1342:violated.
1171:options:
910:Camestres
808:Gimmetrow
241:Archive 1
39:is rated
4587:Socrates
4583:Socrates
4299:unsigned
4238:archived
4106:contribs
4094:unsigned
3985:Dwheeler
3931:Dwheeler
3896:Dwheeler
3810:Thanks,
3623:Dwheeler
3380:para 5:-
3347:van Eick
3189:slightly
2690:Der lunz
2583:Lestrade
2578:Lestrade
2454:Ekaterin
2297:useless.
2215:Dbuckner
2195:Dbuckner
2150:Dbuckner
2131:Dbuckner
2117:Dbuckner
2107:Dbuckner
2041:Dbuckner
2019:Dbuckner
1943:Dbuckner
1889:Dbuckner
1764:contribs
1756:Twrigley
1752:unsigned
1731:Versions
1716:Dbuckner
1675:Dbuckner
1644:Dbuckner
1163:singular
1148:Dbuckner
932:Felapton
750:celarent
716:16:52,
697:Twrigley
610:contribs
598:unsigned
550:Dwheeler
464:unsigned
456:Question
380:Untitled
366:PrimeBOT
229:Archives
4002:Hello!
3714:A B C
3529:Philogo
3365:Philogo
3307:Mallerd
3287:Philogo
3260:Philogo
3116:Philogo
2978:Philogo
2953:Philogo
2864:bungalo
2818:Tevildo
2801:Datisi
2792:Hello,
2731:Philogo
2677:Tevildo
2617:subject
2564:惑乱 分からん
2525:affirmo
2348:Profhum
1982:Organon
1974:Organon
1428:Rewrite
1401:Mhss_en
1284:Thanks
1159:between
1128:oh dear
1117:undated
545:history
443:Asday85
354:Mdamord
269:90 days
158:on the
3917:Mp1233
3910:Thanks
3479:From
3355:(talk)
3332:JDCAce
2934:It is
2277:please
1935:(talk)
1397:Chalst
1223:, and
1217:WP:NOR
978:": -->
960:Baroco
673:MarSch
663:MarSch
505:Denito
433:, and
47:scale.
4551:quack
4354:BiA.
4248:time.
3877:Px.
3711:B(2)
2774:Cyb3r
2763:Frege
2258:crass
2028:Truth
1963:Logic
1225:WP:RS
197:Logic
75:Logic
28:This
4595:talk
4572:talk
4307:talk
4281:talk
4273:talk
4207:talk
4170:talk
4137:talk
4102:talk
4073:talk
4055:talk
4040:talk
4025:talk
3989:talk
3935:talk
3921:talk
3900:talk
3883:talk
3867:talk
3854:thus
3836:thus
3816:talk
3780:talk
3766:talk
3752:talk
3683:talk
3652:talk
3627:talk
3613:talk
3587:talk
3565:talk
3533:talk
3369:talk
3349:. —
3336:talk
3311:talk
3291:talk
3264:talk
3242:talk
3197:talk
3179:talk
3120:talk
3076:talk
2982:talk
2957:talk
2925:talk
2868:talk
2852:talk
2778:talk
2754:talk
2735:talk
2720:talk
2694:talk
2529:nego
2415:...
2367:here
2352:talk
2321:0918
1760:talk
1737:here
1467:0918
1372:to:
1221:WP:V
1111:talk
1033:---
993:talk
963:Bs".
949:per
606:talk
554:talk
524:talk
488:talk
472:talk
447:talk
405:mark
396:and
370:talk
344:and
297:Tip:
150:High
3581:?
2305:Ted
1793:Ted
1584:Ted
1534:Ted
1409:Ted
1288:Ted
1270:Ted
1197:Ted
1094:Ted
1061:Ted
1009:Ted
837:Ted
785:Ted
714:Kaz
683:Ted
364:by
4610::
4597:)
4574:)
4309:)
4283:)
4209:)
4201:--
4172:)
4139:)
4108:)
4104:•
4075:)
4057:)
4042:)
4034:--
4031:)
4027:)
4019:--
3991:)
3956:∃
3937:)
3923:)
3902:)
3885:)
3869:)
3857:Px
3852:Mx
3849:Px
3818:)
3782:)
3768:)
3754:)
3706:B
3689:)
3685:)
3674:)
3654:)
3629:)
3615:)
3605:?
3589:)
3567:)
3557:no
3535:)
3527:--
3371:)
3338:)
3313:)
3293:)
3285:--
3266:)
3244:)
3224:.
3199:)
3181:)
3122:)
3078:)
3003:.
2984:)
2976:--
2959:)
2951:--
2927:)
2870:)
2854:)
2780:)
2756:)
2737:)
2722:)
2696:)
2539:,
2534:—
2477:ff
2452:--
2387:)
2354:)
2054:--
1818:)
1766:)
1762:•
1635:]
1570:)
1521:)
1486:)
1443:)
1403:,
1399:,
1395:,
1227:.
1219:,
995:)
874:ff
727:--
612:)
608:•
556:)
541:do
490:)
474:)
449:)
429:,
425:,
403:—
372:)
356:.
177:/
73::
4593:(
4570:(
4553:)
4549:(
4305:(
4279:(
4271:(
4205:(
4168:(
4135:(
4100:(
4071:(
4053:(
4038:(
4023:(
3987:(
3971:)
3968:x
3965:(
3962:S
3959:x
3933:(
3919:(
3898:(
3881:(
3865:(
3814:(
3778:(
3764:(
3750:(
3681:(
3650:(
3625:(
3611:(
3585:(
3563:(
3531:(
3367:(
3334:(
3309:(
3289:(
3262:(
3240:(
3195:(
3177:(
3139:"
3118:(
3074:(
2980:(
2955:(
2923:(
2866:(
2850:(
2776:(
2752:(
2733:(
2718:(
2692:(
2507:☎
2492:O
2489:g
2486:E
2480:I
2474:A
2411:|
2381:(
2350:(
2137:.
1812:(
1758:(
1564:(
1515:(
1480:(
1437:(
1411:.
1123:.
1109:(
991:(
951:c
940:F
936:p
926:s
922:C
918:m
914:s
884:o
882:g
880:e
876:i
872:a
604:(
552:(
526:)
522:(
486:(
470:(
445:(
408:✎
368:(
316:.
162:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.