Logische Operatoren?

[Grotemson]

Gibt es eigentlich evtl. irgendwie die Möglichkeit, logisches Vokabular als Funktion einzubetten.(Also wenigstens Ex, Ax ^, ->, oder, <->,nicht)? Ich habe keine Ahnung davon, wie Foren und Foren-Funktionen aufgebaut sind, deshalb mag das eine dumme und/oder naive Frage sein.

[Nanna]

Die Frage ist weder dumm noch naiv, die Idee gut und sinnvoll, aber auch etwas kompliziert umzusetzen.

Wenn ich dich richtig verstehe, hättest du gerne einen in die Forensoftware integrierten Formeleditor. Ich habe mich mal in den einschlägigen Foren umgesehen, die Idee ist anscheinend nicht neu und wird oft von Betreibern von Technik- und Mathematikforen nachgefragt. Es scheint, insbesondere für phpbb, allerdings derzeit keine wirklich triviale Lösung für dieses Problem zu geben.

Die einzige prinzipiell machbare Möglichkeit, auf die ich gestoßen bin, wäre die Integration von fedGeo in die Forensoftware (Anleitung). Das wäre aber eine eher experimentelle Angelegenheit, von der unklar ist, ob sie die Stabilität des Forums gefährden würde. Definitiv macht die Installation experimenteller Mods Updates der Forensoftware komplizierter.

Falls es hier von mehreren Seiten eine Nachfrage nach Formelsatz gibt, wäre ich schon bereit, das irgendwann in den kommenden Wochen mal auszuprobieren, aber es müsste eben klar sein, dass tatsächlich der Wunsch besteht, ein solches Feature auch zu nutzen.

[Myron]

Falls es hier von mehreren Seiten eine Nachfrage nach Formelsatz gibt, wäre ich schon bereit, das irgendwann in den kommenden Wochen mal auszuprobieren, aber es müsste eben klar sein, dass tatsächlich der Wunsch besteht, ein solches Feature auch zu nutzen.

Davon würden doch nur sehr wenige und auch nur sehr selten Gebrauch machen. Meinetwegen musst du den Aufwand nicht betreiben.
Ich komme mit den folgenden Ersatzzeichen gut zurecht:

Ex
Ax
&
v
~
–>
<->
<>
[]
e
|-
|=

[Grotemson]

Ich fände es nur praktisch. Einen Riesenaufwand, der Zeit in Anspruch nimmt und die Stabilität des Forums gefährdet, würde ich jetzt auch nicht auslösen wollen. Myron hat Recht damit, dass vermutlich zwei oder drei User regelmäßigen Gebrauch davon machen würden. Wenn es einen einfachen Weg gegeben hätte, hätte ich es dennoch nett gefunden- aber so kann man ja tatsächlich darauf zurückgreifen, was die normale Tastatatur so hergibt.

[xander1]

Wenn dann würde ich die ganze Prädikatenlogik erster und zweiter Stufe einführen für das Forum.

Wenn es einen Latex-Mod gibt für das Forum, und ich glaube so etwas gibt es, dann müsste das eigentlich umsetzbar sein. Man muss dann nur noch Latex beherrschen.

[ujmp]

Da phpBB Unicode kompatibel ist kann man auch die Unicode-Zeichen verwenden:

∀ ∃ → ← ↔ ⋀ ⋁

Ich hab diese Zeichen mit Hilfe der Zeichentabelle von Windows (charmap.exe) eingegben. Wenn man da auf "Gruppieren nach -> Unicodebereich" geht, findet man sie im Abschnitt "Mathematische Zeichen". Um sie angezeigt zu bekommen, muss man aber einen Unicode-Zeichensatz installiert haben, gibts aber kostenlos und einen Browser verwenden, der das darstellen kann.

[1von6,5Milliarden]

kann man auch die Unicode-Zeichen verwenden
...
Ich hab diese Zeichen mit Hilfe der Zeichentabelle von Windows (charmap.exe) eingegben.

Das liegt primär eher an den "modernen" Browsern bzw. an HTML4.0 (aufwärts) (und eben HTML-kompatiblen Browsern) als Grundvoraussetzung.
Allerdings sollte man verständlich schreiben, also schreibe man normale deutsche (Schrift-)Sprache soweit möglich und soweit nicht in irgendwelchen "Spezialthreads" fast zwingend angebracht. Es gibt noch Leute die ohne logische Operatoren aufgewachsen sind und dies auch nie aus beruflichen Gründen sich haben aneignen müssen. Korrektes Deutsch ist ja sichtbar schon schwer genug.

[Zappa]

Es gibt noch Leute die ohne logische Operatoren aufgewachsen sind und dies auch nie aus beruflichen Gründen sich haben aneignen müssen.

Genau! Vielleicht könnte jemand sich die Mühe machen und eine Tabelle mit den (jetzt oder später) verwendbaren Operatoren aufstellen? Ich hab da manchmal auch so meine Mühe (was zur Hölle ist z.B. ein umgekipptes A und wofür steht Ex ).

