Simone Picenni
@spicenni.bsky.social
Postdoc @ ILLC/UvA
Logic | Formal semantics | Theories of Truth & Truthmaking | HOL Light user
Support the Human Right To Science!
Logic | Formal semantics | Theories of Truth & Truthmaking | HOL Light user
Support the Human Right To Science!
I will soon create the starter pack of all and only those people that do not create starter packs
November 26, 2024 at 5:20 PM
I will soon create the starter pack of all and only those people that do not create starter packs
You can find Philip Welch's lecture notes on (Axiomatic) Set Theory here: people.maths.bris.ac.uk/~mapdw/teach...
During the pandemic, Philip recorded his lectures and uploaded them to YouTube. A link to these recordings is also available on the webpage :)
During the pandemic, Philip recorded his lectures and uploaded them to YouTube. A link to these recordings is also available on the webpage :)
people.maths.bris.ac.uk
November 24, 2024 at 7:45 AM
You can find Philip Welch's lecture notes on (Axiomatic) Set Theory here: people.maths.bris.ac.uk/~mapdw/teach...
During the pandemic, Philip recorded his lectures and uploaded them to YouTube. A link to these recordings is also available on the webpage :)
During the pandemic, Philip recorded his lectures and uploaded them to YouTube. A link to these recordings is also available on the webpage :)
Gosh, I have *at least* four books in mind hahah but I guess I'll go with this one!
November 21, 2024 at 6:47 AM
Gosh, I have *at least* four books in mind hahah but I guess I'll go with this one!
Reposted by Simone Picenni
• See M. Massimi (2024) "From the right to science as an. epistemic-cultural human right to the right to expertise", in M.
Farina, A. Lavazza and D. Pritchard eds.) Expertise.
Philosophical Perspe
as, Oxford: Oxford University Press.
Farina, A. Lavazza and D. Pritchard eds.) Expertise.
Philosophical Perspe
as, Oxford: Oxford University Press.
November 17, 2024 at 1:26 AM
• See M. Massimi (2024) "From the right to science as an. epistemic-cultural human right to the right to expertise", in M.
Farina, A. Lavazza and D. Pritchard eds.) Expertise.
Philosophical Perspe
as, Oxford: Oxford University Press.
Farina, A. Lavazza and D. Pritchard eds.) Expertise.
Philosophical Perspe
as, Oxford: Oxford University Press.
Something similar to Yablo's ω-liar can actually be found in Kripke's Outline (1975). There, Kripke introduces a 'descending' hierarchy of Tarskian languages – each language L_α 'talks about' the truth of all the languages L_α+1. Visser proved that this yields something along the lines of an ω-liar!
November 15, 2024 at 11:03 AM
Something similar to Yablo's ω-liar can actually be found in Kripke's Outline (1975). There, Kripke introduces a 'descending' hierarchy of Tarskian languages – each language L_α 'talks about' the truth of all the languages L_α+1. Visser proved that this yields something along the lines of an ω-liar!