Science & Logic

Luca Incurvati’s Conceptions of Set, 2

We are still on Chapter 1 of Luca’s book. Sorry about taking longer than I had intended to get back to this. But I’d promised myself to get the answers to the Exercises for Chs 32 and 33 of IFL2 (on natural deduction for quantifier arguments) done and dusted. Thirty eight pages(!) of work later, they are online! ¶ Let’s take it that the concept of set is (at least in part) characterized by Luca’s three conditions — Unity (a set is in some sense a unity, distinct from its members), Unique Decomposition (a set decomposes into its members in just one way), Extensionality. ¶ Which leaves more to be said, no doubt. But then there are various possible views of the role of the further story we need. ¶ Suppose, for example, that you hold that the concept of set, as pre-theoretically grasped, is governed by the following assumption: that for any coherent predicate there is a set of objects which satisfy it. Then, rapidly, we get to a classically inconsistent naive set theory. Put on hold for now the option of revising your logic as a palliative. Then you’ll want to work with a classically consistent replacement concept of set*. And the further story we need is an elaboration of this replacement concept. ¶ Suppose alternatively that, as far as it goes, the concept of set is consistent enough. Then that leaves open a spectrum of possible views (at least I take it there is a spectrum... -

Read More @ Logic Matters

BIRD WATCHERS ARE ODD DUCKS

On my walk this morning, I saw a crow.  Nothing remarkable about that, I see crows all the time, sometimes a dozen all at once.  But it reminded me of the fact that crows hold absolutely no interest for bird watchers, who will go wild over an unremarkable finch or a confusing fall warbler [that is what the bird books call them, and there are dozens  of them, all virtually indistinguishable.]  I observed the same disdain for blue jays when I lived in Massachusetts [there don’t seem to be any blue jays down here in North Carolina.]Now crows and blue jays are impressively large birds, and blue jays, at least, are strikingly colored.  So why the disdain?  Familiarity, one might think, but blue birds have... -

Read More @ The Philosopher’s Stone
Gödel’s Incompleteness Theorems

[Revised entry by Panu Raatikainen on April 2, 2020. Changes to: Bibliography] Godel's two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any... -

Read More @ Stanford Encyclopedia of Philosophy
Virus: all that is solid melts into air

There is a debate within the social sciences about whether it is easier to ascertain the truthfulness and quality of a society’s institutions under normal daily circumstances or in exceptional situations, during times of crisis. One can probably learn from both types of situation, but each of them is certain... -

Read More @ Blog of the APA

Recent Sites Posting In Science


All Posts in Science

Luca Incurvati’s Conceptions of Set, 2 We are still on Chapter 1 of Luca’s book. Sorry about taking longer than I had intended to get back to this. But I’d promised myself to get the answers to the Exercises for Chs 32 and 33 of IFL2 (on natural deduction for quantifier arguments) done and dusted. Thirty eight pages(!) of work later, they are online! Let’s take it that the concept of set is (at least in part) characterized by Luca’s three... Logic Matters -


A conjecture on deferralist indexicalism Imagine we do take propositions to be formed by (essential) indexicals. That is, sentences could have indexicals and non-indexicals (substantive) but:i. only indexicals directly refer - ouch, hard thing to state, but I'm conjecturing that substantive refer only through indexical definitions (the translation of a de dicto expression into a de re one is a step towards providing indexical definitions but cannot be the whole translation for, as Perry wrote (in The problem of the... No Borders Metaphysics -


On giving up many small things Last year I attended the annual Values in Medicine, Science, and Technology Conference hosted in Dallas and organized by Matt Brown.1 I got great feedback on my presentation, which ultimately grew into a paper. I hung out with old friends and made new ones. So I submitted an abstract again this year. Today, I received an e-mail indicating that my paper was accepted along with an e-mail saying that the conference was canceled. The cancelation... News For Wombats -


Gödel’s Incompleteness Theorems [Revised entry by Panu Raatikainen on April 2, 2020. Changes to: Bibliography] Godel's two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can... Stanford Encyclopedia of Philosophy -


Discourse, Diversity, and Free Choice Another paper: ""Discourse, Diversity, and Free Choice" has come out at the "AJP. This paper began as a couple of blog posts in January 2007, "here and "here. At the time, I was thinking about why counterfactuals with unspecific antecedents appear to imply counterfactuals with more specific antecedents. I noticed that a similar puzzle arises for possibility modals in general. My hunch was that this is a special kind of scalar implicature: if you say... Wo’s Weblog -


If we're not brains, computers can't think The following argument has occurred to me: We are not brains. If we are not brains, our brains do not think. If our brains do not think, then computers cannot think. So, computers cannot think. I don’t have anything new to say about (1) right now: I weigh a lot more than three pounds; my arms are parts of me; I have seen people whose brains I haven’t seen. Regarding (2), if our brains think... Alexander Pruss -


Vienna Circle [Revised entry by Thomas Uebel on April 1, 2020. Changes to: Main text, Bibliography] The Vienna Circle was a group of early twentieth-century philosophers who sought to reconceptualize empiricism by means of their interpretation of then recent advances in the physical and formal sciences. Their radically anti-metaphysical stance was supported by an empiricist criterion of meaningfulness and a broadly logicist conception of mathematics. They denied that any principle or claim was synthetic a priori. Moreover,... Stanford Encyclopedia of Philosophy -


On the panpolitics of the virus O PDF do texto está aqui.“zwischen Strom und Gestein”Os humanos e a pan-política dos vírusHilan BensusanWas not Hegel fully aware that the way spirit arises out of the organic natural process is through a mechanical repetition which disturbs the free organic deployment? [...]There is no spirit without a machine, the appearance of spirit is a machine which colonizes the organism, the victory of spirit over mere life appears as a “regression” of life to a... No Borders Metaphysics -


Virus: all that is solid melts into air There is a debate within the social sciences about whether it is easier to ascertain the truthfulness and quality of a society’s institutions under normal daily circumstances or in exceptional situations, during times of crisis. One can probably learn from both types of situation, but each of them is certain to bring to the fore […] Blog of the APA -


ENNUI, AND THEN SOME When I was young, the go to phrase to express boredom was, “That’s about as exciting as watching paint dry.”  Along about now, I would pay for a livecam shot of paint drying! The Philosopher’s Stone -


Accidents and truthmakers It is difficult to hold (a) Aquinas’ idea that in transubstantiation the accidents of bread and wine continue existing after the bread and wine have perished together with (b) the idea that accidents are truthmakers for predications. For if the accident of the whiteness of the bread is a truthmaker for the proposition that the bread is white, then it is (absurdly) true to say that the bread is white even after transubstantiation, since when... Alexander Pruss -


Luca Incurvati’s Conceptions of Set — 1 I’m really pleased to see that Luca Incurvati’s long-awaited Conceptions of Set and the Foundations of Mathematics has now been published by CUP. It’s currently jolly expensive. So let’s hope for an early inexpensive paperback. Happily, though, you will be able now to read an e-version of the book for free if your library has appropriate access to the Cambridge Core platform. So I’m going to assume I’m not the only one with access to... Logic Matters -


Liberalism, Through a Glass Darkly Chapter 4, David F. Hardwick and Leslie Marsh: classical liberalismdavid F. hardwickidentity politicsLeslie Marshsocial justiceSpontaneous order Man Without Qualities -


BIRD WATCHERS ARE ODD DUCKS On my walk this morning, I saw a crow.  Nothing remarkable about that, I see crows all the time, sometimes a dozen all at once.  But it reminded me of the fact that crows hold absolutely no interest for bird watchers, who will go wild over an unremarkable finch or a confusing fall warbler [that is what the bird books call them, and there are dozens  of them, all virtually indistinguishable.]  I observed the same... The Philosopher’s Stone -


SLOTERDIJK ET LE THANATO-CONSERVATISME Dans un entretien publié dans Le Point, Peter Sloterdijk commente la pandémie actuelle du COVID-19. 1) LA MORTALITÉ DES AUTRES. Les propos de Sloterdijk sont très décevants. Il parle de « mortalité moyenne », mais il ne voit pas la sur-mortalité provoquée par le débordement des capacités d’accueil et de soin de nos services hospitaliers. Il n’imagine pas ce que la progression exponentielle donne si elle n’est pas freinée. 2) PSEUDO-DESCRIPTION. Sloterdijk fait semblant de rester au... Agent Swarm -