[Lumen]

Kommt auf phpBB an, aber in vieler Foren-Software können leicht eigene bb-Codes erstellt werden. Eine andere oft eingebaute Möglichkeit ist sowas wie ein automatisches "Suchen & Ersetzen". Ihr müsstet euch darauf einigen, welcher bb-Tag oder eindeutige String für jeweils einen Operator gelten soll, dann könnte ein Admin vielleicht tätig werden.

[xander1]

Ich habe schon geschrieben, was man tun muss.

Leider wurde das bis jetzt nicht getan.

Ich hatte mal ein phpBB Forum verwendet, da gab es das.

Das wurde für Mathe verwendet.

[1von6,5Milliarden]

Das wurde für Mathe verwendet.

Na sowas.
Und falls es jemandem noch nicht aufgefallen sein sollte, wir sind hier weder ein mathematisches Forum noch ein Forum für Programmierung o.ä.

[xander1]

Ihr seid auch kein Forum für Literatur und doch kann man etwas schreiben.

[1von6,5Milliarden]

Falls es noch nicht aufgefallen sein sollte, Schrift und die normalen Schriftzeichen werden auch außerhalb "der Literatur" häufig benutzt. Logische Operatoren werden aber höchst selten außerhalb "ihrer Spezialumgebung" genutzt, zumindest nicht die "gewünschten" bzw. erwähnten Zeichen. Die logischen Operatoren die sich "direkt auf derTastatur finden" (wie < , > und = ) und üblicherweise auch im nicht spezialisierten Alltagsleben gebraucht werden, können ja genutzt werden solange es einigermaßen allgemeinverständlich bleibt, ebenso wie ihre Abwandlungen.
Es ist nicht sinnvoll sich unverständlich auszudrücken, weder durch nur eingeschränkte Sonderzeichen, Abkürzungen, Fremdwörter oder ähnliches. Auch wenn man natürlich durchaus mal so etwas unbewusst einsetzen kann oder irrtümlich als bekannt ansehen kann.
Wenn du mal einen logischen und sinnvollen Grund nennen könntest, warum man hier in diesem Forum logische Operatoren benutzen sollte, dann könnte man darüber nachdenken. Aber ich erkennen keinen Grund sich hier in diesem Forum durch forumsferne Sonderzeichen sich von einem Teil der Forumsbenutzer zu distanzieren.

[xander1]

OK Chef..........

[1von6,5Milliarden]

Was ist damit?

Wenn du mal einen logischen und sinnvollen Grund nennen könntest, warum man hier in diesem Forum logische Operatoren benutzen sollte, dann könnte man darüber nachdenken.

[xander1]

Man kann damit kausale Zusammenhänge beschreiben.
Man kann ganze Sätze damit aufbauen.
Man könnte eine künstliche Intelligenz damit sogar beschreiben.
Man formuliert Sätze exakter.

[Nanna]

Damit hast du schon recht, nur, man kann das auch mit chinesischen Schriftzeichen tun. 1von6,5Milliarden meinte mit "sinnvoll" vermutlich auch, dass der Aufwand im Verhältnis zum Nutzen stünde. Die Frage ist, wie groß der Nutzen einer logisch perfekt dargestellten Aussage ist, wenn sie sich nur einem Bruchteil der Mitglieder erschließt und noch dazu ein ziemlicher Aufwand betrieben werden muss, die Darstellung in die Software zu implementieren.

[xander1]

Man könnte den anderen Mitgliedern diese Methode beibringen.
Das ist gar nicht so schwer.
Es hat einen Trainingseffekt auf das logische Denken.
Mit deutschen Worten kann man das auch ausdrücken.
Logische operatoren sind vermutlich universell.
Wenn sie universell sind, dann ist das eine Weltsprache.

btw.: Wahrscheinlich wäre ich zu faul es ordentlich zu nutzen. Aber es gibt Programme mit denen man Latex generieren kann.

Latex ist eigentlich dafür da, wissenschaftliche Arbeiten zu schreiben, wie Diplomarbeiten oder Doktorarbeiten.

[Nanna]

Ich stimme dir da schon zu, grundsätzlich wäre es sicherlich interessant. Ich würde aber erstmal aus Pragmatismus heraus dabei bleiben, die von ujump vorgeschlagenen Unicode-Zeichen zu verwenden.

[xander1]

Mal nicht ganz zu dem Thema:

Mich würde eine universelle mathematisch orientierte Sprache wirklich interessieren.
Eine Sprache die mit Wahrscheinlichkeiten und Logik arbeitet, würde sich z.B. für Gerichte eignen,
wenn man Urteile aufgrund von Wahrscheinlichkeiten fällen muss.

Ich selbst hatte vor einer Weile eine recht komplexe Situation, in der ich mit Wahrscheinlichkeiten und Logik etwas halbkriminelles beurteilen musste.
Da kam ich dann auf die Idee für eine Prädikantenlogik, die mit Wahrscheinlichkeiten arbeitet.