Quantcast
Channel: ORBilu Collection: Philosophy & ethics
Viewing all articles
Browse latest Browse all 388

Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report

$
0
0
Title: Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical report

Author, co-author: Cramer, Marcos

Abstract: In this technical report, we present an application of the structured argumentation methodology to a debate in the foundations of mathematics. We work with ASPIC-END, a recently proposed adaptation of the structured argumentation framework ASPIC+ which can incorporate debates about logical principles, natural deduction style arguments and explanations. We apply this framework to build a preliminary formal model of parts of the debate that mathematicians had about the Axiom of Choice in the early 20th century. Furthermore, we briefly discuss the insight into the strengths and drawbacks of the modeling capacities of ASPIC-END that we have gained from producing this model.

Viewing all articles
Browse latest Browse all 388

Trending Articles


Presence Quotes – Positive Quotes


Vimeo 10.7.1 by Vimeo.com, Inc.


Girasoles para colorear


Love Quotes Tagalog


EASY COME, EASY GO


5 Tagalog Relationship Rules


“Mali man na ikaw ay ibigin ko, akoy iibig padin sayo”


RE: Mutton Pies (frankie241)


Vimeo 10.7.0 by Vimeo.com, Inc.


FORECLOSURE OF REAL ESTATE MORTGAGE


UPDATE SC IDOL: TWO BECOME ONE


Pokemon para colorear


Sapos para colorear


OFW quotes : Pinoy Tagalog Quotes


Tropa Quotes


“BAHAY KUBO HUGOT”


Re:Mutton Pies (lleechef)


Ka longiing longsem kaba skhem bad kaba khlain ka pynlong kein ia ka...


Long Distance Relationship Tagalog Love Quotes


HOY PANGIT, MAGBAYAD KA!