Banno

Meh. (p v ~p) is true for any proposition p regardless of spatiotemporal deportment.

But that's not right. (R v ~ R) is never untrue. time and place are irrelevant.

A long stretch.

But "Its raining, or it isn't" says nothing about time or place. It still seems odd to insist that it does, clandestinely.

This seems to have the odd result that the sentence "it is raining or it is not raining" is true because it corresponds to anywhere. And here I am aga...

Davidson, On saying that, uses this strategy to deal with indirect discourse. Now that article is about propositional attitudes, yet I hadn't given it...

Ooooh nice. There's a thesis topic for someone. Isn't it? One analysis (I think it's Davidson, again) of "Sheila says you sent that email" is i) You s...

And what is that correspondence? Not truth. R has the same truth value as (R v X), by OR introduction. But (~R v R) does not have the same truth value...

Well, according to the correspondence theory for every true propositions there corresponds a fact. If you are right and (R v ~ R) is true but does not...

A true proposition that does not appear to correspond to anything. That'd be ~(R & ~R). Not the same. Unless you are Meta.

Were are you, Pie? ...or not a property? The merits, or lack thereof, of the prosentential view remain undiscussed. We do seem to treat truth as a pro...

& introduction. Given any two propositions, we can join then with &. (&I) 1. p (A) 2. q (A) 3. p & q (1,2,&I) & elimination Similarly, given any conju...

Russia takes upon itself the role of the shortest man in the gang. He's the one with the most to prove, and so is the most dangerous.

Nice. The Wikipedia page has a proof.

:wink: The best way to read him is as satire, an antecedent of Shaun Mcauliffe. A skill I picked up from Beyond Good and Evil.

The ones in the marketplace?

What page are you folk up to?

@"Tom Storm" Unusual for Tate to hand out such compliments. Any honest regard of He of the Great Moustache must accept that his ideas, rightly or wron...

No, you are not. The correspondence theory is not the theory that facts are individuals, nor that facts can be individuals, or anything of the sort. T...

Then it's the trivial error. You are simply adopting an eccentric use for the word "fact", and in doing so separating yourself from the discussion. IS...

See the bit in bold? Are you claiming it is wrong?

Ok, a river is not a fact. That a river exists might be. In much the same way that a name is not a sentence. Or an individual is not a state of affair...

Well, no. Rather according to the SEP article, one view is that facts are what make a proposition true. There are other views, also addressed in the a...

The next derivation rule at first looks a tad odd. It's called Conditional Proof (CP) Given any sequence 1. ? (A) . . . 5. ? (with whatever justificat...

That's a really odd post. Here's the point at issue: on the one hand we have the view that facts and true propositions are distinct, but related in th...

Ok, that's fine. I'm just encouraging caution. Happy to have someone else field Creative's odd confusion.

The irony is, those who praise Nietzsche are pushing against his spirit.

That bit. A shame that the Children's Encyclopaedia of Philosophy does not provide adequate references. That might be an argument worth addressing if ...

I'm a bit surprised to see you entertaining the notion of concepts. In. Wittgensteinian terms they are rather fraught. For some folk they consist in p...

Yeah, it is. I am not alone in rejecting the notion that a fact is what makes a true proposition true. Rather it would be better to say that facts jus...

If you prefer. The point being that it clearly distinguishes meaning and reference, in contrast to your title.

Oh, indeed... In the old days we used a thing called the Contents. It remains in vestal form in your PDF.

The calculus constitutes a formal language. Yep, the language will be consistent if it is not possible to derive any contradictions. It will be comple...

Better, Tarski looks to those things to which "Schnee" points in the object langauge and chooses new words in the metalangauge to point to the same th...

You are right that an argument is valid if it is impossible for the premises to be true and the conclusion false. The problem I anticipate is calling ...

Two more rules for derivation are worth further comment, despite being mentioned by @"Agent Smith". Modus Tollens (MT) allows the following derivation...

I need feedback. Yet natural deduction is as powerful and valid as an axiomatic system.

A truth table proof of MP: +----+---+----+---+----+---+---+ | (p | & | (p | ? | q) | ? | q | +----+---+----+---+----+---+---+ | T | T | T | T | T | T ...

A more complex example 1. p?q (A) 2. q?r (A) 3. p (A) the conclusion? 4. q (1,3,MP) 5. r (2,4,MP) Or 1. p?(q?r) (A) 2. p?q (A) 3. p (A) 4. q?r (1,3,MP...

...you don't sound convinced... So you have been doing a rough form of natural deduction in your posts. In natural deduction, any well formed formula ...

Not quite. p can be any proposition, from "the cow needs milking" to "the square on the hypotenuse is equal to the sum of the squares on the other two...

Sure, but they have an additional role in showing which wff are tautologies, which are contradictions and which are neither. If the column for some wf...

There's two ways to proceed from here. One is to set up an axiomatic system and proceed from there. The other is to instead set up some rules of deduc...

Cheers. The law of identify holds between individuals, and as mentioned earlier propositional calculus deals in whole propositions. SO strictly the la...

And we can continue for a few more of the symbols: +---+---+-------+ | ? | ? | ? & ? | +---+---+-------+ | T | T | T | +---+---+-------+ | T | F | F |...

Thanks. I'm kinda hoping that other folk might butt in and add stuff. I'm. using https://www.tablesgenerator.com/text_tables# to make generating table...

Truth tables Our p's and q's are standing in for propositions or sentences. Propositions and sentences are the sort of thing that can be either true o...

You don't have to watch. Go do something else.

Well-formed formulae Next we need some rules about what one can write. There's a few other symbols. These are ~, &, v, ? and ?. They have names in Eng...

'cause that doesn't test my memory, nor start a conversation here.