Bibliotekarz przestrzeni między twierdzeniem a dowodem

Nawiguj po tym, czego tekst
nie może udowodnić.

Babel zawiera każdą możliwą konfigurację. Sekstant pomaga zdecydować, które konfiguracje zasługują na kolejne pytanie.

Zasada działania

Lokalizacja zdania jest matematyczna. Decydowanie o jego znaczeniu jest praktyką tarcia.

Pole znaczenia

0.50 / 0.50 / 0.50

WAGA ARCHIWALNA ONTOLOGIA OBECNOŚĆ SESJI OPERACJA

YOU ARE
HERE

twoje położeniepunkt orientacyjny

Zrównoważone położenie · gotowe do inspekcjiGdzie jestem?

Rejestr dowodów

GOTOWY DO AUDYTU

Bibliotekarz oddziela to, co mówi źródło, od tego, co można na jego podstawie ustalić.

EPISTEMIC ADDRESS · awaiting inquiry

Powrót bibliotekarza

OCZEKIWANIE NA PYTANIE

Stanowisko to dopiero początek. Bibliotekarz podzieli Twoje pytanie na tezy, napięcia i testy.

∿

CZYTANIE PYTANIA

Nie otwarto żadnego zapytania

Napisz powyżej tezę lub dylemat. Przydatna odpowiedź zaczyna się od określenia, jaki rodzaj odpowiedzi mógłby zostać uznany.

WYKRYTO TEZY

Oczekiwanie na materiały

KONTKROLWERSYJNE TARCIE

Najsilniejszy zarzut nie został jeszcze sformułowany.

Wstaw następne pytanie w ramkę ↗

Metoda: lokalizuj · rozróżniaj · testuj wytrzymałośćBRAK TEZY DOTYCZĄCEJ PEWNOŚCI

Okno Babel

WSPÓŁRZĄDNE GOTOWE

Tekst może zostać zlokalizowany, nie stając się prawdziwym.

Sekstant pokazuje teraz, jak Twój obecny kurs wpływa na to samo pytanie: jeden adres dla sformułowania, jedno odczytanie dla nacisku, jaki na nie wywierasz.

⌬

ZLOKALIZOWANY TEKSTDOKŁYWNE SFORMUŁOWANIE

WSPÓŁRZĘDNA EPISTEMICZNAKopiuj współrzędną

Obliczony lokalizator · dowodzi on, gdzie znajduje się ciąg znaków, a nie, co ten ciąg dowodzi.

OBECNA SOCZEWKA

AKTYWNA KONTR-LEKTURA↯

Kontr-współrzędna

Kontr-lektura jest narzędziem wątpliwości, a nie ukrytym faktem.

Nawiguj po tym, czego tekstnie może udowodnić.