Australasian Association for Logic
Australasian Association for Logic
  • 111
  • 15 971

วีดีโอ

Nick Smith What is a formal proof?
มุมมอง 58วันที่ผ่านมา
Nick Smith What is a formal proof?
Phokion Kolaitis Homomorphism Counts Expressive Power and Query Algorithms
มุมมอง 23วันที่ผ่านมา
Phokion Kolaitis Homomorphism Counts Expressive Power and Query Algorithms
Ed Mares Partial and False Information
มุมมอง 36วันที่ผ่านมา
Ed Mares Partial and False Information
Leonardo Pacheco Collapsing Constructive and Intuitionistic Modal Logics
มุมมอง 45หลายเดือนก่อน
Leonardo Pacheco Collapsing Constructive and Intuitionistic Modal Logics
James Carr Locality in Residuated Lattice Models
มุมมอง 66หลายเดือนก่อน
James Carr Locality in Residuated Lattice Models
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
มุมมอง 85หลายเดือนก่อน
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
Joseph McDonald Canonical Completion and Duality for Cylindric Ortholattices
มุมมอง 43หลายเดือนก่อน
Joseph McDonald Canonical Completion and Duality for Cylindric Ortholattices
Sara L Uckelman and Ben Steer "Bad grammar as well as bad logic" Christine Ladd Franklin on Bert
มุมมอง 53หลายเดือนก่อน
Sara L Uckelman and Ben Steer "Bad grammar as well as bad logic" Christine Ladd Franklin on Bert
Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
มุมมอง 31หลายเดือนก่อน
Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
John Slaney SubDL Is Dead; Long Live subDL
มุมมอง 25หลายเดือนก่อน
John Slaney SubDL Is Dead; Long Live subDL
Fernando Cano Jorge Inconsistent Sets and How to Compute Them
มุมมอง 52หลายเดือนก่อน
Fernando Cano Jorge Inconsistent Sets and How to Compute Them
Isabella Scott Computability Theory of Existentially Closed Groups
มุมมอง 69หลายเดือนก่อน
Isabella Scott Computability Theory of Existentially Closed Groups
Annalisa Conversano Applications of o minimality to groups and rings
มุมมอง 47หลายเดือนก่อน
Annalisa Conversano Applications of o minimality to groups and rings
Alberto Paparella Reasoning with Many Valued Interval Temporal Logic
มุมมอง 117หลายเดือนก่อน
Alberto Paparella Reasoning with Many Valued Interval Temporal Logic
Ben Blumson Three Valued Conditionals
มุมมอง 16หลายเดือนก่อน
Ben Blumson Three Valued Conditionals
Gemma Robles A Connexive 4 valued Implication Expansion of Belnap Dunn Logic with the Variable Sha
มุมมอง 30หลายเดือนก่อน
Gemma Robles A Connexive 4 valued Implication Expansion of Belnap Dunn Logic with the Variable Sha
Mikhail Katz A Leibniz:NSA Comparison
มุมมอง 128หลายเดือนก่อน
Mikhail Katz A Leibniz:NSA Comparison
Ramaz Liparteliani On the Theory of Epistemic Lukasiewicz Logic Corresponding to the Chang Algebra
มุมมอง 40หลายเดือนก่อน
Ramaz Liparteliani On the Theory of Epistemic Lukasiewicz Logic Corresponding to the Chang Algebra
Frank Stephan Languages Given by Finite Automata Over the Unary Alphabet
มุมมอง 12หลายเดือนก่อน
Frank Stephan Languages Given by Finite Automata Over the Unary Alphabet
Tomasz Kowalski Embedding lattice ordered groups into lattice ordered groups whose all automorphis
มุมมอง 34หลายเดือนก่อน
Tomasz Kowalski Embedding lattice ordered groups into lattice ordered groups whose all automorphis
Nick Smith Proving Oneself
มุมมอง 141หลายเดือนก่อน
Nick Smith Proving Oneself
Nathaniel Gan Relative Completeness
มุมมอง 18หลายเดือนก่อน
Nathaniel Gan Relative Completeness
Andre Nies Finite Automaton Presentable Groups Examples and Non Examples
มุมมอง 28หลายเดือนก่อน
Andre Nies Finite Automaton Presentable Groups Examples and Non Examples
Noam Greenberg Effective descriptive set theory and Wadge classes
มุมมอง 33หลายเดือนก่อน
Noam Greenberg Effective descriptive set theory and Wadge classes
Masanobu Toyooka Star Semantics for Empirical Negation
มุมมอง 40หลายเดือนก่อน
Masanobu Toyooka Star Semantics for Empirical Negation
Cláudia Nalon and Dirk Pattinson Non Monotonic Modal Logics From Sequent to Resolution Calculi
มุมมอง 26หลายเดือนก่อน
Cláudia Nalon and Dirk Pattinson Non Monotonic Modal Logics From Sequent to Resolution Calculi
Tim French Proof Theory For Aleatoric Logic
มุมมอง 58หลายเดือนก่อน
Tim French Proof Theory For Aleatoric Logic
Davide Sutto Axiomatizing the Weak Iterative Conception of Set
มุมมอง 59หลายเดือนก่อน
Davide Sutto Axiomatizing the Weak Iterative Conception of Set
Karen Green Some ‘Objects of Thought’ Are Not Objects
มุมมอง 43หลายเดือนก่อน
Karen Green Some ‘Objects of Thought’ Are Not Objects