DÉS-AGAMBENISER LA PENSÉE: contre la crédulité d’un penseur « critique » 1) CRÉDULITÉ. Giorgio Agamben a pris la parole pour dénoncer les mesures de contrôle social adopté pour limiter la propagation du virus COVID-19. Il a comparé le nouveau virus à une « grippe normale » en s’appuyant de façon naïve et a-critique sur une source unique, le CNR italien, au moment même où c’était évident que ses conclusions étaient irréalistes. 2) SOLIPSISME CONCEPTUEL. L’idée qu’il pourrait apprendre quelque chose de Zizek, de Stiegler, de Latour, de Laruelle,... Agent Swarm -


JEAN-CLET MARTIN: NOETIC MIGRATION Jean-Clet Martin uses science-fiction (at last!) to discuss the epidemic, in particular Philip K. Dick’s DO ANDROIDS DREAM OF ELECTRIC SHEEP? J-C M comments on the formula « emigrate or mutate », given that emigrating from the planet is not possible. We are already confined to this planet so neither emigrating nor mutating are viable for us, except as a migration that is a passage through thought, not just to survival but to sur-existence. (Here you will... Agent Swarm -


JEAN-LUC NANCY: AN ALL TOO HUMAN VIRUS Jean-Luc Nancy on the Coronavirus Epidemic. Nancy asks a lot of questions, and rejects the simplicity of ready-made answers such as « biopolitics » in the name of a complexity that he can hint at, but that unfortunately this video is too short to contain in full. Agent Swarm -


“Seeing absence” I am reading “Seeing absence” by Anna Farennikova (2013) on the epistemological experience of knowing that something is absent. The article (kindly suggested to me by Jack Beaulieu) deals with exactly the topic dealt with by Mīmāṃsā and Nyāya authors speaking of abhāva (absence) and seemingly in the same terms! The starting point is the fact that our phenomenological experience of not seeing our laptop on the table once we come back after a short... The Indian Philosophy Blog -


AFB’S TERMS OF ART #4: CRAFT Now that increasing numbers of people are stuck at home and sheltering in place, I figured I’d do a little series. Every weekday for the duration of this intense period, I’ll post a short definition of some term in/related to aesthetics and philosophy of art. Let’s see how this goes! See them all here. Terms of Art #4: craft William Morris, Tulip (n.d.) [source]Pronunciation: you already know how Definition: Craft is typically thought of as skilled work... Aesthetics for Birds -