Citat:
Ursprungligen postat av
Bogomil
FYI: Eventuellt kan alla ad hoc premissade resonemanger demonstreras vara cirkelargument.
Till skillnad från strikta axiomatik-baserade resonemanger (i en logisk/epistemisk metafysik).
Låt A vara en mängd axiom/premisser/postulat/annat lämpligt ord. Låt B vara mängden teorem som följer från A. Vi kallar då cirkelargument alla argument som använder sig av någon kombination element från A för att härleda ett teorem som redan är ett element i A.
Låt C nu vara ett sökt teorem. Om vi finner att C ej tillhör B kan vi lägga till ett element D i A på så sätt att C nu tillhör B. Om D=C har vi ett cirkelargument, men om D≠C, hur kan vi demonstrera att vi har ett cirkelargument? Vidare, Eftersom
ad hoc i sig inte är ett begrepp som är väldefinierat i formell logik (om än dock kanske i s.k. informell logik) utan snarare beskriver ett typ av resonemang vi inte känner oss övertygade av vet jag inte om jag känner mig bekväm med ordet "demonstrera", annat än vi redan innan har formaliserats dess innebörd. Accepterar du exempelvis sättet jag försökte approximera det ovan på, alltså att C finns i B om vi lägger till D i A, varvid vi skulle kalla D för
ad hoc-premiss?
Vidare undrar jag också om engelskan spökar ovan. Eventuellt på svenska används i regel som synonym till ord som "kanske", "möjligen". Ville du alltså säga att man kanske kan visa att alla "ad hoc premissade resonemanger" är cirkelargument, eller önskade du engelska
eventuallys något mer deterministiska innebörd?
Slutligen, skulle du säga att användaren Milmerokins invändning mot en Paulus som är tyst om Jesu jordiska liv vara en god sådan (alltså inte ett cirkelresonemang)?