ความคิดเห็น

  • @daesi
    @daesi 10 วันที่ผ่านมา

    Very cool talk

  • @Ерофеева-и7ч
    @Ерофеева-и7ч หลายเดือนก่อน

    Thanks for the forecast! I have a quick question: I have a SafePal wallet with USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How should I go about transferring them to Binance?

  • @Синельникова-з4й
    @Синельникова-з4й หลายเดือนก่อน

    Thanks for the forecast! A bit off-topic, but I wanted to ask: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). Could you explain how to move them to Binance?

  • @kurtgodel5236
    @kurtgodel5236 หลายเดือนก่อน

    3:10 "dede kind"????

  • @DarrenMcStravick
    @DarrenMcStravick หลายเดือนก่อน

    UWA producing some bangers as per usual

  • @MrMentalpuppy
    @MrMentalpuppy 9 หลายเดือนก่อน

    Insightful video!

  • @die_schlechtere_Milch
    @die_schlechtere_Milch 9 หลายเดือนก่อน

    9:32 What? Phenomenology, the metaphysical underpinnning of National Socialism? Because Husserl's most famous non-jewish student was a Nazi?

  • @mathematicsandstuff
    @mathematicsandstuff 10 หลายเดือนก่อน

    Personally, I like the Brian Magee series... He set up to investigate exactly the same stuff George Riley Scott investigated in the fifties, but somehow, nobody knows how, the Home Office Dossiers got buried!!! Can you spot the *cannibal* in the Brian Magee series?? That's Iris Murdoch, sir.

  • @ValentinBrutusBura
    @ValentinBrutusBura ปีที่แล้ว

    Flamingoes, mobile Sierpinski Triangles, and on-the-ground hardware, right here in Te Aro, makes a 40 year old man fall of their feet due to stroke, blame it on tobacco. Hah.

  • @ValentinBrutusBura
    @ValentinBrutusBura ปีที่แล้ว

    The car that I want?? So I am the one who wants a car! It's time for Flamingoes gentlemen. Problems?? :))

  • @ValentinBrutusBura
    @ValentinBrutusBura ปีที่แล้ว

    In any case. My research will always be public, dear fellow researchers. That's because: 1) the Earth is actually flat, as you should know by now, and 2) I don't like Aliens ruining Cathedrals. Cool?

  • @ValentinBrutusBura
    @ValentinBrutusBura ปีที่แล้ว

    Maybe there's a language barrier here. Maybe I am the native Englishman. Who knows.

  • @ValentinBrutusBura
    @ValentinBrutusBura ปีที่แล้ว

    Mister Cress. Three questions. Year of Birth. Are you still getting aroused from time to time. Describe your Math achievements in not more than two sentences.

  • @razzullie
    @razzullie ปีที่แล้ว

    wow!

  • @razzullie
    @razzullie ปีที่แล้ว

    Have not seen him for a long time!

  • @aniketsharma5870
    @aniketsharma5870 ปีที่แล้ว

    Is it possible for the handouts for this video to be shared. I am currently working on a thesis on theories of quantification and Marcus-Quine Debate about the Substitutional Versus Objectual Interpretations (respectively) of First Order Binary Quantifiers - and would really benefit from said handouts.

  • @hebozhe
    @hebozhe ปีที่แล้ว

    I generalized this for intuitionistic fragment {\/, /\, and ~} using classical truth-tables and a corollary of Gilvenko's theorem. I'll see if there's applicability of this to the conditional. "Hacking Truth-Tables" in Google should link to the article.

  • @hebozhe
    @hebozhe ปีที่แล้ว

    I do have a use case for it, but starting from the atomics.

  • @HainishMentat
    @HainishMentat ปีที่แล้ว

    Is there any way to think of the Barcan schema that doesn't run afoul of the usual domain concerns? It's easy to derive from the Barcan sentence that ◇∃x(Bx) -> ∃x(◇Bx), which seems clearly false. Does translating this into Advicenna's way help?

  • @Medievalists
    @Medievalists ปีที่แล้ว

    Any details on when and where this took place?

  • @corneliuscain5351
    @corneliuscain5351 ปีที่แล้ว

    Promo-SM

  • @valentinussofa4135
    @valentinussofa4135 ปีที่แล้ว

    Can I have the access to this paper or slide presentation? Thanks before. 🙏

  • @amanasleep3369
    @amanasleep3369 ปีที่แล้ว

    based

  • @KAClown
    @KAClown ปีที่แล้ว

    I would be interested to see this done with probability amplitudes and quantum probability theory.

  • @KAClown
    @KAClown ปีที่แล้ว

    Cool, now do the dual calculus for counter-intuitive logic (LDJ or coLJ).

  • @TrggrWarning
    @TrggrWarning ปีที่แล้ว

    What the heck is going on here? lol

  • @liammcooper
    @liammcooper ปีที่แล้ว

    As someone interested in how theoreticians 'play'/'perform' the role of theoretician, I find the concept that "there was something highly emotional about Quine's feeling toward modal logic" fascinating. I think a lot of discourse in many domains contains high amount of pathos; we can just see how people adamantly denounced Cantor's theory of 'transfinite', or the emotional toll that defending his theories had on Ludwig Boltzmann (just two examples from mathematics) shows that despite being in the 'rational' tradition, often academics get highly emotionally invested -- which may or may not produce further disputes/schisms in traditions, which their ideas attempted to reconcile originally.

  • @cyberpunkworld
    @cyberpunkworld ปีที่แล้ว

    There existed a man who, officially, was terrified of the possibility of Ghosts in his Refrigerator, so he's done something about it, yet he was so artistic in what he's done that not many people understand his very simple yet highly technical argument :)

  • @terencenxumalo1159
    @terencenxumalo1159 ปีที่แล้ว

    good work

  • @teetsanbeer
    @teetsanbeer 2 ปีที่แล้ว

    I agree with you, it's amazing to have this record. I once read in Takeuti's autobiography that Kleene was a very tall guy with a profound voice describing him as a pole with a megaphone.

  • @daveclark9411
    @daveclark9411 2 ปีที่แล้ว

    ρɾσɱσʂɱ

  • @valentinussofa4135
    @valentinussofa4135 2 ปีที่แล้ว

    Wow. Thanks Sir. Great lecture. I love it. 😇🙏

  • @amanasleep3369
    @amanasleep3369 2 ปีที่แล้ว

    Fascinating, never heard Kleene's voice before. The voice in my mind when reading his work will sound quite different from now on! also, lol @ 3:20

    • @teetsanbeer
      @teetsanbeer 2 ปีที่แล้ว

      Neither do I and I am fascinated. Gaisi Takeuti in his autobiography says that Kleene was very tall and had a profound voice, describing him as a pole with a megaphone.

  • @LEEEEMO
    @LEEEEMO 2 ปีที่แล้ว

    Ruth was not an easy person to deal with. She made enemies because of her personality.