Greg Restall<p>Franci Mangraviti and Viviane Fairbank have produced a really helpful annotated reading list of papers on the relationship between feminist philosophy and logic. There’s a lot there that I was familiar with, but plenty more that is new to me, and I’m looking forward to reading more.</p><p>If you’re interested in the relationship between philosophy and logic, and have any sympathy at all with feminist critiques of social practices, I think you’ll find this helpful. <a href="https://diversityreadinglist.org/blueprint/feminist-logic/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">diversityreadinglist.org/bluep</span><span class="invisible">rint/feminist-logic/</span></a> </p><p><a href="https://hcommons.social/tags/FeministPhilosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FeministPhilosophy</span></a> <a href="https://hcommons.social/tags/PhilosophicalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhilosophicalLogic</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
3Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.6
#PhilosophicalLogic
0 posts · 0 participants · 0 posts today
Greg Restall<p>After a short summer break exploring Scotland, it’s time to slowly get back into the saddle, giving a few talks, and preparing for the new academic year’s teaching.</p><p>First up, a short visit to Bochum for a PhD exam, and an impromptu talk on non-classical models for the identity predicate. </p><p><a href="https://consequently.org/presentation/2023/exploring-three-valued-models-for-identity/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">consequently.org/presentation/</span><span class="invisible">2023/exploring-three-valued-models-for-identity/</span></a></p><p><a href="https://hcommons.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://hcommons.social/tags/ModelTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ModelTheory</span></a> <a href="https://hcommons.social/tags/ProofTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProofTheory</span></a> <a href="https://hcommons.social/tags/PhilosophicalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PhilosophicalLogic</span></a></p>
Jencel Panic<p>And (even though it may come last when you are learning a theory) the feeling is what comes *first* to for person who creates the theory - they have a *feeling* about a given phenomenon, and then they articulate some of it in a theory. </p><p><a href="https://mathstodon.xyz/tags/PhilosophicalLogic" class="mention hashtag" rel="tag">#<span>PhilosophicalLogic</span></a> <a href="https://mathstodon.xyz/tags/philosophy" class="mention hashtag" rel="tag">#<span>philosophy</span></a></p>
Yoriyuki Yamagata<p>Hi,</p><p>I'm a researcher interested in theoretical computer science, software engineering, mathematical logic, also related philosophical topics.</p><p>My recent papers:</p><p>Mathematics:<br />"On proving consistency of equational theories in Bounded Arithmetic". Arnold Beckmann and Yoriyuki Yamagata, preprint: <a href="https://arxiv.org/abs/2203.04832" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/2203.04832</span><span class="invisible"></span></a></p><p>"Consistency proof of a fragment of PV with substitution in bounded arithmetic." Yoriyuki Yamagata, The Journal of Symbolic Logic 2018: <a href="https://arxiv.org/abs/1411.7087" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/1411.7087</span><span class="invisible"></span></a></p><p>Software Engineering:<br /> (2020). "Falsification of cyber-physical systems using deep reinforcement learning", Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J, IEEE Transactions on Software Engineering, 47(12), 2823-2840 (2021), <a href="https://staff.aist.go.jp/yoriyuki.yamagata/paper/falsify.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">staff.aist.go.jp/yoriyuki.yama</span><span class="invisible">gata/paper/falsify.pdf</span></a></p><p>Philosophy:<br />, "On the notion of validity for the bilateral classical logic", Suzuki, Ukyo & Yamagata, Yoriyuki, preprint: <a href="https://philpapers.org/rec/SUZOTN" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">philpapers.org/rec/SUZOTN</span><span class="invisible"></span></a></p><p>Extra: COVID19<br />"Individual-based epidemiological model of COVID19 using location data". In 2022 IEEE International Conference on Big Data (Big Data) (pp. 4434-4442). IEEE., <a href="https://staff.aist.go.jp/yoriyuki.yamagata/paper/covid19.pdf" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">staff.aist.go.jp/yoriyuki.yama</span><span class="invisible">gata/paper/covid19.pdf</span></a></p><p><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/MathematicalLogic" class="mention hashtag" rel="tag">#<span>MathematicalLogic</span></a> <a href="https://mathstodon.xyz/tags/BoundedArithmetic" class="mention hashtag" rel="tag">#<span>BoundedArithmetic</span></a> <a href="https://mathstodon.xyz/tags/SoftwareEngineering" class="mention hashtag" rel="tag">#<span>SoftwareEngineering</span></a> <br /><a href="https://mathstodon.xyz/tags/Philosophy" class="mention hashtag" rel="tag">#<span>Philosophy</span></a> <br /><a href="https://mathstodon.xyz/tags/PhilosophicalLogic" class="mention hashtag" rel="tag">#<span>PhilosophicalLogic</span></a><br /><a href="https://mathstodon.xyz/tags/PhilosophyOfLanguage" class="mention hashtag" rel="tag">#<span>PhilosophyOfLanguage</span></a><br /><a href="https://mathstodon.xyz/tags/COVID19" class="mention hashtag" rel="tag">#<span>COVID19</span></a> <a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="tag">#<span>Introduction</span></a></p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload