This document explains how to use Venn diagrams to determine the validity of categorical syllogisms. It discusses representing single statements and categorical syllogisms with overlapping rectangles. Areas are shaded or marked with X's to indicate universal or existential claims. The document also discusses how to modify this approach for the classical view of logic, which assumes the subject and predicate terms refer to existing objects. Examples are provided to illustrate representing syllogisms and determining their validity using Venn diagrams on both the modern and classical views of logic.
In each of the following exercises, assume only the Incidence, Betwee.pdfarpitcollections
In each of the following exercises, assume only the Incidence, Betweenness, and Plane
Separation Axioms. Let L, E, H-1, and H-2 be as in the statement of the Plane Separation Axiom.
Prove the following: a) H_1 and H_2 are disjoint. b) Neither of the sets Hi and H2 is empty.
Solution
The three primitive terms are point, line, and betweenness. These terms
are also called undefinedterms since we do not give a formal, mathematical definition for
them. One can only give informal, non-mathematical explanations for them.
In some sense, the meaning of these terms is not determined by definitions but instead on what
is expressed in the axioms.
Remark. On the other hand, when we study models we will interpret the primitive terms,
sometimes in unconventional ways. In this case, the primitive terms are in a sense defined,
but only for the particular model. The fact that the primitive terms have no official definition
opens the door to a variety of models.
Euclid’s approach has postulates of geometry and other assumptions called common notions.
In our current development postulates will be replaced by axioms, and the common
notions will be replaced by our collection of background tools of logic. These tools include
(i) propositional and predicate logic,
(ii) easy set theory including basics of functions and relations,
(iii) properties of equality, and
(iv) from time-to-time some number systems.
When we say equality we mean sameness, not congruence or “same size”. For example, when
the
objects are sets (such as line segments, circles, rays), equality will be set equality. Properties
of congruence and size will not be part of the background tools (although Euclid included
these in his common notions), instead they will be developed in these notes.
We begin with a really basic axiom that tells you something about the primitive terms.
Now coming back to our question we know that every Neutral Geometry contains at least one
line, l. The plane separation postulate says that the set of all points that do not lie
on l lie in one of two non-empty, disjoint half-planes H1 or H2. Thus, in order to get three
noncollinear points, we can take two points A, B l, and one point C which belongs to
either H1 or H2. Since C belongs to one of the two half-planes created by the line l, then we
know that C does not lie on l. Furthermore, since A and B lie on a unique line l, we know
that A, B, C are noncollinear..
A talk I gave at the Yonsei University, Seoul in July 21st, 2015.
The aim was to show my background contribution to the CORCON (Correctness by Construction) research project.
I have to thank Prof. Byunghan Kim and Dr Gyesik Lee for their kind hospitality.
Tim Maudlin: New Foundations for Physical GeometryArun Gupta
New Foundations for Physical Geometry
Original URL: http://www.unil.ch/webdav/site/philo/shared/summer_school_2013/NYU.ppt
Tim Maudlin
NYU
Physics & Philosophy of Time
July 25, 2013
The purpose of this communication is to generalize the theorem of Pythagoras using the corresponding area formulas for different geometric figures used in experience; the aim is to look at the possibility of Demosthenes this relationship using different geometric figures squared, showing how calculators can be used to explore the situation and give account of the difficulties that students with geometric concepts.
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...Levi Shapiro
Letter from the Congress of the United States regarding Anti-Semitism sent June 3rd to MIT President Sally Kornbluth, MIT Corp Chair, Mark Gorenberg
Dear Dr. Kornbluth and Mr. Gorenberg,
The US House of Representatives is deeply concerned by ongoing and pervasive acts of antisemitic
harassment and intimidation at the Massachusetts Institute of Technology (MIT). Failing to act decisively to ensure a safe learning environment for all students would be a grave dereliction of your responsibilities as President of MIT and Chair of the MIT Corporation.
This Congress will not stand idly by and allow an environment hostile to Jewish students to persist. The House believes that your institution is in violation of Title VI of the Civil Rights Act, and the inability or
unwillingness to rectify this violation through action requires accountability.
Postsecondary education is a unique opportunity for students to learn and have their ideas and beliefs challenged. However, universities receiving hundreds of millions of federal funds annually have denied
students that opportunity and have been hijacked to become venues for the promotion of terrorism, antisemitic harassment and intimidation, unlawful encampments, and in some cases, assaults and riots.
The House of Representatives will not countenance the use of federal funds to indoctrinate students into hateful, antisemitic, anti-American supporters of terrorism. Investigations into campus antisemitism by the Committee on Education and the Workforce and the Committee on Ways and Means have been expanded into a Congress-wide probe across all relevant jurisdictions to address this national crisis. The undersigned Committees will conduct oversight into the use of federal funds at MIT and its learning environment under authorities granted to each Committee.
• The Committee on Education and the Workforce has been investigating your institution since December 7, 2023. The Committee has broad jurisdiction over postsecondary education, including its compliance with Title VI of the Civil Rights Act, campus safety concerns over disruptions to the learning environment, and the awarding of federal student aid under the Higher Education Act.
• The Committee on Oversight and Accountability is investigating the sources of funding and other support flowing to groups espousing pro-Hamas propaganda and engaged in antisemitic harassment and intimidation of students. The Committee on Oversight and Accountability is the principal oversight committee of the US House of Representatives and has broad authority to investigate “any matter” at “any time” under House Rule X.
• The Committee on Ways and Means has been investigating several universities since November 15, 2023, when the Committee held a hearing entitled From Ivory Towers to Dark Corners: Investigating the Nexus Between Antisemitism, Tax-Exempt Universities, and Terror Financing. The Committee followed the hearing with letters to those institutions on January 10, 202
Unit 8 - Information and Communication Technology (Paper I).pdfThiyagu K
This slides describes the basic concepts of ICT, basics of Email, Emerging Technology and Digital Initiatives in Education. This presentations aligns with the UGC Paper I syllabus.
Welcome to TechSoup New Member Orientation and Q&A (May 2024).pdfTechSoup
In this webinar you will learn how your organization can access TechSoup's wide variety of product discount and donation programs. From hardware to software, we'll give you a tour of the tools available to help your nonprofit with productivity, collaboration, financial management, donor tracking, security, and more.
How to Make a Field invisible in Odoo 17Celine George
It is possible to hide or invisible some fields in odoo. Commonly using “invisible” attribute in the field definition to invisible the fields. This slide will show how to make a field invisible in odoo 17.
Honest Reviews of Tim Han LMA Course Program.pptxtimhan337
Personal development courses are widely available today, with each one promising life-changing outcomes. Tim Han’s Life Mastery Achievers (LMA) Course has drawn a lot of interest. In addition to offering my frank assessment of Success Insider’s LMA Course, this piece examines the course’s effects via a variety of Tim Han LMA course reviews and Success Insider comments.
Palestine last event orientationfvgnh .pptxRaedMohamed3
An EFL lesson about the current events in Palestine. It is intended to be for intermediate students who wish to increase their listening skills through a short lesson in power point.
Francesca Gottschalk - How can education support child empowerment.pptxEduSkills OECD
Francesca Gottschalk from the OECD’s Centre for Educational Research and Innovation presents at the Ask an Expert Webinar: How can education support child empowerment?
Operation “Blue Star” is the only event in the history of Independent India where the state went into war with its own people. Even after about 40 years it is not clear if it was culmination of states anger over people of the region, a political game of power or start of dictatorial chapter in the democratic setup.
The people of Punjab felt alienated from main stream due to denial of their just demands during a long democratic struggle since independence. As it happen all over the word, it led to militant struggle with great loss of lives of military, police and civilian personnel. Killing of Indira Gandhi and massacre of innocent Sikhs in Delhi and other India cities was also associated with this movement.
Synthetic Fiber Construction in lab .pptxPavel ( NSTU)
Synthetic fiber production is a fascinating and complex field that blends chemistry, engineering, and environmental science. By understanding these aspects, students can gain a comprehensive view of synthetic fiber production, its impact on society and the environment, and the potential for future innovations. Synthetic fibers play a crucial role in modern society, impacting various aspects of daily life, industry, and the environment. ynthetic fibers are integral to modern life, offering a range of benefits from cost-effectiveness and versatility to innovative applications and performance characteristics. While they pose environmental challenges, ongoing research and development aim to create more sustainable and eco-friendly alternatives. Understanding the importance of synthetic fibers helps in appreciating their role in the economy, industry, and daily life, while also emphasizing the need for sustainable practices and innovation.
Read| The latest issue of The Challenger is here! We are thrilled to announce that our school paper has qualified for the NATIONAL SCHOOLS PRESS CONFERENCE (NSPC) 2024. Thank you for your unwavering support and trust. Dive into the stories that made us stand out!
Embracing GenAI - A Strategic ImperativePeter Windle
Artificial Intelligence (AI) technologies such as Generative AI, Image Generators and Large Language Models have had a dramatic impact on teaching, learning and assessment over the past 18 months. The most immediate threat AI posed was to Academic Integrity with Higher Education Institutes (HEIs) focusing their efforts on combating the use of GenAI in assessment. Guidelines were developed for staff and students, policies put in place too. Innovative educators have forged paths in the use of Generative AI for teaching, learning and assessments leading to pockets of transformation springing up across HEIs, often with little or no top-down guidance, support or direction.
This Gasta posits a strategic approach to integrating AI into HEIs to prepare staff, students and the curriculum for an evolving world and workplace. We will highlight the advantages of working with these technologies beyond the realm of teaching, learning and assessment by considering prompt engineering skills, industry impact, curriculum changes, and the need for staff upskilling. In contrast, not engaging strategically with Generative AI poses risks, including falling behind peers, missed opportunities and failing to ensure our graduates remain employable. The rapid evolution of AI technologies necessitates a proactive and strategic approach if we are to remain relevant.
1. CHAPTER 10
VENN DIAGRAMS
INTRODUCTION
In the nineteenth-century, John Venn developed a technique for determining whether a categorical
syllogism is valid or invalid. Although the method he constructed relied on the modern interpretation of
universal statements, we can easily modify it for use on the older classical view of such statements.
In the present chapter we will begin by explaining the technique as Venn originally developed it.
Then later we will show you how to use it to determine validity on the older classical theory of categorical
syllogisms.
REPRESENTING CATEGORICAL SYLLOGISMS WITH VENN DIAGRAMS
S P
The two overlapping rectangles above should be construed as representing two sets. The one on the
left represents the set consisting in all of the S things there are in the universe; while the one on the right
represents all of the P things there are in the universe.
That part of the S rectangle which overlaps with the P rectangle represents those objects in the
universe that are members of both sets. That portion of the S rectangle that does not overlap with the P
rectangle represents all of the objects in the universe that are S but not P. While that portion of the P
rectangle that does not overlap with the S rectangle represents all of the things in the universe that are P but
not S.
SHADING
If we want to show that nothing is in a certain area we do this by shading that area. So, for example,
if we want to say there are no Ss that are not Ps, we shade the area of the S rectangle that does not overlap the
area of the P rectangle. We represent the claim that all Sare P in this way.
S P
All S are P.
2. On the other hand, if we want to represent the claim that no Ss are Ps, we can do this by shading the
area where the S rectangle and P rectangle overlap.
S P
No S are P.
Finally, if we want to show that all P are S, or, in other words, there are no Ps that are not also Ss, we
can shade the rightmost part of P.
S P
All P are S.
INDICATING THAT SOMETHING IS IN AN AREA
To show that something is in a certain area we place a capital X in that area. Thus, to say that there
is something that is a member of S, but not a member of P, we place an X in the section of the S rectangle that
does not overlap with the P rectangle.
S P
Some S are not P.
3. To say that something exists that belongs to both sets we place a capital X in the area where the two
rectangles overlap.
S P
Some S are P.
To represent that something is a member of P, but not of S, we place an X in the area of the P
rectangle that doesn't overlap the S rectangle.
S P
Some P are not S.
Finally, if we know that the S set has something in it, but we don't know whether that thing is or is
not also a member of P, we will place a lower case x in both sets and then connect them with a line. Thus, the
diagram below tells us that there is at least one member of S, but it does not tell us whether that thing is, or is
not, also a member of P.
S P
There are some S.
4. REPRESENTING CATEGORICAL SYLLOGISMS
So far we have been concerned with representing single statements in Venn diagrams. An argument,
however, is not one statement, and a categorical syllogism is a type of argument. More specifically, a
categorical syllogism is an argument that contains exactly two premises, both of which are categorical
statements. The problem is how do we use Venn diagrams to represent categorical syllogisms? And how do
we use them to decide whether such syllogisms are valid?
Perhaps the first thing to notice is that a categorical syllogism refers to three sets, rather than two.
So, instead of two overlapping rectangles we will need three such rectangles.
EXAMPLE 1
S I
C
All schools are educational institutions.
Some schools are colleges.
________
Some colleges are educational institutions.
To decide whether the argument above is valid or invalid we must begin by representing both of the
premises in the diagram. We represent the first premise by shading the area of schools that are not educational
institutions.
S I
C
All schools are educational institutions.
Some schools are colleges.
________
Some colleges are educational institutions.
Then we need to represent the second premise. This premise tells us that there is at least one school
that is also a college. To express this in the diagram, we need to place an x in those areas where schools and
colleges overlap. The only such area that has not been shaded, however, is the area where the three rectangles
5. overlap. So we know that something exists in this area. We must, therefore, place a capital X in this area and
our diagram will then look like this:
S I
C
All schools are educational institutions.
Some schools are colleges.
________
Some colleges are educational institutions.
All that remains is to evaluate whether the conclusion of the argument follows from its premises. If
it does the argument is valid; otherwise it is invalid. Clearly the argument in question is valid.
Let's try one more example.
EXAMPLE 2
S I
C
Some schools are educational institutions.
Some schools are colleges.
________
Some colleges are educational institutions.
To represent the first premise of this argument, we need to show that something is in the area of
schools that are educational institutions. In the diagram there are, however, two areas that represent schools
that are educational institutions and, unfortunately, the first premise doesn't tell us whether the schools that are
educational institutions are, or are not, colleges. So we need to place a lowercase x in both areas and draw a
line between them.
6. S I
C
Some schools are educational institutions.
Some schools are colleges.
________
Some colleges are educational institutions.
Clearly we have to represent the second premise in a similar way, except that we need to x-x the
areas where schools and colleges overlap. Once we have done this our diagram will look like this:
S I
C
Some schools are educational institutions.
Some schools are colleges.
________
Some colleges are educational institutions.
Evidently the conclusion of this argument does not follow from its premises since the conclusion
informs us that something is definitely in the area where colleges and educational institutions overlap but the
diagram doesn't show this.
USING VENN DIAGRAMS TO DETERMINE VALIDITY ON THE CLASSICAL
VIEW
To use Venn diagrams to determine validity onthe classical view we need to alter the above account.
Classical logic evidently assumes that in sentences which express universal categorical statements, both the
subject and predicate terms refer to existing objects. So on the classical view, the statement that all S are P
entails that there exists an S that is a P. While the statement that no S are P entails not only that there exists an
S that is not a P, but also that there exists a P that is not an S.
7. If we want to use Venn diagrams to determine validity on the classical view we need to add these
assumptions to the diagram. So if the statement is an A-statement, besides shading the area of S that is not P,
we must also add an X to the area where S and P overlap. Doing this, we obtain. . . .
S P
All S are P.
On the other hand, if we want to represent the statement that no S are P, besides shading the area
where the S and P rectangles overlap, we also need to place an X in the area of the S rectangle that is not in
the P rectangle, and in the area of the P rectangle that is not in the S rectangle. Doing this we get:
S P
No S are P.
Let's see how this will work with some actual syllogisms.
EXAMPLE 1
S I
C
All colleges are schools.
All schools are educational institutions.
________
Some colleges are educational institutions.
8. The easiest way to handle this is to begin by representing the premises in the same way we would if
we were adopting the modern perspective. Accordingly, we shade all of those areas of schools that are not
educational institutions and of colleges that are not schools. Thus, we will shade the diagram as suggested
below. (Notice that if this were the end of the matter we would have to evaluate the argument as invalid, since
the conclusion does not follow from the premises.)
S I
C
All colleges are schools.
All schools are educational institutions.
________
Some colleges are educational institutions.
However, we are not finished yet. We must now add the assumptions that the premises make about
the sets referred to in their subject terms. Here this means that we must place a capital X in the area that
represents colleges that are schools, since this is implied by the first premise.
S I
C
All colleges are schools.
All schools are educational institutions.
________
Some colleges are educational institutions.
Normally, we would also have to place lowercase x-x in the two areas where schools and educational
institutions overlap, since this is an assumption that the second premise commits us to. Here, however, since
the earlier premise already commits us not only to the existence of some colleges, but also to existence of
some schools, this is unnecessary.
Clearly, our diagram shows that the argument is valid on the classical view.
9. NOTE: Any argument that is valid on the modern view will also be valid on the classical view; and any
argument that is invalid on the classical view will also be invalid on the modern view. (The converses of
these principles are, however, not true.)
EXAMPLE 2
S I
B
All schools are educational institutions.
No schools are bars.
________
Some bars are not educational institutions.
As we suggested in the last example, we begin by representing the premises just as we would if we
were adopting the modern view of syllogisms. Doing this, we get. . . .
S I
B
All schools are educational institutions.
No schools are bars.
________
Some bars are not educational institutions.
Now, however, we need to add the additional assumptions that the classical view makes about the
premises. Since the first premise commits us to the existence of at least one school that is an educational
institution, we need to represent this by placing a capital X in the un-shaded area where schools and
educational institutions overlap.
10. S I
B
All schools are educational institutions.
No schools are bars.
________
Some bars are not educational institutions.
To represent the presuppositions that classical logic makes about the second premise we must also
add in our diagram that there exist some schools that are not bars and some bars that are not schools.
However, we have already represented the first of these assumptions in the diagram. So all we need to do
then is to represent the assumption that some bars exist that are not schools. We do this by x-ing the area of
bars that are educational institutions and the area of bars that are not educational institutions, and drawing a
line between them.
S I
B
All schools are educational institutions.
No schools are bars.
________
Some bars are not educational institutions.
Inspecting the diagram we have now completed, we see that the conclusion of the argument does not
follow from its premises. It is, therefore, invalid.
A WORD OF WARNING
All of this may seem clear enough, and so long as the things we are reasoning about exist, the
principles of classical logic are acceptable. When we begin reasoning about objects that don't exist, however,
problems arise. First, the principle that the contradictory of any A statement must have the opposite
truth-value of that statement does not work. Thus, suppose for example, the statement is that all unicorns are
beautiful animals. This statement is false on the classical view, because there are no unicorns; while the
contradictory, "Some unicorns are not beautiful animals," is also false for precisely the same reason.
Moreover, both the I-statement "Some unicorns are beautiful animals," and its contradictory "No unicorns are
11. beautiful animals," will be false for the same reason. Second, the principle that subcontraries cannot both be
false must also be abandoned. For both the I-statement that some unicorns are beautiful animals, and the O-
statement that some unicorns are not beautiful animals, are false.
Whenever we are dealing with arguments that refer to nonexistent objects, we must represent them
from the modern perspective. Unfortunately, this is a severe limitation of classical logic. Many logicians
believe that logic should be independent of the way the world actually is. Whether an argument is valid or
invalid should not depend on whether or not its terms refer to existing objects.
SOME IMPORTANT POINTS TO REMEMBER
1. Whenever a premise is a universal statement you should always shade; and whenever it is an existential
statement you should always x.
2. With any kind of premise, always shade or x in the rectangle that represents the statement's subject term.
a.) If the premise reads, "All S are P," always shade the areas of the S rectangle that are outside the P
rectangle.
b.) If the premise reads, "No S are P," always shade those areas where the S and P rectangles overlap.
c.) If the premise reads, "Some S are P," find the two areas of the S rectangle that overlap the P rectangle.
If neither of these areas is shaded, place an x-x between them. If one of the two areas is shaded,
place a capital X in the other area.
d.) If the premise reads, "Some S are not P," find the two areas of the S rectangle that do not overlap with
the P rectangle. If neither of these areas is shaded, place an x-x between them. If one of the two
areas is shaded, place a capital X in the other area.
3. If you are working within the classical interpretation, after proceeding as indicated above, if either of the
premises is a universal statement:
a.) If the premise reads, "All S are P," you must indicate that there is at least one thing in the areas where
the S and P rectangles overlap. If one of the two areas where these rectangles overlap is shaded,
place a capital X in the other area. If neither of these areas is shaded, place x-x between them.
b.) If the premise reads, "No S are P," you must show that there is at least one thing in the area of the S
rectangle that does not overlap the P rectangle, and that there is at least one thing in the area of the P
rectangle that does not overlap the S rectangle. If either of the two areas where the S rectangle
doesn't overlap the P rectangle is already shaded, you should place a capital X in the other area. If
neither of these areas is shaded, place x-x between them. Then do the same for the area of the P
rectangle, which does not overlap the S rectangle.
4. When an area is shaded, it means nothing is in that area. When a capital X is in an area, it means that
something is definitely in that area. When an x-x exists between two areas, it means something exits in
one of the two areas. An empty area tells you nothing.
5. An argument is valid if the diagram forces you to admit that its conclusion is true. Otherwise, it is invalid.
HELP
If you have not understood the discussion above then proceed as follows: Number the three
rectangles as indicated below. Then identify the four numbers that constitute the rectangle of the
statement’s subject. Write them down. Underneath these four numbers write the four numbers that
constitute the rectangle of the statement’s predicate. Then use the chart below to either shade or x-x two
areas.
12. A B
C
The two common numbers between
the subject and the predicate
The two numbers that are different
in the top set of numbers
Shade E A
x-x I O
HOW TO HANDLE AN A-STATEMENT
Suppose the claim reads “All B are C.” The four numbers that represent the subject’s rectangle
(i.e., the B rectangle, since B occupies the subject position in the sentence) are 2356. The four numbers
that represent the predicate’s rectangle (i.e., the C rectangle, since that occupies the predicate position in
the sentence) are 4567. Since the statement is an A-statement the chart above tells us to find and shade the
two numbers that are different in the subject’s rectangle. Those numbers are 2 and 3. So the chart above
tells us to shade 2 and 3. (Read across and up from the A in the chart above.)
If we are representing things from the classical perspective we have additional work to do. We
need to represent Aristotle’s claim that a true A-statement implies a corresponding true I-statement in the
diagram. So after we have proceeded as indicated in the paragraph above the chart above tells us to x-x the
two common numbers between the subject and predicate. Those numbers are 5 and 6.
HOW TO HANDLE AN E-STATEMENT
Suppose the claim reads “No A are C.” The four numbers that represent the subject’s rectangle
(i.e., the A rectangle, since A occupies the subject position in the sentence) are 1245. The four numbers
that represent the predicate’s rectangle (i.e., the C rectangle, since that occupies the predicate position in
the sentence) are 4567. Since the statement is an E-statement the chart above tells us to find and shade the
two numbers that are common between these two sets of numbers. Those numbers are 4 and 5. So the
chart above tells us to shade 4 and 5. (Read across and up from E in the chart above.)
If we are representing things from the classical perspective, here again we have additional work to
do. We need to represent Aristotle’s claim that a true E-statement implies a corresponding true O-
statement in the diagram. The chart above tells us to x-x the two numbers that are different in the top set of
numbers. These numbers are 1 and 2.
But on Aristotle’s view the converse of a true E-statement has the same truth value as the original.
So the claim that “No A are C” implies that “No C are A,” and this in turn commits us to the O-statement
“Some C are not A.” To represent this claim in the diagram we must find and x-x the two numbers in the
bottom set that are different from the numbers in the top set. Those numbers are 6 and 7. So we should
also x-x these two areas.
HOW TO HANDLE I-STATEMENTS AND O-STATEMENTS
If the claim reads “Some C are B” the diagram above tells us we need to x-x areas 5 and 6;
while if it reads “Some C are not B” we need to x-x areas 4 and 7. No extra work is required if we are
constructing the diagram on the Classical perspective.
1 22 3
4 5 6
7
13. EXERCISES
Instructions: Construct two Venn Diagrams on the syllogism
below, one of which represents that argument on the modern
view, and the other of which represents it on the classical
perspective. Decide whether the argument is valid or invalid
on each view.
All vampires are bats.
No vampires are hemophiliacs.
____________________________
Some hemophiliacs are not bats.
Instructions: Construct two Venn Diagrams on each of the
arguments below, one of which represents that argument
from the modern view, and the other of which represents it on the classical view. Determine whether the
argument is valid or invalid on each of the two perspectives.
1. No diamonds are opals. No diamonds are sapphires. So no sapphires are opals.
2. Some islands are vacation resorts. All islands are paradises. So some paradises are vacation resorts.
3. All teachers are alcoholics. No alcoholics are politicians. So some politicians are not teachers.
4. No pleasurable experiences are headaches. All IRS audits are headaches. So no IRS audits are pleasurable
experiences.
5. All dragons are fire hazards. No endangered species are fire hazards. So some endangered species are not
dragons.
6. Only funny people are clowns. Funny people are never tedious oafs. So, all tedious oafs are non-clowns.
A BRAINTEASER
Instructions: Construct Venn-like Diagrams on the argument below and determine whether it is valid or
invalid on both the classical and modern interpretations.
Since all vampires are bats and some vampires are bloodsuckers, but no hemophiliacs are bats, it follows
that some bloodsuckers are not hemophiliacs.
LIMITATIONS AND A PROLOGUE
Although they are effective in determining the validity of many arguments containing quantifiers,
both the syllogistic and diagrammatic approaches we have been exploring in the last two chapters are
somewhat limited, most especially because they are unable to effectively evaluate arguments with premises
involving two or more quantifiers. They cannot, for example, determine the validity of the argument that
since everyone loves a lover and someone loves someone, it follows that everyone loves everyone. How
these sorts of arguments are to be dealt with was not discovered until the invention of quantification theory in
the early part of the twentieth century.