My point was in part to show that "modus ponens inference" is not singular; it's at best a group of loosely related activities which are not fundament...
Since my joke fell flat, I'll respond again. There's something quite amiss in this, to do with the absence of a clear account of "force". One simply c...
https://content.api.news/v3/images/bin/dabf0e2c3b5ec5ed8e428516c1ea7a70?width=320 A whole different level...? The interplay between form-of-life relat...
I baulked at Martin's paper mostly because I found the notion of force used throughout to be unclear. Facetiously, again, it's worth noting that nothi...
Well, I hope it's clear that I have more sympathy for game formalism than you have expressed, and also that I am sceptical that there is a thing that ...
Well, of course Un's right. @"Unenlightened" is always right, the bastard. Best just to ignore his posts, else he bring all these threads to an end, l...
Quoting myself. A bad sign. Might try this with an analogue. Supose you are building a deck, which will have forty floor boards screwed to joists. You...
Fair enough. I misspoke, since what I have at hand is not Kimhi's book but the reports of his book found hereabouts. The ambiguity may not be his. Sim...
There's noting novel in the natural numbers not being enumerable. What this shows is that the list from which r is derived cannot be constructed. What...
The overwhelmingly vast majority of truth cannot be expressed by language. Oh, my goodness me. How shocking. Now, can you give an example of one those...
Coincidentally there is an article in a recent New Scientist lamenting the use of the word "force" in physics . "...language affects our wordless imag...
Same topic as https://thephilosophyforum.com/discussion/15304/mathematical-truth-is-not-orderly-but-highly-chaotic/ Is it ok if we just copy-and-paste...
So could you not understand what a sentence is about unless it is clear it was being used to make, say, an assertion rather than ask a question? Isn't...
Well, perhaps you haven't. Then we agree that there is a difference between what a sentence is about and what is done with it? So it'd be neat to set ...
I'd just note that the whole apparatus of first-order logic works for fiction. Frodo walked into Mordor, therefor by existential generalisation someth...
Yep. It might be helpful to add "statement" between "sentence" and "proposition". A statement is the concatenation of a noun phrase and a verb phrase....
In order to judge that the definition is true, one already must have a grasp of what it is to be true and what it isn't. So the definition is superflu...
It's just that so many of the reviews take this as central. It seems these folk would scrap modality. We do think things like "what if I hadn't answer...
I haven't been able to follow this. But at the beginning of this thread I had an intuition that there was some blurring of the notion of force in Freg...
Good. Names are given meaning by being given an interpretation. For propositional logic that interpretation is just "?" or "?", something that is quit...
Sure. What I was at pains to set out in the first few posts here is the difference between asserting a statement and understanding its content. Both i...
Ok. Not sure what that has to do with Davidson and Tarski. "The cat is on the mat" is a string of letters. It's also a well-formed sentence in English...
Property is a legal convention, as pointed out. You don't inherit unless there are conventions of inheritance. Conquest is theft until ratified. Somet...
Sure, it's a piece of mathematical logic. That doesn't render it meaningless. So are you taking on Tarski, the relevance of which to a discussion of F...
I don't think so. It's about language. the contention is: If this were so, then a thief, who gains control over what they steal, would correctly be sa...
Sure. A bit later we get Tarski's definition of truth in terms of satisfaction, getting around the recursion by using metalanguages. I'm contending th...
, As I understand it, 0th level terms - a,b,x - name individuals. Included amongst those individuals are propositions, which in turn name a truth valu...
I don't think he defines truth. Rather, he points out that, say, 2+2=4 and 3+3=6 have the same truth value - they are expressions that refer to the sa...
To put it simply, I do not see Parmenides problem. We do think about things that are not the case. If you have the Tractatus at hand, do a search for ...
That there is disagreement as to how to read Frege's most basic expressions does not bode well for anything more than bickering in this thread. Here's...
Nice. Rhubarb pieces roasted in marmalade, lemon juice and brown sugar. Served with sweetened yoghurt. After chicken marinade in preserved lemon haris...
Well, no. "General public" might do. But your confusion in regard to Kimhi's thesis is warranted. Speaking roughly, there are folk who think logic is ...
Comments