Conceptual thinking in Hegel’s Science of logic

Filozofia analityczna po logicyzmie Fregego i atomizmie logicznym Russella odziedziczyła szereg założeń związanych z istnieniem rodzajowej dziedziny bytów indywidualnych, których tożsamość i elementarne określenia już mamy zdefiniowane. Te „indywidua” istnieją tylko w idealnych „światach możliwych” i nie są niczym innym jak zbiorami posiadającymi strukturę bądź czystymi zbiorami matematycznymi. W przeciwieństwie do takich czysto abstrakcyjnych modeli, Hegel analizuje rolę pojęciowych rozróżnień i odpowiednich brakujących inferencji w rzeczywistym świecie. Tutaj wszystkie obiekty są przestrzennie i czasowo skończone. Nawet jeśli rzeczywiste rzeczy poruszają się zgodnie z pewnymi formami, są tylko momentami w całościowym procesie. Wszelako, formy te nie są przedmiotami bezpośredniej, empirycznej obserwacji, lecz zakładają udane i powtarzalne działania i akty mowy. W rezultacie żadna semantyka odnoszącej się do świata referencji nie może obyć się bez kategorii Heglowskich, które wykraczają daleko poza narzędzia opartej wyłącznie na relacjach logiki matematycznej

Electron transport in multiterminal networks of Majorana bound states

We investigate electron transport through multiterminal networks hosting Majorana bound states (MBS) in the framework of full counting statistics (FCS). In particular, we apply our general results to T-shaped junctions of two Majorana nanowires. When the wires are in the topologically nontrivial regime, three MBS are localized near the outer ends of the wires, while one MBS is localized near the crossing point, and when the lengths of the wires are finite adjacent MBS can overlap. We propose a combination of current and cross-correlation measurements to reveal the predicted coupling of four Majoranas in a topological T~junction. Interestingly, we show that the elementary transport processes at the central lead are different compared to the outer leads, giving rise to characteristic non-local signatures in electronic transport. We find quantitative agreement between our analytical model and numerical simulations of a tight-binding model. Using the numerical simulations, we discuss the effect of weak disorder on the current and the cross-correlation functions.Comment: 9 pages, 3 figure

What is a meaningful name? Frege’s idea of a radical semanto-ontological analysis

Some theories of language tell us that names have no meaning. A name just refers to the object named. On the other hand, we certainly may use the word „meaning” in the terminological way Frege uses the German word „Bedeutung”

Regula et sententia convertuntur: on classified inferences in linguistic understanding

Parece útil distinguirmos, de um lado, normas que implicitamente governam nossas ações e determinam a correção em termos de formas de cooperação (linguísticas e não-linguísticas) e, de outro lado, regras explícitas que nos dizem o que podemos ou que devemos fazer sob algumas condições. Consequentemente, regras são feitas explícitas em um sistema de sentenças (hipotéticas e com premissas) e sentenças que expressam regras. Sob esta perspectiva, os conectivos lógicos e quantificadores podem ser vistos como meios para expressar regras admissíveis complexas, i.e., casos ideais. No caso não-puro ou empírico de palavras relacionadas ao mundo, admissibilidade se torna a condição da harmonia geral da relação entre diferenciação e padrão anexado de inferências dos correspondentes conceitos “inferencialmente densos”. No Tractatus, Wittgenstein não enxerga ainda a diferença entre sentenças estruturantes que expressam inferências paradigmáticas para casos prototípicos e suas aplicações empíricas. Uma vez que o tratamento de casos excepcionais deve ser externalizado para bons julgamentos em aplicações singulares e particulares, nós precisamos enxergar o contraste entre um “e” sempre monotônico em sentenças estruturantes ou teorias puras e o não-monotônico “mas”, que não é apenas um “e” com algumas conotações irrelevantes, como Frege disse: as formas dialógicas do seu uso não podem nem mesmo ser expressas por uma lista de regras ou sentenças