Thursday, 24 September 2020

Big Four, collar, press

The Big Four – a designation often given to the species at the top of the food chain whose life consists largely of striking poses and cultivating their image in the afternoon sun or popular media channels, punctuated periodically by bouts of feeding frenzy

Collar – part of a garment such as a coat or a shirt that fitted around the neck when there were necks, but recently evolution has surprised us all and started making redundancies in the human body by dispensing first with the neck and joining the base of the head directly with the oesophagus, so collars have been retired.

 

The press – alternative pronunciation of ‘depress’ 

 

A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed., 8.6, III, 2, p. 436

Translate then derive the conclusion.

Whoever is a friend of either Michael or Paul will receive a gift. If Michael has any friends, then Eileen is one of them. Therefore, if Anne is a friend of Michael, then Eileen will receive a gift. (Fxy: x is a friend of y, Rx: will receive a gift)

1.     (x)[(Fxm v Fxp) ⊃ Rx]

2.     (x)Fxm ⊃ Fem

∴ Fam ⊃ Re

3.     Fam

4.     (∃x)Fxm

5.     Fem

6.     (Fem v Fep) ⊃ Re

7.     Fem v Fep

8.     Re

9.     Fam ⊃ Re

 

 

 

ACP

3 EG

2,4 MP

1 UI

5 Add

6,7 MP

3-8 CP

Monday, 21 September 2020

Contradiction and lies - part 2

Why don’t we trust people who contradict themselves? This is a no-brainer: because one of their statements must be a lie:

 

Face masks protect against infection. (P)

Face masks do not protect against infection. (Not P)

 

But another reason, less often articulated though grasped intuitively by any sane person, is that anything follows from a contradiction, including a lie.

 

If someone is known to have said both of these statements in public, they might want to defend one of them (no matter which) by smuggling in another statement:

 

Either that or bleach is a cure for viral infection. (Q)

 

We defend the truth of one statement by disjoining a new statement to it (more on that in the previous post). By the rule of disjunctive syllogism, the new statement will be stripped of company and made to stand out unsupported. Contradictory statements cancel each other out. 

 

Premise 1: P

Premise 2: Not P

Addition 3: P or Q

Inference: Therefore, Q.

 

A lie abhors a solo appearance. It likes company. For a lie to thrive, it likes to be shielded by truths (and other lies alike).

Sunday, 20 September 2020

Contradiction and lies - part 1

The language of deductive logic does a rather poor job of tracking the rhythms and patterns of natural language, but it can shed some light on linguistic behaviour. This post is a short introduction to the consequences of contradiction, discussed next.

 

Two arguing positions require an expenditure of energy: when we challenge the truth of our opponent’s statement and when we defend the truth of ours. How do we do this?

 

Facts, figures, examples, sometimes definitions work best. Eloquence helps. This is the high art of arguing. The low art – the circus or Punch-and-Judy type of argument – is different, and not entirely unfamiliar to logicians.

 

To challenge an opponent’s statement, we conjoin a ridiculously false statement of our own (the ridicule amplifies the effect) to our opponent’s statement. ‘And pigs might fly,’ is the English language handy option. The key word is ‘and’. Whether the opponent’s statement is true or false, ‘and’ will make the whole statement false. Conjunction is true only if both conjuncts are true.

 

How do we defend the truth of our statement? We add a new statement to the argument – by disjunction. This is a more subtle technique. Here is an illustration:

 

A: There is a deep state in America.

B: Really?

A: Yes. Either that or we are being manipulated by big corporations.

 

The key word is ‘or’. If we somehow manage to legitimize just one of these statements, the whole comes out true, because a disjunction is false only when both disjuncts are false.

Saturday, 19 September 2020

Small man syndrome, urban cyclist, facebook

The little turd who built a crude version of your sandcastle in his corner of the sandpit and then came across and kicked down yours? He will re-emerge later in your life as the second undermanager who loops your ‘l’s and closes your ‘o’s.

History is cyclical and now is the age of the cyclist. When civilisation is restored, hard questions will be asked.

 

I have played with one hand under the card table all my life, so I was not surprised that, when I opened my facebook account, facebook had three tabs for me: enemy requests, enemy suggestions and all my enemies. 

Understanding Symbolic Logic, Virginia Klenk, Pearson Prentice Hall, 5th ed., 2008, Unit 8: 7(n), p. 173

 

1.     (P • S) ⊃ (T v W)

2.     ~ T ≡ ~ (M • O)

3.     ~ [W v (~ S v M)]

4.     ~ A ⊃ P

∴ A

5.     ~ W • ~ (~ S v M)

6.     ~ W • S • ~ M

7.     [~ T ⊃ ~ (M • O)] • [~ (M • O) ⊃ ~ T]

8.     ~ M • ~ W • S 

9.     ~ M

10. ~ M v ~ O

11. ~ (M • O)

12. [~ (M • O) ⊃ ~ T]  [~ T ⊃ ~ (M • O)]

13. ~ (M • O) ⊃ ~ T

14. ~ T

15. ~ W • ~ M • S

16. ~ W

17. ~ T • ~ W

18. ~ (T v W)

19. ~ (P • S)

20. ~ P v ~ S

21. S • ~ W • ~ M

22. S

23. ~ P

24. ~ ~ A

25. A

 

 

 

 

 

3 DM

5 DM

2 Equiv

6 Com

8 Simp

9 Add

10 DM

7 Com

12 Simp

11,13 MP

8 Com

15 Simp

14,16 Conj

17 DM

