imdef @imdef@qoto.org

Material implication P -> Q is equivalent to ~P v Q. It is generally agreed that the "if P, then Q" construction in ordinary language is not always the same as material implication. However, when you study mathematics, you're trained to think that, in mathematics, "if P, then Q" really is material implication. Here is an in many ways careful explanation: (1/n)
https://gowers.wordpress.com/2011/09/28/basic-logic-connectives-implies/

#logic #implication #conditional

@johncarlosbaez The symbol => is used by different people to mean either

-> (material implication, a logical connective)

or

|= (semantic entailment, "true in every model")

I understand you intend it the first sense, like in the 1st line in attached image. However, I was taught to use => in the second sense so I can't help to try to interpreted that way. I think that sort of works too---the 2nd and 3rd line in the image, with the middle => interpreted as the mathematicians' informal "if ... then".

Bill Clinton is not associated with politics in any way? #ChatGPT (2/2)

#ChatGPT is being a very good sport playing "one of these things is not like the other" with pretty hopeless examples of four things. However, it is taking some amusing liberties with facts and logic. (1/2)

Explanation of the greenhouse effect by @skdh@nerdculture.de. Several plot twists so must watch to the end. https://www.youtube.com/watch?v=oqu5DjzOBF8

One of the better commentaries
https://www.vox.com/future-perfect/2023/2/22/23609499/masks-covid-coronavirus-cochrane-review-pandemic-science-studies-infection

The actual paper
https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.129.222001

"Method for solving notorious calculus problems speeds particle physics computations"
https://www.science.org/content/article/method-solving-notorious-calculus-problems-speeds-particle-physics-computations

Write up of the 2023 article:
https://www.cidrap.umn.edu/covid-19/covid-while-world-sanitized-surfaces-group-tried-warn-early-about-airborne-spread

The basic story has been told before. In journals...

https://onlinelibrary.wiley.com/doi/full/10.1111/ina.13070

https://royalsocietypublishing.org/doi/full/10.1098/rsfs.2021.0017

...and in popular form:

https://www.wired.com/story/the-teeny-tiny-scientific-screwup-that-helped-covid-kill/

Lidia Morawska and 31 coauthors in a new article on the struggle to recognize #aerosol or #airborne transmission of #SarsCoV2. Maybe a scientific research journal is not the best place for this message but the topic is important.
https://academic.oup.com/cid/advance-article/doi/10.1093/cid/ciad068/7034152

https://www.titan.uio.no/energi-og-miljo/2023/strommarkedet-hva-skjer-hvis-vi-kobler-nord--og-s.html

@adam42smith Personally, I'm not looking for a full citation manager, but for a convenient way to add to my large, manually curated and carefully double-checked BibTeX file. I'd rather run a tiny command-line Python code than fire up a GUI for generating new BibTeX entries that I check and add information too before saving in my BibTeX file.

@adam42smith That's a pity because Zotero is really good in other ways and the browser button is brilliant.

@adam42smith That's a nice fix, thanks! How do I change export encoding in the web version?

@adam42smith As a quick example, using Zotero to generate a BibTeX entry for the article https://europepmc.org/articles/PMC8541564 gives me the author line

author = {Ružić Gorenjec, Nina and Kejžar, Nataša and Manevski, Damjan and Pohar Perme, Maja and Vratanar, Bor and Blagus, Rok},

The first name should have been written as Ru{\v z}i{\' c} in BibTeX. In my experience it's pretty random what you get---sometimes just the nearest accent-less/umlaut-less character, sometimes like this example, sometimes the correct BibTeX formatting. But one must always double check the Zotero output.

All #bibliographic tools I know (#Zotero, Papers, #CiteULike, etc.) do a terrible job with accents/umlauts and need to be hand corrected and I suspect this one is no different. However, it usually takes a few clicks on a journal webpage to get a #BibTeX entry. This program is at least as convenient and lends itself to automation.

This Python program for looking up a DOI and printing a #BibTeX entry looks useful:

https://scipython.com/blog/doi-to-bibtex/

Found an interview with the lead author of the #Cochrane review. He is a good example of someone engaging in default thinking:

"[...] it's a complete subversion of the ‘precautionary principle’ which states that you should do nothing unless you have reasonable evidence that benefits outweigh the harms."

https://maryannedemasi.substack.com/p/exclusive-lead-author-of-new-cochrane?utm_campaign=post