Citat:
Detta är ju ingen objektiv sanning.Jäkligt bra trådstart. Även jag har intresserat mig för sanningens natur.
Låt mig ge dig ett hypotetisk exempel som sätter saken på sin spets:
Någon gång långt i framtiden kommer en okänd intelligens till jorden och finner mängder av artefakter, bland dom en kopia av Bertrand Russells och Alfred North Whiteheads Principia Mathematica (PM). De sätter sig ner och försöker att avkoda den i förhoppningen att den ska vara en rosetta sten till vårt språk/tankar.
Tror du att de kommer överge texten för att den är obegriplig eller göra antagandet att det är ett försök att definiera meta-matematik. Jag har bara en rudimentär förståelse av matematisk logik själv (jag är varken en matematiker eller logiker) men förstår nog mycket för att inse att symbolspråket måste vara sant och uttrycka symboliska sanningar.
Kanske du inte håller med, men vad jag förstår är en överväldigande majoritet av matematiker och logiker övertygade att PM är sann men obevisbar (ala Kurt Gödel).
Nå, du känner naturligtvis till allt detta och säkerligen följande påståenden också; det som Bertrand Russell kallade "the Laws of Thinking" (han var inte först med den tanken märk väl).
"A" är lika med "A"
Allt är antingen "A" eller inte "A".
Inget kan vara både "A" och inte "A".
Det verkar som att språkligt (text eller verbalt) yttrade påståenden måste implicit anta anta att Russells tankelagar är sanna för att kunna ens formuleras. T.o.m en attack mot lagarna måste anta att lagarna är sanna. Det lagen säger är att bokstäver, fraser, satser och meningar bara kan existera i ett sammanhang vi alla kommit överens om. För att använda en språklig metafor.
Så istället för att definiera vad som är sant, kan det vara bra att definiera vad sanning ser ut som.
Sanning och sant är det som mappar eller passar (är isomorft för att använda ett roligt ord) med verkligheten. Sanning är användbar medan det som inte är sant är oanvändbart. Du kan inte använda osanning för att resa till månen, för att ta ett drastiskt exempel.
Vår uppfattning om vad som är sant och vad som inte är det, är en kognitiv väv av "sanningar". Det finns en annan kognitiv väv dock, och det är den väv som ingen enskild människa kan hålla i huvudet. Det är väven av koherens som sanna påståenden skapar -- oberoende av oss som observatörer.
Den väven mappar (är isomorf) med, och vissa vissa matematiker påstår att den ÄR, verkligheten. Vi kan bara upptäcka den, inte uppfinna den.
För att återgå till PM tror jag att en sådan främmande intelligens skulle till slut finna att PM handlar om "meta-matematik" och ge dem ett brytjärn för att plocka isär vårt tänkande bit för bit.
Slutligen, sanning måste vara koherent, och isomorf med verkligheten. Att använda "kriterier" visar bara att man inte förstår frågan till att börja med. Du måste börja från botten och bygga upp åt. Matematisk logik och tanke-lagarna är ett bra ställe att börja.
Gillar din trådstart. Intressant ämne. Hoppas på fler svar.
Proprioception
Låt mig ge dig ett hypotetisk exempel som sätter saken på sin spets:
Någon gång långt i framtiden kommer en okänd intelligens till jorden och finner mängder av artefakter, bland dom en kopia av Bertrand Russells och Alfred North Whiteheads Principia Mathematica (PM). De sätter sig ner och försöker att avkoda den i förhoppningen att den ska vara en rosetta sten till vårt språk/tankar.
Tror du att de kommer överge texten för att den är obegriplig eller göra antagandet att det är ett försök att definiera meta-matematik. Jag har bara en rudimentär förståelse av matematisk logik själv (jag är varken en matematiker eller logiker) men förstår nog mycket för att inse att symbolspråket måste vara sant och uttrycka symboliska sanningar.
Kanske du inte håller med, men vad jag förstår är en överväldigande majoritet av matematiker och logiker övertygade att PM är sann men obevisbar (ala Kurt Gödel).
Nå, du känner naturligtvis till allt detta och säkerligen följande påståenden också; det som Bertrand Russell kallade "the Laws of Thinking" (han var inte först med den tanken märk väl).
"A" är lika med "A"
Allt är antingen "A" eller inte "A".
Inget kan vara både "A" och inte "A".
Det verkar som att språkligt (text eller verbalt) yttrade påståenden måste implicit anta anta att Russells tankelagar är sanna för att kunna ens formuleras. T.o.m en attack mot lagarna måste anta att lagarna är sanna. Det lagen säger är att bokstäver, fraser, satser och meningar bara kan existera i ett sammanhang vi alla kommit överens om. För att använda en språklig metafor.
Så istället för att definiera vad som är sant, kan det vara bra att definiera vad sanning ser ut som.
Sanning och sant är det som mappar eller passar (är isomorft för att använda ett roligt ord) med verkligheten. Sanning är användbar medan det som inte är sant är oanvändbart. Du kan inte använda osanning för att resa till månen, för att ta ett drastiskt exempel.
Vår uppfattning om vad som är sant och vad som inte är det, är en kognitiv väv av "sanningar". Det finns en annan kognitiv väv dock, och det är den väv som ingen enskild människa kan hålla i huvudet. Det är väven av koherens som sanna påståenden skapar -- oberoende av oss som observatörer.
Den väven mappar (är isomorf) med, och vissa vissa matematiker påstår att den ÄR, verkligheten. Vi kan bara upptäcka den, inte uppfinna den.
För att återgå till PM tror jag att en sådan främmande intelligens skulle till slut finna att PM handlar om "meta-matematik" och ge dem ett brytjärn för att plocka isär vårt tänkande bit för bit.
Slutligen, sanning måste vara koherent, och isomorf med verkligheten. Att använda "kriterier" visar bara att man inte förstår frågan till att börja med. Du måste börja från botten och bygga upp åt. Matematisk logik och tanke-lagarna är ett bra ställe att börja.
Gillar din trådstart. Intressant ämne. Hoppas på fler svar.
Proprioception
Det är ett kriterium som man subjektivt kommit överens om.
Detta för att troligen flertalet uppfattar omvärlden så.
Men det innebär inte per se att detta är en objektiv sanning imho.
Det är ju bara på samma sätt att hävda att A är inte lika med A när D = 0 utan är då obestämbar.
Säg då att D står för dimensioner.
Man menar då att i ett dimensionslöst "rum" existerar inga mängder eller storheter.
Detta är nu As egenskaper på samma sätt som i det fetade.
Sedan kan man ju bygga en logik som följer detta.
Eller så kan man hitta på något annat.
Så det är inte så jäkla enkelt att ens börja sätta upp axiom mm för hur man än bär sig åt hamnar man i ett första subjektivt antagande, måhända för individen ett reellt objektivt antagande men det innebär inte att man kan kan överföra det smärtfritt till en generell lag för alla.