1,18 MT

19 DM

15 Com

21 Simp

20, 22 DS.

4,23 MT

24 DN


Tuesday, 15 September 2020

Country and city life, capitalism and hunting, television

People living in the city are always baffled by the country folk’s vast knowledge of family connections in the village, just as the country folk marvel at the city dwellers' knowledge of bus and tram routes. Both types of knowledge have practical applications: one protects against fathering a child on a cousin by accident, the the other against having to pay for a taxi home.

The three commandments of capitalism and hunting: don’t tell anyone you’re going hunting; lie low when you’ve made the kill; dispose of the evidence.

 

Television started with people watching it for entertainment and ended with it watching people for entertainment. 

Understanding Symbolic Logic, Virignia Klenk, Pearson Prentice Hall, 5th ed., 2008, Unit 8: 7(m), p. 173

The trick to proving the conclusion in this argument is to spot that M, on line 3, can be exported to make the consequent of a conditional (which itself is a conditional with M as the antecedent and N as the consequent). This one step allows us to set up a hypothetical syllogism with the proposition on line 4. From then on, it's child's play. If we take another path, we're in for a lot of hard work.

1.     G ⊃ (H • I)

2.     J ⊃ (H • K)

3.     [(L ⊃ ~ G) • M] ⊃ N

4.     (M ⊃ N) ⊃ (L • J)

∴ I v K

5.     (L ⊃ ~ G) ⊃ (M ⊃ N)

6.     (L ⊃ ~ G) ⊃ (L • J)

7.     ~ (L ⊃ ~ G) v (L • J)

8.     ~ (~ L v ~ G) v (L • J)

9.     (L • G) v (L • J)

10. [(L • G) v L] • [(L • G) v J]

11. (L v L) • (G v L) • (L v J) • (G v J)

12. (G v J) • (L v L) • (G v L) • (L v J)

13. G v J

14. [G ⊃ (H • I)] • [J ⊃ (H • K)]

15. (H • I) v (H • K)

16. [(H • I) v H] • [(H • I) v K]

17. (H v H) • (I v H) • (H v K) • (I v K)

18. (I v K) • (H v H) • (I v H) • (H v K)

19. I v K

 

 

 

 

 

3 Exp

4,5 HS

6 Impl

7 Impl

8 DM

9 Dist

10 Dist

11 Com

12 Simp

1,2 Conj

13,14 CD

15 Dist

16 Dist

17 Com

18 Simp


Monday, 14 September 2020

Science and religion, innovations, citizens

Science without religion is lame, religion without science is blind. – Albert Einstein

 

Retort

 

What the two have in common is a stick to move along with. That stick is the verb ‘to believe’. But that’s where the similarities end. The stick that science uses has ‘believe’ meaning ‘to suspect to be true’; to the religious stick holders, ‘believe’ means ‘to want to be true’.

 

We must beware of needless innovations, especially when guided by logic. – Winston Churchill

 

Retort

 

Innovations guided by logic are not a problem. The problem is when the rhetoric about innovations makes logic-based claims while the innovations are anything but.

 

If you believe you are a citizen of the world, you are a citizen of nowhere. You don’t understand what citizenship means. – Theresa May

 

Retort 1

 

Nowhere simply consists of citizens of somewhere else.

 

Retort 2

 

We are the citizens of wherever our vital interests are located. Our vital interests are located wherever our data is stored.

 

 

Sunday, 13 September 2020

Trolley case, crazy paving, symbols

Trolley case – a type of aspirational suitcase designed to leverage the action of castors to pack more than one can carry or the use of a fellow passenger’s arms to stow overhead more than one can lift, suitable for anyone whose reach exceeds their grasp

 

Crazy paving – the hell trolley case users so richly deserve

 

Appeal to symbols – the last step in a decision-making process spanning the distance between the point at which rational thought has run out of road and the point at which a decision is made; for some people, also the first step.

 

Understanding Symbolic Logic, Virginia Klenk, Pearson Prentice Hall, 5th ed., 2008, Unit 8: 7(l), p. 173

 

1.     P v Q

2.     ⊃ R

3.     ⊃ (S ⊃ ~ T)

4.     (~ S ⊃ U) • (U ⊃ V)

 (~ P  ~ V)  ~ T

5.     ~ S ⊃ U

6.     (U ⊃ V)  (~ S ⊃ U)

7.     ⊃ V

8.     ~ S ⊃ V

9.     ~ R v (S ⊃ ~ T)

10. ~ R v (~ S v ~ T)

11. (~ R v ~ T) v ~ S

12. ~ (R • T) v ~ S

13. (R • T) ⊃ ~ S

14. (R • T) ⊃ V

15. R ⊃ (T ⊃ V)

16. Q ⊃ (T ⊃ V)

17. ~ ~ P v Q

18. ~ P ⊃ Q

19. ~ P ⊃ (T ⊃ V)

20. ~ ~ P v (T ⊃ V)

21. P v (T ⊃ V)

22. P v ~ T v V

23. (P v V) v ~ T

24. ~ ~ (P v V) v ~ T

25. ~ (~ P • ~ V) v ~ T

26. (~ P • ~ V) ⊃ ~ T

 

 

 

 

 

4 Simp

4 Com

6 Simp

5,7 HS

3 Impl

9 Impl

10 Com

11 DM

12 Impl

8,13 HS

14 Exp

2,15 HS

1 DN

17 Impl

16,18 HS

19 Impl

20 DN

21 Impl

22 Com

23 DN

24 DM

25 Impl