#philosophyoflogic — Public Fediverse posts

In the mountains, I love exploring nature and climbing any little hidden corner.

My academic interests include mathematics (#mathematics) and mathematical logic ( #mathematicallogic #logic), particularly model theory ( #modeltheory), category theory ( #categorytheory), higher-order logic and metalogic ( #metalogic), as well as the philosophy of mathematics and logic ( #philosophyofmathematics #philosophyoflogic), epistemology and ontology of them.

#introduction

In the mountains, I love exploring nature and climbing any little hidden corner.

My academic interests include mathematics ( #mathematics) and mathematical logic ( #mathematicallogic #logic), particularly model theory ( #modeltheory), category theory ( #categorytheory), higher-order logic and metalogic ( #metalogic), as well as the philosophy of mathematics and logic ( #philosophyofmathematics #philosophyoflogic), epistemology and ontology of them.

#introduction

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

https://youtu.be/jtPgdy80YZ8

#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

https://youtu.be/jtPgdy80YZ8

#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic

#philsci
#philmath
#epistemology
#PhilosophyOfLogic

happy to have my most current research paper now approved as a fixed preprint at Cambridge Open Engage

https://www.cambridge.org/engage/coe/article-details/67063c69cec5d6c142aac4e0

#philsci
#philmath
#epistemology
#PhilosophyOfLogic

happy to have my most current research paper now approved as a fixed preprint at Cambridge Open Engage

https://www.cambridge.org/engage/coe/article-details/67063c69cec5d6c142aac4e0

#PhilosophyOfMathematics
#PhilosophyOfLogic

occasional sunday finding wrt the applicability of logic, worth noting and worth discussion.

... It serves little purpose to argue that logic exists outside mathematics. Whatever,
outside mathematics, is reducible to pure logic is invariably found, on close inspection, to be nothing but a strictly mathematical scheme (mostly combinatorial), so devised as to apply to some concrete situation; one need
only think e.g. of the classical syllogism (every man is mortal, Socrates is a man, etc.) to convince oneself of the truth of this statement. Outside mathematics, even in the physical sciences, there is no statement that does not have to be qualified by the knowledge, common to the speaker and to his audience, of some physical or mental context. ...
[FOUNDATIONS OF MATHEMATICS FOR THE WORKING MATHEMATICIAN,
N. BOURBAKI, JSL 1949]

#PhilosophyOfMathematics
#PhilosophyOfLogic

occasional sunday finding wrt the applicability of logic, worth noting and worth discussion.

... It serves little purpose to argue that logic exists outside mathematics. Whatever,
outside mathematics, is reducible to pure logic is invariably found, on close inspection, to be nothing but a strictly mathematical scheme (mostly combinatorial), so devised as to apply to some concrete situation; one need
only think e.g. of the classical syllogism (every man is mortal, Socrates is a man, etc.) to convince oneself of the truth of this statement. Outside mathematics, even in the physical sciences, there is no statement that does not have to be qualified by the knowledge, common to the speaker and to his audience, of some physical or mental context. ...
[FOUNDATIONS OF MATHEMATICS FOR THE WORKING MATHEMATICIAN,
N. BOURBAKI, JSL 1949]

@philosophy
@philosophie

@philpapers_bot
brought to my attention this nice piece in the #PhilosophyOfLogic

it's open access and imop truly worth a read

https://philpapers.org/rec/REIASN

@philosophy
@philosophie

@philpapers_bot
brought to my attention this nice piece in the #PhilosophyOfLogic

it's open access and imop truly worth a read

https://philpapers.org/rec/REIASN

@philosophy
@philosophie

#logic

#PhilosophyOfLogic

#WorldLogicDay2024

these days found two events announced:

https://sites.google.com/view/wld-gil-2024/

https://sites.google.com/view/wldzurich2024

the general #wld24 event list may be found at:

http://wld.cipsh.international/wld2024.html

@philosophy
@philosophie

#logic

#PhilosophyOfLogic

#WorldLogicDay2024

these days found two events announced:

https://sites.google.com/view/wld-gil-2024/

https://sites.google.com/view/wldzurich2024

the general #wld24 event list may be found at:

http://wld.cipsh.international/wld2024.html

The #Unexpected #Hanging #Paradox

https://www.youtube.com/watch?v=EPOXhFJsqlM&ab_channel=SmartbyDesign

#Philosophy #PhilosophyOfLogic #Logic #Epistemology #Paradoxes #Expectation #Expectations #SurpriseExam #SurpriseExamParadox

The #Unexpected #Hanging #Paradox

https://www.youtube.com/watch?v=EPOXhFJsqlM&ab_channel=SmartbyDesign

#Philosophy #PhilosophyOfLogic #Logic #Epistemology #Paradoxes #Expectation #Expectations #SurpriseExam #SurpriseExamParadox

#JeffreyKaplan - Occam's Razor - rational principles explained

https://www.youtube.com/watch?v=3BxxKE-NcRo&ab_channel=JeffreyKaplan

#OccamsRazor #Philosophy #PhilosophyOfLogic #Truth #Explanation #Logic #Simplicity #Ontology #Existence #Rationality

#JeffreyKaplan - Occam's Razor - rational principles explained

https://www.youtube.com/watch?v=3BxxKE-NcRo&ab_channel=JeffreyKaplan

#OccamsRazor #Philosophy #PhilosophyOfLogic #Truth #Explanation #Logic #Simplicity #Ontology #Existence #Rationality

#JeffreyKaplan - The #LiarParadox - an explanation of the #Paradox from 400 BCE

https://www.youtube.com/watch?v=in4u2i9v4vg&ab_channel=JeffreyKaplan

#Philosophy #PhilosophyOfLogic #Logic #Language #Math #Maths #Mathematics #Truth #SelfReference #Completeness #Incompleteness #StarTrek #Kirk #CaptainKirk #Picard #CaptainPicard

#JeffreyKaplan - The #LiarParadox - an explanation of the #Paradox from 400 BCE

https://www.youtube.com/watch?v=in4u2i9v4vg&ab_channel=JeffreyKaplan

#Philosophy #PhilosophyOfLogic #Logic #Language #Math #Maths #Mathematics #Truth #SelfReference #Completeness #Incompleteness #StarTrek #Kirk #CaptainKirk #Picard #CaptainPicard

#RaymondTallis - What is #Truth?

https://www.youtube.com/watch?v=WLhTG7etzlc&ab_channel=CloserToTruth

#Philosophy #Logic #PhilosophyOfLogic #Assertions #States #StatesOfAffairs #Belief #JTB #JustifiedTrueBelief #Pragmatism #Minimalism #Predicate #Predicates #Relativism #Noumenal #Ontological #Kant #Kantian #DingAnSich #CloserToTruth #RobertKuhn

#RaymondTallis - What is #Truth?

https://www.youtube.com/watch?v=WLhTG7etzlc&ab_channel=CloserToTruth

#Philosophy #Logic #PhilosophyOfLogic #Assertions #States #StatesOfAffairs #Belief #JTB #JustifiedTrueBelief #Pragmatism #Minimalism #Predicate #Predicates #Relativism #Noumenal #Ontological #Kant #Kantian #DingAnSich #CloserToTruth #RobertKuhn

#Veritasium - #Math's #FundamentalFlaw

https://www.youtube.com/watch?v=HeQX2HjkcNo&ab_channel=Veritasium

#RussellParadox #BertrandRussell #Philosophy #PhilosophyOfLanguage #PhilosophyOfLogic #Logic #Math #Maths #Mathematics #SetTheory #Sets #Predicates #Subjects #Paradox #LogicalParadox #Contradiction #Contradictions #Incompleteness #IncompletenessTheorem #Goedel #Hilbert

#Veritasium - #Math's #FundamentalFlaw

https://www.youtube.com/watch?v=HeQX2HjkcNo&ab_channel=Veritasium

#RussellParadox #BertrandRussell #Philosophy #PhilosophyOfLanguage #PhilosophyOfLogic #Logic #Math #Maths #Mathematics #SetTheory #Sets #Predicates #Subjects #Paradox #LogicalParadox #Contradiction #Contradictions #Incompleteness #IncompletenessTheorem #Goedel #Hilbert

#JeffreyKaplan - #RussellsParadox - A simple #Explanation of a profound #Problem

https://www.youtube.com/watch?v=ymGt7I4Yn3k&ab_channel=JeffreyKaplan

#BertrandRussell #Philosophy #PhilosophyOfLanguage #PhilosophyOfLogic #Logic #Math #Maths #Mathematics #SetTheory #Sets #Predicates #Subjects #Paradox #LogicalParadox #Contradiction #Contradictions #Incompleteness #IncompletenessTheorem #Goedel #Hilbert

#JeffreyKaplan - #RussellsParadox - A simple #Explanation of a profound #Problem

https://www.youtube.com/watch?v=ymGt7I4Yn3k&ab_channel=JeffreyKaplan

#BertrandRussell #Philosophy #PhilosophyOfLanguage #PhilosophyOfLogic #Logic #Math #Maths #Mathematics #SetTheory #Sets #Predicates #Subjects #Paradox #LogicalParadox #Contradiction #Contradictions #Incompleteness #IncompletenessTheorem #Goedel #Hilbert

#TimMinchin - '#ConfirmationBias'

https://www.youtube.com/watch?v=G1juPBoxBdc&ab_channel=TimMinchin

#Philosophy #Logic #PhilosophyOfLogic #Empathy #ProgressiveThought #CognitiveDissonance #SocialMedia #TribalSociety #Society #SocialNorms #Comedy #ComedyRoutine #Funny

#TimMinchin - '#ConfirmationBias'

https://www.youtube.com/watch?v=G1juPBoxBdc&ab_channel=TimMinchin

#Philosophy #Logic #PhilosophyOfLogic #Empathy #ProgressiveThought #CognitiveDissonance #SocialMedia #TribalSociety #Society #SocialNorms #Comedy #ComedyRoutine #Funny